C++ の名前付き要件: LegacyRandomAccessIterator

 

C++

コンパイラサポート

フリースタンディングとホスト

言語

標準ライブラリ

標準ライブラリヘッダー

名前付き要件

機能テストマクロ (C++20)

言語サポートライブラリ

コンセプトライブラリ (C++20)

診断ライブラリ

メモリ管理ライブラリ

メタプログラミングライブラリ (C++11)

汎用ユーティリティライブラリ

コンテナライブラリ

イテレータライブラリ

Rangesライブラリ (C++20)

アルゴリズムライブラリ

文字列ライブラリ

テキスト処理ライブラリ

数値ライブラリ

日付と時刻ライブラリ

入出力ライブラリ

ファイルシステムライブラリ (C++17)

並行サポートライブラリ (C++11)

実行制御ライブラリ (C++26)

Technical specifications (技術仕様)

シンボルインデックス

外部ライブラリ

 

C++ 名前付き要件

基本 DefaultConstructible MoveConstructible (C++11) CopyConstructible CopyAssignable MoveAssignable (C++11) Destructible 型のプロパティ ScalarType PODType TriviallyCopyable (C++11) TrivialType (C++11) StandardLayoutType (C++11)   ImplicitLifetimeType ライブラリワイド BooleanTestable EqualityComparable LessThanComparable Swappable ValueSwappable (C++11) NullablePointer (C++11) Hash (C++11) アロケータ FunctionObject Callable Predicate BinaryPredicate Compare

コンテナ コンテナ ReversibleContainer AllocatorAwareContainer SequenceContainer ContiguousContainer (C++17) AssociativeContainer UnorderedAssociativeContainer (C++11)   コンテナ要素 DefaultInsertable (C++11) CopyInsertable (C++11) MoveInsertable (C++11) EmplaceConstructible (C++11) Erasable (C++11) イテレータ LegacyIterator LegacyInputIterator LegacyOutputIterator LegacyForwardIterator LegacyBidirectionalIterator LegacyRandomAccessIterator LegacyContiguousIterator (C++17) ConstexprIterator (C++20) ストリームI/O FormattedInputFunction UnformattedInputFunction FormattedOutputFunction UnformattedOutputFunction フォーマッタ BasicFormatter (C++20) フォーマッタ (C++20)

乱数 SeedSequence (C++11) RandomNumberEngine (C++11) RandomNumberDistribution (C++11) UniformRandomBitGenerator (C++11) RandomNumberEngineAdaptor (C++11) 並行性 BasicLockable (C++11) Lockable (C++11) TimedLockable (C++11) SharedLockable (C++14) SharedTimedLockable (C++14) Mutex (C++11) TimedMutex (C++11) SharedMutex (C++17) SharedTimedMutex (C++14) Ranges RangeAdaptorObject (C++20) RangeAdaptorClosureObject (C++20) 多次元ビュー LayoutMapping (C++23) LayoutMappingPolicy (C++23) AccessorPolicy (C++23) その他 CharTraits RegexTraits (C++11)   BitmaskType LiteralType (C++11) NumericType UnaryTypeTrait (C++11) BinaryTypeTrait (C++11) TransformationTrait (C++11) Clock (C++11) TrivialClock (C++11)

 

LegacyRandomAccessIterator は、定数時間で任意の要素を指すように移動できる LegacyBidirectionalIterator です。

LegacyRandomAccessIterator it が Container から生成された場合、it の value_type はコンテナのそれと同じなので、逆参照 (*it) するとコンテナの value_type が得られます。

配列の要素へのポインタは、LegacyRandomAccessIterator のすべての要件を満たします。

要件

型 It が LegacyRandomAccessIterator を満たすのは、

• 型 It が LegacyBidirectionalIterator を満たす場合

さらに、以下が与えられたとき

• value_type、std::iterator_traits<It>::value_type で表される型
• difference_type、std::iterator_traits<It>::difference_type で表される型
• reference、std::iterator_traits<It>::reference で表される型
• i, a, b, 型 It または const It のオブジェクト
• r, 型 It の左辺値
• n, 型 difference_type の整数

以下の式は有効であり、指定された効果を持たなければなりません。

Expression	戻り値の型	操作的意味論	注釈
r += n	It&	difference_type m = n; if (m >= 0) while (m--) ++r; else while (m++) --r; return r;	n は正または負のどちらでもよい 計算量は定数時間である（つまり、実装は演算意味論で示されている while ループを実際に実行することはできない）
a + n n + a	It	It temp = a; return temp += n;	n は正または負のどちらでもよい a + n == n + a
r -= n	It&	return r += -n;	n の絶対値は difference_type の表現可能な値の範囲内である必要がある。
i - n	It	It temp = i; return temp -= n;
b - a	difference_type	return n; (事前条件を参照)	事前条件 difference_type 型の n が存在し、a + n == b を満たす 事後条件 b == a + (b - a).
i[n]	reference に変換可能	*(i + n)
a < b	BooleanTestable を満たす (C++20まで) boolean-testable をモデル化する (C++20以降)	return b - a > 0; と等価	事前条件 b - a と同じ 厳密な全順序関係 !(a < a) a < b ならば !(b < a) a < b かつ b < c ならば a < c a < b または b < a または a == b (いずれか1つの式のみが真である)
a > b	BooleanTestable を満たす (C++20まで) boolean-testable をモデル化する (C++20以降)	b < a	a < b と反対の全順序関係
a >= b	BooleanTestable を満たす (C++20まで) boolean-testable をモデル化する (C++20以降)	!(a < b)
a <= b	BooleanTestable を満たす (C++20まで) boolean-testable をモデル化する (C++20以降)	!(a > b)

上記の規則は、LegacyRandomAccessIterator が LessThanComparable も実装していることを意味します。

ミュータブルな LegacyRandomAccessIterator は、さらに LegacyOutputIterator の要件を満たす LegacyRandomAccessIterator です。

コンセプト std::iterator_traits の定義のために、以下の exposition-only コンセプトが定義されています。 template<class I> concept __LegacyRandomAccessIterator =     __LegacyBidirectionalIterator<I> && std::totally_ordered<I> &&         requires(I i, typename std::incrementable_traits<I>::difference_type n)         {             { i += n } -> std::same_as<I&>;             { i -= n } -> std::same_as<I&>;             { i +  n } -> std::same_as<I>;             { n +  i } -> std::same_as<I>;             { i -  n } -> std::same_as<I>;             { i -  i } -> std::same_as<decltype(n)>;             {  i[n]  } -> std::convertible_to<std::iter_reference_t<I>>;         }; ここで、展示のみのコンセプト __LegacyBidirectionalIterator は LegacyBidirectionalIterator で記述されています。

(C++20以降)

欠陥報告

以下の動作変更を伴う欠陥報告が、以前に公開されたC++標準に遡って適用されました。

DR	適用対象	公開された動作	正しい動作
LWG 299 (N3066)	C++98	a[n] の戻り値の型が要求された const value_type& に変換可能であること	戻り値の型は reference に変換可能であること
LWG 448	C++98	a[n] の戻り値の型が要求された value_type に変換可能であること	戻り値の型は const value_type& に変換可能であること
LWG 1079	C++98	b - a は a < b を使用して定義されていたため、 循環定義につながった	定義から a < b を削除
LWG 2114 (P2167R3)	C++98	bool への変換可能性は、実装の期待を反映するには弱すぎた	要件が強化された

関連項目

random_access_iterator (C++20)	bidirectional_iterator が、定数時間での移動と添字演算をサポートするランダムアクセスイテレータであることを規定する (コンセプト)
イテレータライブラリ	イテレータ、イテレータ特性、アダプタ、およびユーティリティ関数の定義を提供します。