哥谭市原住民模板参数推断与函数重载规则，这两个词放在一起，几乎就是 C++ 开发者迟早要撞上的那堵墙。面试里的八股文考的是背，真实写代码时摸不清这两条规则，表现出来的往往不是“报错”，而是“我明明写了好几个重载，编译器为什么非选另一个”。我在一个日志格式化的小项目里就撞到过一次：明明提供了 std::string to_string(int) 这样的非模板版本，调用方传了一个 long，结果编译器居然走了更靠后的模板版本，而不是我预设的普通函数，调试了半天才明白是推断规则先压过了我脑子里的“普通函数优先”。
这篇文章想把这些东西彻底捋一遍：模板参数推断到底在做什么、函数重载决议分哪几步走、两者相遇时谁先谁后，以及那些经典歧义和 SFINAE 局面的真实成因。适合正在系统学 C++ 的人、准备笔试面试的人，也适合写了很多年代码但总靠“试一下”过关的老手。所有结论我都会给代码例子，并且尽量解释“为什么”，而不是丢给你一张背诵表。
1. 为什么“模板推断 + 重载决议”要放在一起看
1.1 两个机制各自管什么
模板参数推断（template argument deduction）负责回答一个问题：调用 f(42) 时，函数模板 template<typename T> void f(T) 里的 T 到底该填什么类型？它要做的是把实参表达式往形参模式里塞，塞得进去，就得到一个具体化的函数实例，塞不进去，这个模板就不参与后续竞争。
函数重载决议（overload resolution）负责回答另一个问题：眼前有一堆同名函数、函数模板，当它们都能匹配这次调用时，哪一个才是“最合适的”？它有一套固定流程，先后做候选筛选、可行性检查、转换序列比较，最后才轮到模板特化程度和非模板优先这类“决胜规则”。
很多人把它们当成两个独立话题复习，但实际上它们是在同一次调用解析中嵌套执行的。编译器看到一个函数调用，先进行名字查找得到一个候选池；之后必须逐个对池里的函数模板做实参推断；推断成功才拿到具体实例，推断失败就直接把模板从池里踢掉；接着才进入常规的可行函数筛选和最优匹配排序。理解不了这层嵌套关系，后面看再多的“模板重载示例”都容易懵。
1.2 两个机制相遇后会出现“反直觉”的结果
我举个例子，这个例子是我在实际项目里真实踩过的简化版。
cpp复制#include <iostream>
#include <string>
void to_string(int v) {
std::cout << "ordinary int: " << v << '\n';
}
template<typename T>
void to_string(const T& v) {
std::cout << "template: " << v << '\n';
}
int main() {
int x = 10;
to_string(x); // 输出 ordinary int
long y = 20;
to_string(y); // 输出 template
}
第一次看到这个结果时我很疑惑：y 是 long，你非模板版本 to_string(int) 明明也能通过隐式转换匹配上，为什么编译期宁愿去实例化模板？按“普通函数优先”的说法，不是应该选非模板吗？
把规则拆开就清楚了。非模板版本确实有优先权，但这个优先权只在两个候选的隐式转换序列“一样好”时才生效。调用 to_string(y) 时，普通函数需要做 long 到 int 的标准转换