C++模板函数拼接std::string与多类型参数报无效二元操作数错误如何解决

问题原因 #

编译错误的核心触发逻辑是：普通if属于运行时分支判断，C++模板实例化时会检查函数内所有代码的语法合法性，不会因为某个分支运行时不会执行就跳过编译。
当你传入int、uint8_t等非std::string类型的参数时，return base + rhs;这行代码仍然会被实例化编译，而std::string与数值类型没有对应的operator+重载，因此直接触发类型匹配错误。

解决方案 #

方案1：使用C++17 constexpr if（推荐） #

constexpr if是编译期分支判断，不匹配的分支会在模板实例化阶段直接丢弃，不会参与编译，仅需修改原代码的if判断即可：

template<typename T> std::string test(std::string lhs, T rhs)
{
    std::string base = lhs + " = "; 
    // 替换为编译期分支判断
    // 若编译器不支持is_same_v别名模板，可替换为std::is_same<T, std::string>::value
    if constexpr (std::is_same_v<T, std::string>)
    {
        return base + rhs;
    }
    else
    {
        return base + std::to_string(rhs);  
    }
}

修改后用原编译指令即可正常编译运行。

方案2：函数重载（兼容C++11及以上版本） #

如果需要兼容低于C++17的标准，可以拆分为两个重载函数实现，不需要做运行时类型判断：

// 处理rhs为std::string的场景
std::string test(std::string lhs, std::string rhs)
{
    return lhs + " = " + rhs;
}

// 处理所有支持std::to_string的算术类型场景
template<typename T, typename = std::enable_if_t<std::is_arithmetic<T>::value>>
std::string test(std::string lhs, T rhs)
{
    return lhs + " = " + std::to_string(rhs);
}

内容的提问来源于stack exchange，提问作者Lars Kakavandi-Nielsen