type_of

namespace std::meta {
  consteval info type_of(info r);
}

概要

リフレクションが表すエンティティの型のリフレクションを取得する。

以下のいずれかを表すリフレクションを受け取れる：

rが上記のいずれかを表す場合、対応する型のリフレクションを返す。列挙子の場合は列挙型のリフレクション、直接基底クラス関係の場合は基底クラスの型のリフレクションを返す。

rが上記のいずれも表さない場合（型、名前空間、テンプレート、コンストラクタ、デストラクタ、未推論のプレースホルダ戻り値型を持つ関数など）、std::meta::exception例外を送出する。

#include <meta>

int x = 42;

int main() {
  static_assert(std::meta::type_of(^^x) == ^^int);
}