C++ 名前付き要件： LegacyOutputIterator

 

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)

 

LegacyOutputIterator は、ポインタ先の要素に書き込むことができる LegacyIterator です。

LegacyOutputIterator を実装する型の一例は std::ostream_iterator です。

LegacyForwardIterator、 LegacyBidirectionalIterator、または LegacyRandomAccessIterator が、それ自身の要件に加えて LegacyOutputIterator の要件を満たす場合、それは **mutable** であると説明されます。

要件

型 X は、以下の場合に LegacyOutputIterator を満たします。

• 型 X は LegacyIterator を満たす
• X はクラス型またはポインタ型である

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

• 出力イテレータに書き込み可能な、ある型の値 o （書き込み可能な型は複数存在する可能性がある。例えば operator= がテンプレートである場合など。入力イテレータのような value_type という概念はない）
• X 型の左辺値 r

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

Expression	戻り値	等価な式	事前条件	事後条件	注釈
*r = o	（使用されない）		r はデリファレンス可能である	r はインクリメント可能である	この操作の後、 r はデリファレンス可能である必要はなく、 r の以前の値のコピーもデリファレンス可能またはインクリメント可能である必要はありません。
++r	X&		r はインクリメント可能である	r と ++r は同じイテレータオブジェクトを指し、 r はデリファレンス可能であるか、または終端を過ぎている	この操作の後、 r はインクリメント可能である必要はなく、 r の以前の値のコピーもデリファレンス可能またはインクリメント可能である必要はありません。
r++	const X& に変換可能	X temp = r; ++r; return temp;
*r++ = o	（使用されない）	*r = o; ++r;

注記

出力イテレータに対する operator* の唯一の有効な使用法は、代入の左辺です。 operator* はプロキシオブジェクトを返す可能性があり、それはメンバ operator= （テンプレートである場合がある）を定義します。

出力イテレータの等価性および不等価性は定義されない場合があります。 operator== が定義されている場合でも、 x == y は ++x == ++y を意味する必要はありません。

同じ値に対する出力イテレータを介した代入は一度だけ発生します。出力イテレータに対するアルゴリズムは、単一パスアルゴリズムでなければなりません。

出力イテレータを介した代入は、インクリメントと交互に行われることが期待されます。二重インクリメントは未定義の動作です（C++標準は現在、STLドキュメントに反して二重インクリメントがサポートされていると主張しています。これは LWG issue 2035 です）。

純粋な出力専用イテレータは、 iterator_traits<X>::value_type 、 iterator_traits<X>::difference_type 、 iterator_traits<X>::pointer 、および iterator_traits<X>::reference を void として宣言することが許可されています（そして std::back_insert_iterator のようなイテレータはまさにそのようにします ただし、difference_type は、std::output_iterator を満たすように定義されている点を除きます。(C++20 以降)）。

標準ライブラリ

以下の標準ライブラリイテレータは、フォワードイテレータではない出力イテレータです。

ostream_iterator	std::basic_ostream に書き込む出力イテレータ (クラステンプレート)
ostreambuf_iterator	std::basic_streambuf に書き込む出力イテレータ (クラステンプレート)
insert_iterator	コンテナへの挿入のためのイテレータアダプタ (クラステンプレート)
back_insert_iterator	コンテナの末尾への挿入のためのイテレータアダプタ (クラステンプレート)
front_insert_iterator	コンテナの先頭への挿入のためのイテレータアダプタ (クラステンプレート)

関連項目

output_iterator (C++20)	型が与えられた値型に対する出力イテレータであること、すなわち、その型の値を書き込むことができ、前置および後置インクリメントの両方が可能であることを規定する (コンセプト)
イテレータライブラリ	イテレータ、イテレータ特性、アダプタ、およびユーティリティ関数の定義を提供します。