实现可推导返回类型的Vec2 operator+运算符遇模板推导错误

你遇到的编译错误核心原因是：函数模板的模板参数TR无法从函数调用的上下文（返回值赋值的目标类型）推导出来。C++的函数模板推导仅基于传入的实参，不会考虑返回值要赋值的类型，所以编译器不知道TR应该是什么，导致匹配失败。

要实现类似原生算术类型的自动类型推导/转换行为（比如unsigned x = 2l + 3.1;），我们需要调整operator+的设计，让它自动计算两个向量元素相加后的结果类型，同时支持隐式转换到目标类型。下面是修正后的完整代码：

#include <array>
#include <type_traits>

// 简化enable_if的写法，仅保留算术类型约束
template<typename T, typename = std::enable_if_t<std::is_arithmetic_v<T>>>
class Vec2 {
    std::array<T, 2> _data;
public:
    // 基础构造函数
    Vec2(T x, T y): _data{x, y} {}

    // 转换构造函数：支持从其他算术类型的Vec2隐式转换
    template<typename U>
    Vec2(const Vec2<U>& other) 
        : _data{static_cast<T>(other._data[0]), static_cast<T>(other._data[1])} {}

    // 重载operator+：自动推导返回类型为元素相加后的类型
    template<typename TB>
    auto operator+(const Vec2<TB>& v) const {
        // 计算两个元素相加后的类型，模拟原生算术类型的提升规则
        using ResultType = decltype(_data[0] + v._data[0]);
        return Vec2<ResultType>(_data[0] + v._data[0], _data[1] + v._data[1]);
    }
};

int main(void) {
    Vec2 vi{0, 2};               // 推导为Vec2<int>
    Vec2 vf{1.4, 2.2};           // 推导为Vec2<double>
    
    // 行为和原生类型一致：vi+vf返回Vec2<double>，然后隐式转换为Vec2<int>
    Vec2<int> res = vi + vf;
}

关键修改说明： #

1. 移除operator+的TR模板参数：
   不再让用户/上下文指定返回类型，而是用decltype(_data[0] + v._data[0])自动计算两个算术类型相加后的结果类型，完全遵循C++原生算术类型的提升/转换规则（比如int + double得到double）。

2. 添加转换构造函数：
   新增模板构造函数Vec2(const Vec2<U>& other)，允许从其他算术类型的Vec2隐式转换到当前类型，就像原生类型double可以隐式转换为int一样。这一步是实现Vec2<int> res = vi + vf;的关键，因为vi+vf返回的是Vec2<double>，需要能转换为Vec2<int>。

3. 简化模板约束写法：
   把typename = std::enable_if_t<std::is_arithmetic_v<T>, T>改成typename = std::enable_if_t<std::is_arithmetic_v<T>>，因为enable_if_t的第二个参数默认是void，不需要额外指定T，代码更简洁。

可选优化： #

如果你希望更严格地控制转换（比如禁止隐式转换，要求显式static_cast），可以把转换构造函数标记为explicit，这时候需要写成Vec2<int> res = static_cast<Vec2<int>>(vi + vf);，更符合类型安全的要求。

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