C++如何实现Vector2模板运算符+的返回类型自动推导？

你的错误核心是模板类Vector2必须指定模板参数才能作为类型使用，直接写Vector2编译器无法确定它的具体类型。你的需求完全可行，以下是几种不同C++版本的实现方式：

方式1：C++17及以上（推荐，最简洁） #

利用C++17引入的类模板参数推导（CTAD），编译器可以根据初始化参数自动推导Vector2的模板类型，同时用auto作为函数返回类型让编译器自动推导返回值：

template <typename T1, typename T2>
auto operator+(const Vector2<T1>& v1, const Vector2<T2>& v2) 
{
    return Vector2{v1.x + v2.x, v1.y + v2.y};
}

当你用Vector2<int>和Vector2<double>相加时，v1.x + v2.x的类型是double，编译器会自动推导出返回的是Vector2<double>；两个同类型的Vector2相加时，返回的就是对应类型的Vector2。

方式2：C++14及以上 #

如果编译器只支持到C++14（不支持CTAD），可以手动用decltype获取相加后的类型，再显式指定Vector2的模板参数：

template <typename T1, typename T2>
auto operator+(const Vector2<T1>& v1, const Vector2<T2>& v2) 
{
    auto sum_x = v1.x + v2.x;
    auto sum_y = v1.y + v2.y;
    return Vector2<decltype(sum_x)>{sum_x, sum_y};
}

decltype(sum_x)会获取v1.x + v2.x的结果类型，确保返回的Vector2使用正确的模板参数。

方式3：C++11 #

C++11不支持函数返回类型自动推导，需要用尾置返回类型来指定返回值：

template <typename T1, typename T2>
auto operator+(const Vector2<T1>& v1, const Vector2<T2>& v2) 
    -> Vector2<decltype(v1.x + v2.x)>
{
    return {v1.x + v2.x, v1.y + v2.y};
}

这里用decltype(v1.x + v2.x)预先计算出返回的Vector2的模板类型，通过尾置返回类型告诉编译器函数的返回值。

补充说明 #

你提到的Vector2 vectorInt = {3, 2};能编译通过，是因为C++17的CTAD特性帮你自动推导了T为int；但在函数返回类型中，编译器无法自动推导模板参数，必须通过上述方式明确或让编译器推导完整的返回类型。

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