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
Défini dans l'en-tête <experimental/reflect>
template < class T >
concept Object = /* voir ci-dessous */ ;
(reflection TS)

Le concept Object est satisfait si et seulement si T est un type méta-objet.

Exemple

#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>; // erreur : int n'est pas un type méta-objet
}