std::meta::template_of
ja.cppreference.net から
| ヘッダ <meta>
|
||
consteval bool template_of( std::meta::info r );
|
で定義されます(C++26 以上) | |
関数テンプレート、変数テンプレート、クラステンプレート、またはエイリアステンプレートからインスタンス化されたエンティティを表すリフレクション r が与えられた場合、そのテンプレートのリフレクションを返します。
引数
| r | - | リフレクション値 |
戻り値
r が表す関数、変数、クラス、または型エイリアスがインスタンス化された元のテンプレート。
例外
std::meta::exception を投げます。ただし、std::meta::has_template_arguments(r) が true である場合(すなわち、r がテンプレートからインスタンス化されたエンティティを表す場合)を除く。
例
このコードを実行
#include <meta>
#include <string>
#include <vector>
static_assert(template_of(^^std::vector<int>) == ^^std::vector);
static_assert(!has_template_arguments(^^std::string));
static_assert(template_of(std::meta::dealias(^^std::string)) == ^^std::basic_string);
int main() {}
関連項目
Template:cpp/meta/dsc is template(C++26) |
リフレクトされたエンティティがテンプレートへのテンプレート引数の置換によって生成されたかどうかをチェックします (関数) |