enumerate_view.md

enumerate_view

• ranges[meta header]
• std::ranges[meta namespace]
• class template[meta id-type]
• cpp23[meta cpp]

namespace std::ranges {
  template<view V>
    requires range-with-movable-references<V>
  class enumerate_view : public view_interface<enumerate_view<V>> { …… }; // (1)

  namespace views {
    inline constexpr /*unspecified*/ enumerate = /*unspecified*/;      // (2)
  }
}

• range-with-movable-references[link range-with-movable-references.md]

概要

enumerate_viewはインデックスを付けるview。

enumerate_viewの要素は、インデックスと元のRangeの要素からなるtuple (tuple<range_difference_t<Base>, range_value_t<Base>>)である。

• (1): enumerate_viewのクラス定義
• (2): enumerate_viewを生成するRangeアダプタオブジェクト

Rangeコンセプト

borrowed	sized	output	input	forward	bidirectional	random_access	contiguous	common	viewable	view
	※	※	〇	※	※	※		※	○	○

• ※: 元となるRangeに従う

効果

• (2): 式views::enumerate(E)の効果はenumerate_view<views::all_t<decltype((E))>>(E) と等しい

メンバ関数

名前	説明	対応バージョン
(constructor)	コンストラクタ	C++23
base	Vの参照を取得する	C++23
begin	先頭を指すイテレータを取得する	C++23
end	番兵を取得する	C++23
size	要素数を取得する	C++23

継承しているメンバ関数

名前	説明	対応バージョン
empty	Rangeが空かどうかを判定する	C++20
operator bool	Rangeが空でないかどうかを判定する	C++20
front	先頭要素への参照を取得する	C++20
back	末尾要素への参照を取得する	C++20
cbegin	定数イテレータを取得する	C++23
cend	定数イテレータ（番兵）を取得する	C++23
operator[]	要素へアクセスする	C++20

推論補助

名前	説明	対応バージョン
(deduction_guide)	クラステンプレートの推論補助	C++23

例

#include <ranges>
#include <vector>
#include <print>

int main() {
  const std::vector v = {'a', 'b', 'c'};

  std::println("{}", v | std::views::enumerate);
}

• std::views::enumerate[color ff0000]

出力

[(0, 'a'), (1, 'b'), (2, 'c')]

バージョン

言語

• C++23

処理系

• Clang: ??
• GCC: ??
• ICC: ??
• Visual C++: ??

参照

• N4950 26 Ranges library