c++ - ¿Por qué void_t no funciona en SFINAE pero enable_if no funciona?

c++17

Question

Estaba tratando de entender cómo funciona SFINAE y estaba experimentando con este código

#include <type_traits>

struct One { 
  using x = int; 
};
struct Two { 
  using y = int; 
};

template <typename T, std::void_t<typename T::x>* = nullptr>
void func() {}
template <typename T, std::void_t<typename T::y>* = nullptr>
void func() {}

/*template <typename T, std::enable_if_t<std::is_same_v<typename T::x, typename T::x>>* = nullptr>
void func() {}
template <typename T, std::enable_if_t<std::is_same_v<typename T::y, typename T::y>>* = nullptr>
void func() {} */



int main() {
  func<One>();
  func<Two>();
}

El código comentado funciona pero el primero no . El compilador me da errores diciendo que hay una redefinición y que la deducción del argumento de la plantilla falló. ¿Podría alguien explicar por qué sucede esto? Los dos void_t s deben ser independientes ¿verdad? Dado que una línea verifica x y la otra para y . ¿Cómo puedo arreglarlo?

Answer 1

Esto parece estar relacionado con el problema CWG # 1980 (créditos a T.C. por corregirme) .

Como solución puede definir void_t como:

template<typename... Ts> struct make_void { typedef void type;};
template<typename... Ts> using void_t = typename make_void<Ts...>::type;

(de cppreference)

ejemplo vivo en wandbox