std::enable_if与std::is_integral重载歧义及整数通用实现问题

为什么万能引用重载仍出现在候选列表？ #

核心原因是引用类型不被std::is_integral判定为整数类型：

• 当你传入左值（比如一个unsigned int变量）时，万能引用TVal &&会被推导为unsigned int &（左值引用）。此时std::is_integral<TVal>的结果是false——因为TVal是引用类型，不是整数类型本身，所以!std::is_integral<TVal>::value条件成立，这个重载就会被编译器视为有效候选，进而和整数模板重载产生歧义。

如何同时实现整数通用处理+保留bool/double显式重载？ #

需要对现有代码做两处关键调整：

1. 修正万能引用重载的启用条件 #

先移除TVal的引用和cv限定，再判断是否为非整数类型，确保整数类型的左/右值都不会触发这个重载：

2. 调整整数通用重载的条件 #

把bool从整数模板的处理范围中排除，避免和显式的bool重载冲突。

以下是修正后的完整代码：

#include <type_traits>

// 用于触发缺失类型实现的错误提示
template<typename T>
struct fail_if_invoked : std::false_type
{ };

// 仅当移除引用/cv后的类型不是整数，且无其他显式重载时启用
template<typename TVal, typename std::enable_if<!std::is_integral<std::remove_cvref_t<TVal>>::value>::type* = nullptr>
void accept_value(TVal && vadd)
{
    static_assert(fail_if_invoked<TVal>::value, "Missing implementation for this type");
}

// 处理除bool外的所有整数类型
template<typename TInteger, typename std::enable_if<std::is_integral<TInteger>::value && !std::is_same<TInteger, bool>::value>::type* = nullptr>
void accept_value(TInteger num)
{
    // 整数类型通用处理逻辑
}

// 显式重载：bool类型
void accept_value(bool num)
{
    // bool类型专属逻辑
}

// 显式重载：double类型
void accept_value(double num)
{
    // double类型专属逻辑
}

// 显式重载：const char*类型
void accept_value(const char*) 
{
    // const char*专属逻辑
}

补充说明 #

• 若使用C++17及更早版本，没有std::remove_cvref_t，可以用std::decay_t<TVal>替代，它会移除引用、cv限定，同时处理数组/函数到指针的转换，效果一致。
• 调整后，编译器会优先匹配显式重载（如bool、double、const char*），其他整数类型会自动匹配到通用模板重载，不会再出现歧义。

内容的提问来源于stack exchange，提问作者Tomáš Zato