decltype（...，void（））和void_t之間的區別

Question

上次我建立了很多關於SFINAE的答案，建議使用void_t helper。

但我似乎並不明白它在以下方面有什么特別之處：

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

這是一種更具表現力，不那么繁瑣的說法。

而已。