名前付き要件:Container

 

C++

言語

標準ライブラリヘッダ

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

名前付き要件

言語サポートライブラリ

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

診断ライブラリ

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

文字列ライブラリ

コンテナライブラリ

イテレータライブラリ

範囲ライブラリ(C++20)

アルゴリズムライブラリ

数値演算ライブラリ

ローカライゼーションライブラリ

入出力ライブラリ

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

正規表現ライブラリ(C++11)

アトミック操作ライブラリ(C++11)

スレッドサポートライブラリ(C++11)

技術仕様書

 

名前付き要件

基本
DefaultConstructible CopyAssignable CopyConstructible	MoveAssignable (C++11) MoveConstructible (C++11) Destructible
型の性質
TrivialType (C++11) TriviallyCopyable (C++11)	StandardLayoutType (C++11) PODType
ライブラリ全体
EqualityComparable LessThanComparable Swappable (C++11) ValueSwappable (C++11) NullablePointer (C++11) Hash (C++11)	Allocator FunctionObject Callable Predicate BinaryPredicate Compare
コンテナ
Container SequenceContainer ContiguousContainer (C++17) ReversibleContainer	AssociativeContainer AllocatorAwareContainer UnorderedAssociativeContainer (C++11)
コンテナの要素
DefaultInsertable (C++11) CopyInsertable (C++11) MoveInsertable (C++11)	EmplaceConstructible (C++11) Erasable (C++11)
イテレータ
LegacyIterator LegacyOutputIterator LegacyInputIterator LegacyForwardIterator	LegacyBidirectionalIterator LegacyRandomAccessIterator LegacyContiguousIterator (C++17) ConstexprIterator (C++20)
ストリーム入出力
FormattedInputFunction UnformattedInputFunction	FormattedOutputFunction UnformattedOutputFunction
乱数
SeedSequence (C++11) RandomNumberEngine (C++11)	RandomNumberDistribution (C++11) UniformRandomBitGenerator (C++11) RandomNumberEngineAdaptor (C++11)
並行処理
BasicLockable (C++11) Lockable (C++11) TimedLockable (C++11)	Mutex (C++11) TimedMutex (C++11) SharedMutex (C++17) SharedTimedMutex (C++14)
その他
CharTraits RegexTraits (C++11) BitmaskType NumericType LiteralType (C++11)	UnaryTypeTrait (C++11) BinaryTypeTrait (C++11) TransformationTrait (C++11) Clock (C++11) TrivialClock (C++11)

 

Container は他のオブジェクトを格納するために使用されるオブジェクトです。 格納するオブジェクトによって使用されるメモリの管理を行います。

要件

• コンテナの型 C
• 要素の型 T
• C 型のオブジェクト a, b
• C 型の prvalue 式 rv

型

名前	型	注釈
value_type	T	Eraseable
reference	T&
const_reference	const T&
iterator	T を指すイテレータ	LegacyForwardIterator const_iterator に変換可能
const_iterator	T を指す const イテレータ	LegacyForwardIterator
difference_type	符号付き整数	iterator および const_iterator に対する iterator_traits::difference_type と同じでなければならない
size_type	符号なし整数	difference_type のすべての正の値を表現するのに十分大きい

メンバ関数および操作

式	戻り値の型	意味論	条件	計算量
C()	C	空のコンテナを作成する	事後: C().empty() == true	定数時間
C(a)	C	a のコピーを作成する	事前: T は CopyInsertable でなければならない 事後: a == C(a)	線形時間
C(rv)(C++11以上)	C	rv をムーブする	事後: この構築を行う前の値 rv と等しい	定数時間
a = b	C&	a のすべての要素を破棄または b の要素からコピー代入する	事後: a == b	線形時間
a = rv	C&	a のすべての要素を破棄または rv の要素からムーブ代入する	事後: a がこの代入を行う前の値 rv と等しい	線形時間
a.~C()	void	a のすべての要素を破棄しすべてのメモリを解放する		線形時間
a.begin()	(const_)iterator	a の最初の要素を指すイテレータ		定数時間
a.end()	(const_)iterator	a の最後の要素の次を指すイテレータ		定数時間
a.cbegin()(C++11以上)	const_iterator	const_cast<const C&>(a).begin()		定数時間
a.cend()(C++11以上)	const_iterator	const_cast<const C&>(a).end()		定数時間
a == b	bool に変換可能	std::equal(a.begin(), a.end(), b.begin(), b.end())(C++14以上)	事前: T は　EqualityComparable でなければならない	a.size() != b.size() の場合は定数時間、そうでなければ線形時間
a != b	bool に変換可能	!(a == b)		線形時間
a.swap(b)	void	a と b の値を交換する		定数時間
swap(a, b)	void	a.swap(b)		定数時間
a.size()	size_type	distance(a.begin(), a.end())		定数時間
a.max_size()	size_type	b.size()、ただし b は有り得る最も大きなコンテナ		定数時間
a.empty()	bool に変換可能	a.begin()== a.end()		定数時間
注釈

コンテナの iterator 型のオブジェクト i, j が与えられたとき、式 i == j, i != j, i < j, i <= j, i >= j, i > j, i - j において、意味を変えずに、片方または両方をコンテナの const_iterator 型の同じ要素を参照するオブジェクトに置き換えることができます。

(C++14以上)

コンテナのデータ競合

コンテナのスレッド安全性を参照してください。

その他の要件

C

• DefaultConstructible
• CopyConstructible
• EqualityComparable
• Swappable

T

• CopyInsertable
• EqualityComparable
• Destructible