Шаблон метапрограмм интегральной специализации

Question

Я делаю простую функцию max, чтобы поэкспериментировать с метапрограммированием шаблонов в C++. Я ожидал увидеть «Интеграл» для отображения, когда я вызываю функцию с междунар, но это не так и я не знаю, почему:

#include <iostream> 

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

#include <type_traits> 

template < class T, class = void_t < typename std::is_integral<T>::value > > 
    T max(T x, T y) { 
    std::cout << "integral" << std::endl; 
    return x > y ? x : y; 
} 

template<class T, class = void> 
    T max(const T& x, const T& y) { 
    std::cout << "class" << std::endl; 
    return x > y ? x : y; 
} 

int main() { 
    int x = 5,y = 3; 
    std::cout << "int: "; 
    max(x,y); 
    struct str{bool operator>(const str&other)const{return true;}} a, b; 
    std::cout << "blank struct: "; 
    max(a,b); 
} 

В обоих случаях он печатает класс, который беспокоит меня, так как я думал, что SFINAE чаще выбирает лучший вариант. Я не понимаю, что происходит.

Answer 1

std::is_integral<T>::value не является типом, так

template < class T, class = void_t<typename std::is_integral<T>::value>> 
T max(T x, T y) 

по-прежнему отвергается с SFINAE.

Вы можете использовать std::enable_if_t

template<class T> 
std::enable_if_t<std::is_integral<T>::value, T> max(const T& x, const T& y) { 
    std::cout << "integral" << std::endl; 
    return x > y ? x : y; 
} 

template<class T> 
std::enable_if_t<!std::is_integral<T>::value, T> max(const T& x, const T& y) { 
    std::cout << "class" << std::endl; 
    return x > y ? x : y; 
} 

Demo