名前付き要件: TransformationTrait

 

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)

 

TransformationTrait はテンプレート型引数の変換を提供するクラステンプレートです。

要件

• 1つのテンプレート型引数を取る (追加のテンプレート型引数はオプショナルで許容されます)
• 変換後の型はパブリックにアクセス可能な type という名前のネストした型である

標準ライブラリ

型変更および型変換はすべて TransformationTrait を満たします。

以下の標準ライブラリのクラステンプレートも TransformationTrait を満たします。

tuple_element	指定された要素の型を取得します (クラステンプレートの特殊化)
std::tuple_element<std::pair> (C++11)	pair の要素の型を取得します (クラステンプレートの特殊化)
std::tuple_element<std::array>	array の要素の型を取得します (クラステンプレートの特殊化)
variant_alternativevariant_alternative_t (C++17)	インデックスで指定された選択肢の型をコンパイル時に取得します (クラステンプレート) (エイリアステンプレート)