必须显式指定模板参数类型，写在函数名后的尖括号中，如func_name(args...)；常见于参数类型不一致、字面量导致推导歧义或需强制指定精度时。

显式指定模板参数类型必须写在函数名后尖括号里

编译器无法自动推导出一致的 T 时，必须手动告诉它用什么类型。语法固定为 func_name(args...)，尖括号紧贴函数名，不能有空格或换行。

常见触发场景：参数类型不一致（比如 int 和 double）、参数是字面量（如 5、3.14）导致推导歧义、或想强制使用某精度/宽度类型（如用 long long 避免溢出）。

• max(x, 5)：即使 x 是 long，也按 比较并返回
• mySwap(a, b)：当 a 是 float、b 是 double，不显式指定会编译失败
• 不能写成 mySwap(a, b) 或 mySwap (a, b) —— 尖括号前不能有空格，否则被解析为比较运算符

多个模板参数时要按声明顺序全部指定

如果函数模板定义了多个类型参数，如 template T1 add(T1 a, T2 b)，显式调用时必须写全，顺序不能错。

C++14

C++14 对 C++11 的修正与增强版本，适合旧系统维护和较老工具链兼容。

下载

• add(10, 3.14) → 正确：T1 是 int，T2 是 double
• add(10, 3.14) → 编译可能通过，但语义已变（返回 double，且 10 被转为 double）
• add(10, 3.14) → 错误：只给了一个类型，T2 无法推导，编译失败

显式指定能绕过隐式转换限制，但不改变实参本身

普通函数调用允许隐式转换（如 double → int），而模板自动推导时禁止这种“妥协”。显式指定类型后，编译器会尝试把每个实参转为目标类型 —— 但这只是转换尝试，失败仍报错。

• addTemplate(10, 20.5) → 成功：20.5 被截断为 20，调用 int 版本
• addTemplate(10, "hello") → 失败：字符串字面量无法转为 int，和推导失败的错误信息不同（这里是转换失败，不是推导失败）
• 注意：显式指定不会让模板“接受任意类型”，它只控制 T 的取值，函数体内部操作（如 +）仍需该类型支持

与普通函数重载共存时，显式指定可能跳过重载解析

如果同时存在同名普通函数（如 void foo(int, int)）和模板函数（template void foo(T, T)），编译器默认优先匹配普通函数。但一旦你写 foo(1, 2)，就强制走模板路径，完全绕过重载决策。

• 这在调试时容易误判：你以为调的是普通函数，实际执行的是模板实例化版本
• 若普通函数做了特殊处理（如日志、锁、边界检查），而模板版本没有，行为就会不一致
• 查证方法：在模板函数里加 std::cout ，看是否真被调用

显式指定类型看着简单，但真正难的是判断“什么时候非得用它”——不是为了炫技，而是当编译器沉默报错、或行为和预期不符时，它是你手里最直接的调试杠杆。

C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！