std::meta::template_arguments_of

consteval std::vector<std::meta::info> template_arguments_of( std::meta::info r );

r が表すエンティティをインスタンス化するために使用されたテンプレート引数のリフレクションを含む vector を、テンプレート引数リストに現れる順序で返します。

与えられたテンプレート引数 A について、対応するリフレクション値 R は次のように決定されます：

• A が型または型エイリアスの場合、R はその型を表します。
• そうでなく、A がクラステンプレート、変数テンプレート、コンセプト、またはエイリアステンプレートの場合、R はそのテンプレートを表します。
• それ以外の場合 (A が非型テンプレート引数のとき)、P を対応するテンプレートパラメータとします。

• P が参照型の場合、R は A が参照するオブジェクトまたは関数を表します。
• P がクラス型の場合、R は対応するテンプレートパラメータオブジェクトを表します。
• それ以外の場合、R は A の値を表します。

引数

戻り値

r が表すもののテンプレート引数のリフレクションを含む vector。

例外

std::meta::exception を投げます。ただし、std::meta::has_template_arguments(r) が true である場合 (すなわち r がテンプレートからインスタンス化されたエンティティを表す場合) を除きます。

例

#include <meta>
#include <type_traits>

static_assert(template_arguments_of(^^std::void_t<int>)[0] == ^^int);
static_assert(template_arguments_of(^^std::enable_if<true>).size() == 2);
static_assert(template_arguments_of(^^std::enable_if<true>)[0] ==
              std::meta::reflect_constant(true));
static_assert(template_arguments_of(^^std::enable_if<true>)[1] == ^^void);

int main() {}

関連項目