C++函数模板按返回类型重载的有效性及编译报错疑问

问题背景 #

cppreference《Function template overloading》页面给出以下代码片段：

template<int I, int J>
A<I+J> f(A<I>, A<J>); // overload #1
 
template<int K, int L>
A<K+L> f(A<K>, A<L>); // same as #1
 
template<int I, int J>
A<I-J> f(A<I>, A<J>); // overload #2

疑问：返回类型为A<I+J>与A<I-J>的函数模板能否构成有效重载？该页面是否真的认为overload #1与#2属于有效重载集？还是存在理解偏差？

为验证问题，在编译器中测试了如下代码：

#include <iostream>
template <int>
struct A {
};

template <int I, int J>
A<I+J> func(A<I>, A<J>) {
    std::cout << "func1\n";
    return A<I+J>{};
}

template <int I, int J>
A<I-J> func(A<I>, A<J>) {
    std::cout << "func2\n";
    return A<I-J>{};
}

int main()
{
    A<-1> a = func<1,2>(A<1>{}, A<2>{});
    return 0;
}

编译未通过，报错信息如下：

ASM generation compiler returned: 1
<source>: In function 'int main()':
<source>:48:24: error: call of overloaded 'func<1, 2>(A<1>, A<2>)' is ambiguous
   48 |     A<-1> a = func<1,2>(A<1>{}, A<2>{});
      |               ~~~~~~~~~^~~~~~~~~~~~~~~~
<source>:35:8: note: candidate: 'A<(I + J)> func(A<I>, A<J>) [with int I = 1; int J = 2]'
   35 | A<I+J> func(A<I>, A<J>) {
      |        ^~~~
<source>:41:8: note: candidate: 'A<(I - J)> func(A<I>, A<J>) [with int I = 1; int J = 2]'
   41 | A<I-J> func(A<I>, A<J>) {
      |        ^~~~

解答 #

C++中函数重载的判定完全不考虑返回类型，函数模板重载也遵循这一规则：只有当函数签名（函数名、参数类型，模板还需考虑模板参数的匹配逻辑）存在差异时，才会被视为不同的重载。

针对cppreference的例子：

• overload #1和第二个模板（template<int K, int L> A<K+L> f(A<K>, A<L>)）是完全等价的模板——模板参数的名称不影响模板的唯一性，两者的参数列表、返回类型生成逻辑完全一致，属于重复定义，而非重载。
• overload #1和#2的函数签名（参数列表、模板参数列表）完全相同，仅返回类型不同。这种情况下它们不属于有效重载，编译器会判定为重复定义的模板，或者在调用时因无法区分而报错。

测试代码中出现歧义的原因：当显式指定模板参数<1,2>时，两个模板都能成功实例化，且参数列表完全匹配。由于C的重载决议过程不将返回类型作为选择依据，编译器无法确定调用哪个实例，因此抛出“调用歧义”的错误，这完全符合C标准。

cppreference这段代码的核心意图是展示“返回类型不参与重载决议”，即#1和#2因为签名相同，无法构成有效重载，而非认为它们属于有效重载集。之前的理解偏差在于误以为返回类型的差异能构成重载，但C++并不支持这种重载方式。

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