Namespaces
Variants

std::meta::template_of

ja.cppreference.net から
< cpp | meta
 
 
 
リフレクションライブラリ
 
リフレクション型とクエリ
リフレクションクエリ
リフレクションレイアウトクエリ
型プロパティ
型プロパティクエリ
 
ヘッダ <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
リフレクトされたエンティティがテンプレートへのテンプレート引数の置換によって生成されたかどうかをチェックします
(関数)