CHECK MEMBER TYPE

template<class T>
class has_member_type_Type
{
    struct big { char a[2]; };
    template<class C> static big  probe(typename C::xxx*); // match here if type T::Type exists
    template<class C> static char probe(...);
public:
    static const bool value = sizeof(probe<T>(nullptr)) > 1;
};

template<typename T, typename = typename T::xxx>
static std::true_type has_xxx_impl(int);
 
template<typename T>
static std::false_type has_xxx_impl(...);
 
template<typename T>
struct has_xxx : decltype(has_xxx_impl<T>(0))
{
};

template<typename... Ts> struct make_void { typedef void type; };
template<typename... Ts> using void_t = typename make_void<Ts...>::type;
 
template<typename T, typename = void>
struct has_yyy : std::false_type
{
};
 
template<typename T>
struct has_yyy < T, void_t<typename T::xxx>> : std::true_type
{
};
 
//用宏简化
#define HAS_TYPE_MEMBER(MEMBER)\
    template<typename T, typename = void>    struct has_type_##MEMBER : std::false_type    {    };    template<typename T>    struct has_type_##MEMBER < T, void_t<typename T::MEMBER>>:    std::true_type    {    };
 
    HAS_TYPE_MEMBER(xxx)

struct MyStruct
{
    typedef char xxx;
};

int main()
{
    static_assert(has_xxx<MyStruct>::value, "no xxx");
    static_assert(has_type_xxx<MyStruct>::value, "no xxx");
}