使用SFINAE时出现bool重载误匹配，如何区分两类重载？

你的问题其实出在模板重载的写法上——原来的enable_if用法不对，导致编译器根本没把针对有符号整数的模板重载纳入候选范围，只能退而求其次调用bool的重载（毕竟int可以隐式转成bool）。

原代码的问题分析 #

看你写的模板：

template <typename T, typename std::enable_if<std::is_integral<T>::value && std::is_signed<T>::value && !std::is_same<T, bool>::value, T>::type>
inline void test(T) { std::cout << "int" << std::endl; }

这里把std::enable_if放在了模板参数列表里，但既没有给这个参数命名，也没设置默认值。当你调用test(int())时，编译器无法推导第二个模板参数的类型，直接把这个模板重载排除了，剩下的只有test(bool)，自然就会触发隐式转换调用它。

可行的解决方案 #

下面两种写法都能解决问题，本质都是利用SFINAE（替换失败不是错误）让模板只在符合条件时生效：

方案1：把enable_if放在返回值位置 #

这种写法最直观，也不容易出错：

#include <iostream>
#include <type_traits>

template <typename T>
inline typename std::enable_if<
    std::is_integral<T>::value && 
    std::is_signed<T>::value && 
    !std::is_same<T, bool>::value, 
    void
>::type
test(T) { 
    std::cout << "int" << std::endl; 
}

inline void test(bool) { 
    std::cout << "bool" << std::endl; 
}

int main() {
    test(int());  // 输出 "int"
    test(bool()); // 输出 "bool"
}

当T是符合条件的有符号整数时，std::enable_if会生成void类型，模板函数有效；当T是bool时，条件不满足，模板被SFINAE掉，编译器会选择非模板的test(bool)重载。

方案2：把enable_if作为默认模板参数 #

如果你更喜欢把约束放在模板参数里，可以用默认参数的方式：

#include <iostream>
#include <type_traits>

template <typename T, typename = typename std::enable_if<
    std::is_integral<T>::value && 
    std::is_signed<T>::value && 
    !std::is_same<T, bool>::value
>::type>
inline void test(T) { 
    std::cout << "int" << std::endl; 
}

inline void test(bool) { 
    std::cout << "bool" << std::endl; 
}

int main() {
    test(int());  // 输出 "int"
    test(bool()); // 输出 "bool"
}

这里第二个模板参数的默认值由enable_if生成，当T符合条件时，默认参数有效，模板被选中；否则模板被排除，调用bool的重载。

C++17+简化版 #

如果你的编译器支持C++17及以上，可以用_v变量模板和enable_if_t简化代码，可读性更高：

#include <iostream>
#include <type_traits>

template <typename T>
inline std::enable_if_t<
    std::is_integral_v<T> && 
    std::is_signed_v<T> && 
    !std::is_same_v<T, bool>
>
test(T) { 
    std::cout << "int" << std::endl; 
}

inline void test(bool) { 
    std::cout << "bool" << std::endl; 
}

int main() {
    test(int());  // 输出 "int"
    test(bool()); // 输出 "bool"
}

为什么你之前的尝试无效？ #

• 优先级标记：其实问题根本不在优先级，而是模板重载没被选中，加标记也没用；
• bool重载改为特化：函数模板不能部分特化，全特化的话，原模板的写法问题还是没解决，编译器依然不会选中它；
• 给bool重载加enable_if：非模板重载的优先级本来就比模板高，但原问题是模板没被纳入候选，所以这个操作也解决不了根本问题。

内容的提问来源于stack exchange，提问作者Yuriy