#define HAS_MEMBER(XXX) \
template<typename T, typename... Args>\
struct has_member_##XXX \
{ \
template<typename U> static auto Check(int) \
-> decltype(std::declval<U>().XXX(std::declval<Args>()...), std::true_type()); \
template<typename U> static std::false_type Check(...); \
static constexpr auto value = decltype(Check<T>(0))::value; \
}
@实现关键技术: 类型推导、逗号表达式、函数模板自动匹配(编译器永远优先匹配类型更精确的模板)
@为什么要定义两个Check()模板? 主要是为了让编译器自动选择合适的函数模板。
1.如果匹配了Check(int),说明返回类型推导成功,检查结果类型为std::true_type()[逗号表达式的作用]
2.如果匹配了Check(...),说明Check(int)返回类型推导失败,检查结果类型为std::false_type()