template <typename T>
struct has_foo
{
template <typename C> static constexpr std::true_type test(decltype(&C::foo)) { return {}; }
template <typename C> static constexpr std::false_type test(...) { return {}; }
static constexpr bool value = test<T>(nullptr);
};
template <typename T> inline constexpr bool has_foo_v = has_foo<T>::value;
首先是传统的测试成员函数foo是否存在的代码,然后有两个结构
struct X {};
struct S { void foo() {}; };
如果用if的话
template <typename T>
void bar(T t)
{
if (has_foo_v<T>)
{
t.foo();
std::puts("yes");
}
else
{
std::puts("no");
}
}
那么在调用bar(X{})时,会编译出错,因为t.foo()不存在。如果把if改成if constexpr的话,编译无问题,因为if constexpr会把不符合条件的分支代码直接在编译时去掉,所以不会发生编译错误
如果编译器不支持if constexpr的话,可以用传统的模版重载解决
template <typename T, typename=std::enable_if_t<has_foo_v<T>>>
void bar(T t)
{
t.foo();
std::puts("yes");
}
void bar(...) {
std::puts("no");
}
————————————————
版权声明:本文为CSDN博主「mo.xiaoming」的原创文章,遵循CC 4.0 BY-SA版权协议,转载请附上原文出处链接及本声明。
原文链接:https://blog.csdn.net/u011241498/article/details/103412425