• Class / Function / Type

      std::
    • Header file

      <>
    • Other / All

    最終更新日時(UTC):
    が更新

    履歴 編集

    customization point object
    <ranges>

    std::ranges::begin

    namespace std::ranges {
      inline namespace /*unspecified*/ {
        inline constexpr /*unspecified*/ begin = /*unspecified*/;
      }
    }
    

    概要

    Rangeから先頭要素へのイテレータを取得する関数オブジェクト。

    効果

    部分式Eの型をTtEを評価した値とする。 このとき、式ranges::begin(E)の効果は以下の通り。

    1. Eがrvalueかつenable_borrowed_range<remove_cv_t<T>>falseであれば、呼び出しは不適格
    2. Tが配列型であれば、t + 0に等しい(expression‑equivalent)。ただし、remove_all_extents_t<T>不完全型であれば、呼び出しは不適格(診断不要)。
    3. decay-copy(t.begin())が有効な式でその型がinput_or_output_iteratorのモデルであれば、decay-copy(t.begin())と等しい。
    4. Tがクラス型または列挙体であって、beginADLで見つかり、decay-copy(begin(t))が有効な式でその型がinput_or_output_iteratorのモデルであれば、decay-copy(begin(t))と等しい。

    どれにも当てはまらないとき、呼び出しは不適格

    戻り値

    Rangeの先頭要素へのイテレータ。

    カスタマイゼーションポイント

    3か4の条件を満たすようにする。例えば、ユーザー定義のフリー関数beginを定義するか、ユーザー定義のクラスにメンバ関数beginを持たせることでカスタマイズできる。

    備考

    ranges::beginの呼び出しが有効な式であるとき、その型はinput_or_output_iteratorのモデルである。

    #include <iostream>
    #include <vector>
    #include <ranges>
    #include <algorithm>
    
    void print(int x)
    {
      std::cout << x << " ";
    }
    
    int main()
    {
      // コンテナ
      {
        std::vector<int> v = {1, 2, 3};
    
        decltype(v)::iterator first = std::ranges::begin(v);
        decltype(v)::iterator last = std::ranges::end(v);
    
        std::for_each(first, last, print);
      }
      std::cout << std::endl;
    
      // 組み込み配列
      {
        int ar[] = {4, 5, 6};
    
        int* first = std::ranges::begin(ar);
        int* last = std::ranges::end(ar);
    
        std::for_each(first, last, print);
      }
    }
    

    出力

    1 2 3 
    4 5 6 
    

    バージョン

    言語

    • C++20

    処理系

    関連項目

    参照