编译期判断某种特定类型是否具有指定方法

#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()