@XiangZhou
2015-08-05T12:23:21.000000Z
字数 1471
阅读 2398
c++
模板
怎么在编译期获得一个类是否存在指定函数名的函数?
#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;
}