Differenza tra decltype (..., void()) e void_t

Question

L'ultima volta sto fondando molte risposte su SFINAE che suggeriscono l'uso di helper void_t. Ma a quanto pare non capisco cosa ci sia di così speciale riguardo a decltype (..., void()). Si consideri l'esempio:

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; 
} 

L'uscita è come previsto per entrambi i caratteri, che mi fa pensare che entrambe le implementazioni sono gli stessi. Mi sto perdendo qualcosa? Grazie.

Answer 1

È un modo più espressivo e meno ingombrante di dire la stessa cosa.

Questo è tutto.