begin.md

begin

• ranges[meta header]
• std::ranges[meta namespace]
• drop_view[meta class]
• function[meta id-type]
• cpp20[meta cpp]

constexpr auto begin()
  requires (!(simple-view<V> &&
              random_access_range<const V> &&
              sized_range<const V>));       // (1) C++20

constexpr auto begin() const
  requires random_access_range<const V> &&
           sized_range<const V>;            // (2) C++20

• simple-view[link /reference/ranges/simple-view.md]
• random_access_range[link ../random_access_range.md]
• sized_range[link ../sized_range.md]

概要

viewの先頭要素を指すイテレータを取得する。

戻り値

入力がrandom_access_rangeかつsized_rangeの場合：

• (1), (2) : 以下と等価：

  return ranges::begin(base_) + min<D>(ranges::size(base_), count_);

  ここで、Dはrange_difference_t<V>。

それ以外の場合：

• (1), (2) : 以下と等価：

  return ranges::next(ranges::begin(base_), count_, ranges::end(base_));

ただし、base_は元のviewを表すメンバ変数、count_は除去する要素数を表すメンバ変数。

例

#include <ranges>
#include <vector>
#include <iostream>

int main() {
  std::vector<int> vec = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10};

  std::ranges::drop_view r{vec, 5};

  auto it = r.begin();

  int x = *it;
  std::cout << x << '\n';
}

• begin[color ff0000]

出力

6

バージョン

言語

• C++20

処理系

• Clang: 13.0.0 [mark verified]
• GCC: 10.1.0 [mark verified]
• ICC: ?
• Visual C++: 2019 Update 10 [mark verified]

参照

• LWG Issue 3482. drop_view's const begin should additionally require sized_range
  • C++23で、const版のbegin()の制約にsized_range<const V>が追加され、あわせて非const版のbegin()(1)の制約条件も見直された