这个问题确实挺反直觉的，我刚接触模板重载的时候也困惑过！咱们先从一个和你遇到的情况匹配的代码例子入手，比如下面这两个模板：

template<typename T>
int func(T val) {
    return val + 1;
}

template<typename T>
int func(typename T::inner_type val) {
    return val + 2;
}

这两个模板的返回类型都是int，看起来参数列表好像“最终实例化后可能撞类型”，但编译器却不会报错说重定义，核心原因就在于你看到的那段描述——函数模板的签名判定，会把参数列表里依赖模板参数的表达式结构算进去，而不是只看最终实例化后的参数类型。

关键区别：模板层面的签名 vs 实例化后的函数签名 #

普通函数的重载只看参数类型列表（返回类型不算），但函数模板的规则不一样：

• 对于模板本身来说，它的签名不仅包含函数参数的“类型”，还包含这个类型是怎么由模板参数构造出来的。
• 上面的例子里，第一个模板的参数是直接用T，第二个是用typename T::inner_type——这是两个完全不同的依赖表达式，编译器会把它们当成两个不同的函数模板，自然不会触发重定义错误。

再解读那段描述 #

你引用的内容里提到“当使用类型或非类型模板参数的表达式出现在函数参数列表或返回类型中时，该表达式会作为函数模板签名的一部分参与重载判定”，这里的重点是**“出现在函数参数列表”也满足条件**，不是必须要在返回类型里。只要参数列表里的类型是由模板参数通过某种表达式构造出来的，这个表达式的结构就会被用来区分不同的模板。

举个实例化的例子更清楚：
假设我们定义一个结构体：

struct MyStruct {
    using inner_type = int;
};

当我们调用func(10)时，编译器会匹配第一个模板（推导T=int）；当我们调用func<MyStruct>(20)时，编译器会匹配第二个模板（此时参数类型是MyStruct::inner_type也就是int）。虽然这两个实例化后的函数参数类型都是int，但模板本身的签名是不同的，所以完全合法。

总结一下 #

函数模板的重载判定是在模板本身的层面进行的，不是看实例化后的函数。只要参数列表里的依赖模板参数的表达式结构不同，哪怕返回类型相同、甚至实例化后参数类型相同，都可以合法重载——这就是你觉得反直觉的核心原因啦！

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