怎么在编译期判断一个类是否存在指定函数名的函数?
#define HAS_MEMBER(member)\ template<typename T, typename... Args>struct
has_member_##member\ {\ private:\ template<typename U> static auto Check(int) ->
decltype(std::declval<U>().member(std::declval<Args>()...), std::true_type()); \
template<typename U> static auto Check(...) -> decltype(std::false_type()); \
public:\ static const bool value = std::is_same<decltype(Check<T>(0)), std
::true_type>::value; \ }; \

这个我们使用了`decltype`关键字,这个关键字具有类型推到的能力,但是它不执行其的表达式,那么其就可以在编译期做很多的事情,这里就是使用它和编译器会尽全力让你的代码时正确的特性来实现这个功能。
看第一句:
template<typename U> static auto Check(int) ->
decltype(std::declval<U>().member(std::declval<Args>()...), std::true_type());
我们就是要查看一个类是否存在如这样的表达式Class.member(...)
。那么这里,在decltype内部的逗号运算表达式,,如果存在这样的形式,那么就可以匹配逗号表达式的第一个
std::declval<U>().member(std::declval<Args>()...)
,说明存在这样的函数,又由于逗号表达式返回的时最后逗号的右边的值,实际decltype推导的类型是std::true_type类型,应为decltype只能根表达式,所以我们实例化一个std::true_type的对象,用其的构造函数作为表达式,那么如果存在指定函数名的表达时,这Check(int)函数的返回值类型就为std::true_type。
那么如果在逗号表达式的时候,第一个表达式不匹配怎么办,其实就是不存在,那么我们该怎么表明?我们要利用编译器它会希望你通过编译的特点来进行。
template<typename U> static std::false_type Check(...);

当上面的Check函数匹配不能满足时,那么就是不存在指定函数名的函数,其会匹配这个Check函数,那么其的返回值类型就是std::false_type,那么我们就可以通过检测推导出的Check返回值类型来确定是否包含这个指定函数名的函数。
static const bool value = std::is_same<decltype(Check<T>(0)), std::true_type>:
:value; HAS_MEMBER(a) HAS_MEMBER(c) struct A { A(int) {} void b() {} void c(int,
bool) {} }; int main() { std::cout << has_member_a<A>::value << std::endl; std::
cout << has_member_c<A, int, bool>::value << std::endl; return 0; }

技术
©2019-2020 Toolsou All rights reserved,
MyBatis 新增数据 成功 返回 自增主键ID值用C语言做很简单的飞机游戏苹果不送充填器耳机真为环保?可能还是为了赚钱吧一个名叫“讨火车”的小村子 终于把火车讨来了使用easyPOI导入Excel数据QT:清空指定文件夹内的所有文件及目录json反斜杠问题3种Python数据结构,13种创建方法,这个总结,超赞!访客手机抓取方法改主意!特斯拉开始向欧洲市场交付中国造Model 3