std::ranges::iterator_t, std::ranges::const_iterator_t, std::ranges::sentinel_t, std::ranges::const_sentinel_t

ヘッダ `<ranges>`
template< class T > using iterator_t = decltype(ranges::begin(std::declval<T&>()));	で定義 (1)	(C++20以降)
template< ranges::range R > using const_iterator_t = decltype(ranges::cbegin(std::declval<R&>()));	(2)	(C++23以降)
template< ranges::range R > using sentinel_t = decltype(ranges::end(std::declval<R&>()));	(3)	(C++20以降)
template< ranges::range R > using const_sentinel_t = decltype(ranges::cend(std::declval<R&>()));	(4)	(C++23以降)

1) 型Tのイテレータ型を取得するために使用されます。

2) range型Rの定数イテレータ型を取得するために使用されます。

3) 範囲型Rの番兵型を取得するために使用されます。

4) 範囲型Rの定数番兵型を取得するために使用されます。

T	-	std::ranges::begin で使用可能な型
R	-	`range` 型または `sized_range` 型

iterator_t は非範囲型にも適用可能です。例えば、境界が不明な配列など。

以下の動作変更の欠陥報告書は、以前に公開されたC++規格に対して遡及的に適用されました。

DR	適用対象	公開時の動作	正しい動作
LWG 3946	C++23	`const_iterator_t` と `const_sentinel_t` がそれぞれ `ranges::cbegin` と `ranges::cend` の結果と一貫性がなかった	調整された

iter_value_t iter_reference_t iter_const_reference_t iter_difference_t iter_rvalue_reference_t iter_common_reference_t (C++20) (C++20) (C++23) (C++20) (C++20) (C++20)	イテレータの関連型を計算する (エイリアステンプレート)
ranges::range_difference_t ranges::range_size_t ranges::range_value_t (C++20) (C++20) (C++20)	範囲のサイズ、差分、および値の型を取得する (エイリアステンプレート)
ranges::range_reference_t ranges::range_const_reference_t ranges::range_rvalue_reference_t ranges::range_common_reference_t (C++20) (C++23) (C++20) (C++20)	範囲の参照型を取得する (エイリアステンプレート)

目次