Namespaces
Variants

std::experimental::reflect:: Object

From cppreference.net
Extensions for reflection
Concepts
Meta-object operations
Variable
FunctionParameter
Callable
Variable and Callable
Namespace and Callable
ParenthesizedExpression
FunctionCallExpression
FunctionalConversion
Variable and Function
헤더에 정의됨 <experimental/reflect>
template < class T >
concept Object = /* 아래 참조 */ ;
(reflection TS)

Object 개념은 오직 그리고 오직 T 가 메타-객체 타입일 때 만족됩니다.

예제

#include <experimental/reflect>
namespace reflect = std::experimental::reflect;
template<reflect::Object M>
struct meta_t {
    template<reflect::Object M1>
    friend constexpr bool operator==(meta_t, meta_t<M1>) noexcept
    {
        return reflect::reflects_same_v<M, M1>;
    }
    template<reflect::Object M1>
    friend constexpr bool operator!=(meta_t, meta_t<M1>) noexcept
    {
        return !reflect::reflects_same_v<M, M1>;
    }
};
template<reflect::Object M>
constexpr meta_t<M> meta{};
int main()
{
    static_assert(meta<reflexpr(int)> == meta<reflexpr(signed int)>, "");
    // meta<int>; // 오류: int는 메타 객체 타입이 아님
}