怎么在编译期判断一个类是否存在指定函数名的函数?
#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,
MySQL触发器【linux】shell:简单的shell脚本练习java连接数据库实现基本的增删改查Windows网络服务渗透测试实战-跨网段攻击JavaScript百炼成仙 1.15 天秀idea运行Mybatis项目出现的常见错误(编码错误等)Java实现自动猜数(猜数游戏进阶版)VHDL——4位移位寄存器【微信小程序学习】网易云音乐歌曲详情页代码实现一份笔记让你从 15K 涨薪并跳槽到32K+16