名前付き要件:CopyConstructible

 

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)

 

その型のインスタンスが左辺値式からコピー構築可能であることを指定します。

要件

以下の内容を満たす場合、型 T は CopyConstructible を満たします。

• 型 T が MoveConstructible を満たし、

さらに、

• T または const T 型の左辺値式または const T 型の右辺値式 v
• 任意の識別子 u

が与えられたとき、以下の式が有効でなければならず、指定された効果を持たなければなりません。

式	事後条件
T u = v;	u の値が v の値と同等である。 v の値は変更されない。
T(v)	T(v) の値が v の値と同等である。 v の値は変更されない。

式 v.~T() も有効でなければならず、さらに、左辺値 v の場合は、式 &v が T* または const T* 型でなければならず、 v のアドレスに評価されなければなりません。

(C++11未満)

ノート

C++11 までは、 operator& をオーバーロードしたクラスは CopyConstructible でなく、そのため標準ライブラリのコンテナで使用することができませんでした。 C++11 以降、標準ライブラリはオブジェクトのアドレスが必要な場合は std::addressof を使用します。

関連項目

is_copy_constructibleis_trivially_copy_constructibleis_nothrow_copy_constructible (C++11)(C++11)(C++11)

型がコピーコンストラクタを持っているかどうか調べます (クラステンプレート)