必须显式指定模板参数类型，写在函数名后的尖括号中，如func_name<T>(args...)；常见于参数类型不一致、字面量导致推导歧义或需强制指定精度时。
显式指定模板参数类型必须写在函数名后尖括号里
编译器无法自动推导出一致的 T 时，必须手动告诉它用什么类型。语法固定为 func_name<type>(args...)</type>，尖括号紧贴函数名，不能有空格或换行。
常见触发场景：参数类型不一致（比如 int 和 double）、参数是字面量（如 5、3.14）导致推导歧义、或想强制使用某精度/宽度类型（如用 long long 避免溢出）。
-
max<int>(x, 5)</int>：即使x是long，也按比较并返回 <code> -
mySwap<double>(a, b)</double>：当a是float、b是double，不显式指定会编译失败 - 不能写成
mySwap(a, b)或mySwap <double>(a, b)</double>—— 尖括号前不能有空格，否则被解析为比较运算符
多个模板参数时要按声明顺序全部指定
如果函数模板定义了多个类型参数，如 template<typename t1 typename t2> T1 add(T1 a, T2 b)</typename>，显式调用时必须写全，顺序不能错。
C++ Code Review Master
下载
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
-
add<int double>(10, 3.14)</int>→ 正确：T1是int，T2是double -
add<double int>(10, 3.14)</double>→ 编译可能通过，但语义已变（返回double，且10被转为double） -
add<int>(10, 3.14)</int>→ 错误：只给了一个类型，T2无法推导，编译失败
显式指定能绕过隐式转换限制，但不改变实参本身
普通函数调用允许隐式转换（如 double → int），而模板自动推导时禁止这种“妥协”。显式指定类型后，编译器会尝试把每个实参转为目标类型 —— 但这只是转换尝试，失败仍报错。
立即学习“C++免费学习笔记（深入）”；
-
addTemplate<int>(10, 20.5)</int>→ 成功：20.5被截断为20，调用int版本 -
addTemplate<int>(10, "hello")</int>→ 失败：字符串字面量无法转为int，和推导失败的错误信息不同（这里是转换失败，不是推导失败） - 注意：显式指定不会让模板“接受任意类型”，它只控制
T的取值，函数体内部操作（如+）仍需该类型支持
与普通函数重载共存时，显式指定可能跳过重载解析
如果同时存在同名普通函数（如 void foo(int, int)）和模板函数（template<typename t> void foo(T, T)</typename>），编译器默认优先匹配普通函数。但一旦你写 foo<double>(1, 2)</double>，就强制走模板路径，完全绕过重载决策。
- 这在调试时容易误判：你以为调的是普通函数，实际执行的是模板实例化版本
- 若普通函数做了特殊处理（如日志、锁、边界检查），而模板版本没有，行为就会不一致
- 查证方法：在模板函数里加
std::cout << "template called\n";，看是否真被调用
