c++ - 模板元编程积分特化

我正在制作一个简单的max函数，以对C++中的模板元编程进行实验。当我用int调用函数时，我希望看到显示“integral”，但是不是，我也不知道为什么:

#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会更频繁地选择更好的选项。我不明白发生了什么。

最佳答案

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

关于c++ - 模板元编程积分特化，我们在Stack Overflow上找到一个类似的问题：https://stackoverflow.com/questions/32898502/