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
Definiert in Header <experimental/reflect>
template < class T >
concept Object = /* siehe unten */ ;
(Reflection TS)

Das Object Konzept ist genau dann erfüllt, wenn T ein Meta-Objekt-Typ ist.

Beispiel

#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>; // Fehler: int ist kein Meta-Objekt-Typ
}