名前付き要件: 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) |
指定された型がアロケータ使用構築をサポートしているかどうか調べます (クラステンプレート) |