最简模板函数为template<typename T>T max(T a, T b){return a>b?a:b;}，需显式声明template<typename T>，T为类型占位符，不能省略，且定义必须在头文件中。
模板函数怎么写，最简形式长什么样
C++ 模板函数不是“加个关键字就能泛型”，它得靠 template<typename T> 显式声明类型参数，再用 T 替代具体类型。漏掉 template<typename T> 这一行，编译器直接报错 error: 'T' was not declared in this scope。
最简可用模板函数示例：
template<typename T>
T max(T a, T b) {
return a > b ? a : b;
}
注意：typename 和 class 在这里等价，但推荐用 typename，因为语义更准确（不一定是类类型）；T 是占位符，不是预定义类型，不能写成 template<int T> —— 那是模板非类型参数，另说。
为什么传入 int 和 double 会实例化出两个函数
模板函数不是运行时多态，而是编译期生成具体版本。你调用 max(3, 5) 和 max(3.14, 2.71)，编译器分别生成 int max(int, int) 和 double max(double, double) 两份机器码。
立即学习“C++免费学习笔记（深入）”；
- 好处：零运行时开销，类型安全，支持
std::vector<MyClass>这种复杂类型 - 坑点：如果模板体里用了
T::value，但传入int就编译失败 —— 因为int没有成员value，错误发生在实例化时，不是声明时 - 别指望一个模板函数能自动适配所有类型；比如
max("a", "b")会尝试比较两个const char*地址，结果不可控
函数模板和普通重载混用时谁优先
编译器选函数分三步：先找普通重载，再找模板特化，最后才考虑模板推导。所以即使你写了模板 max<T>，只要存在 int max(int, int) 这个普通函数，它就一定赢。
常见误判场景：
- 你写了
template<typename T> void foo(T)，又写了void foo(int)，调用foo(42)→ 走普通函数，不是模板 - 想强制走模板？得用
foo<int>(42)或foo(static_cast<int>(42)) - 模板参数推导失败（比如参数类型不一致：
max(1, 3.14)），编译器不会自动转成double，而是直接报错error: no matching function for call to 'max'
模板函数定义为什么不能放在 .cpp 里
因为模板要实例化，编译器得看见完整定义，而不仅仅是声明。把 template<typename T> T max(...); 放头文件，实现却塞进 max.cpp，链接时就会报 undefined reference to 'max<int>'。
解决方式只有两种：
- 定义全部写在头文件（.h 或 .hpp）里 —— 最常用，也最安全
- 在模板定义的 .cpp 文件末尾，显式实例化你需要的版本，比如加一行
template int max<int>(int, int);—— 适合已知有限类型且不想暴露实现
别试图用 export template（C++03 废弃特性），现代编译器根本不支持。
记住：模板函数不是“写一次跑所有类型”，它是“写一次，编译器按需造多个”。类型边界、推导限制、头文件可见性，这三点卡住绝大多数初学者。
