名前付き要件:BinaryTypeTrait
提供: cppreference.com
BinaryTypeTrait は intergral_constant (一般的には bool_constant) の特殊化を用いて2つのテンプレート型引数の間の関係を記述するクラステンプレートです。
[編集]要件
- DefaultConstructible および CopyConstructible
- 2つのテンプレート型引数を取る (追加のテンプレート引数はオプショナルで許容されます)
- 基本特性として知られる intergral_constant の特殊化からのパブリックかつ非曖昧な派生
- 基本特性のメンバの名前が隠蔽されておらず、非曖昧に利用可能である
[編集]標準ライブラリ
以下の標準ライブラリのクラステンプレートは BinaryTypeTrait を満たします。
(C++11) | 2つの型が同じかどうか調べます (クラステンプレート) |
(C++11) | 型が別の型から派生しているかどうか調べます (クラステンプレート) |
(C++11)(C++20) | 型が別の型に変換可能かどうか調べます (クラステンプレート) |
| 型が指定された引数型で (std::invoke によるかのように) 呼ぶことが可能かどうか調べます (クラステンプレート) | |
(C++11) | 指定された型がアロケータ使用構築をサポートしているかどうか調べます (クラステンプレート) |
