decltype(...,void())和void_t之间的区别

Question

上次我找到了很多关于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;
}

两个特征的输出都是预期的,这让我觉得两种实现都是一样的.我错过了什么吗？

Answer 1

这是表达同一件事的一种更具表现力、更不麻烦的方式。

就是这样。