std::meta::template_arguments_of(C++26)

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

概要

テンプレートの特殊化のテンプレート引数のリフレクションを取得する。

rがテンプレートの特殊化を表す場合、そのテンプレート引数のリフレクションを格納したstd::vectorオブジェクトを返す。has_template_arguments(r)がtrueであることが事前条件となる。

#include <meta>
#include <vector>

int main() {
  static_assert(std::meta::template_arguments_of(^^std::vector<int>)[0] == ^^int);
}