上次我发现了许多关于 SFINAE 的答案,建议使用void_t
帮手。
但我似乎不明白它有什么特别之处:
decltype (..., void()).
考虑这个例子:
template <typename...>
using void_t = void;
template <typename T, typename = void>
struct has_foo : std::false_type {};
template <typename T>
struct has_foo <T, decltype (T().foo(), void())> : std::true_type {};
template <typename T, typename = void>
struct has_bar : std::false_type {};
template <typename T>
struct has_bar <T, void_t <decltype (T().bar())> > : std::true_type {};
class MyClass1
{
public:
int foo() { return 3; }
};
class MyClass2
{
public:
double bar() { return 5.4; }
};
int main() {
std::cout << has_foo<MyClass1>::value << std::endl;
std::cout << has_foo<MyClass2>::value << std::endl;
std::cout << has_bar<MyClass1>::value << std::endl;
std::cout << has_bar<MyClass2>::value << std::endl;
return 0;
}
这两个特征的输出都符合预期,这让我认为这两个实现是相同的。我错过了什么吗?
这是表达同一件事的一种更具表现力、更不麻烦的方式。
就是这样。
本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系:hwhale#tublm.com(使用前将#替换为@)