函数模板必须紧贴声明/定义前且不能隔空行或藏于未导出的namespace/class内；不可置于.cpp中，否则链接失败；template后不可加分号；类型推导有局限，需显式指定；类模板成员函数定义须全在头文件中。
函数模板怎么写才不会报错 template 语法位置不对就直接编译失败
函数模板不是“加个 template<typename t></typename> 就能用”，它必须紧贴在函数声明/定义之前，且不能隔空行、不能套在 namespace 或 class 内部却忘了导出。常见错误是把模板写在 .cpp 文件里——链接时找不到实例化体，undefined reference 直接报给你看。
-
template<typename t></typename>后面**不能跟分号**，否则编译器认为这是声明，后面再定义就冲突 - 如果函数定义在头文件外（比如单独
.cpp），必须显式实例化，例如：template void swap<int>(int&, int&);</int> - 类型推导有局限：传入
nullptr或字面量0可能推成int而非你想要的指针类型，这时得用swap<int>(a, b)</int>强制指定
类模板的成员函数为什么总连不上 inline 和 definition 是关键
类模板的成员函数不能像普通类那样声明在头文件、实现在 .cpp 里。因为编译器需要看到完整定义才能为每种类型生成代码。一旦拆开，就会出现 undefined reference to 'MyStack<double>::push(double const&)'</double> 这类错误。
- 所有成员函数定义（包括构造、析构、
operator）都得放在头文件中，通常紧贴在类声明内部（自动inline）或紧随其后 - 如果函数体太长不想塞进类内，仍要写在头文件里，只是移到类外，但必须带上完整的模板参数：例如
template<typename t> void MyStack<t>::push(const T& x) { ... }</t></typename> - 别用
export template—— C++98 曾有这个关键字，但所有主流编译器（GCC/Clang/MSVC）早已不支持，写了等于白写
模板参数用 typename 还是 class？实际没区别但习惯有坑
两者在模板形参位置完全等价，template<class t></class> 和 template<typename t></typename> 编译效果一模一样。但老手倾向用 typename，因为语义更准：它强调“这里要的是一个类型名”，尤其在嵌套依赖名场景下，typename 是强制要求的。
- 当你要访问嵌套类型时，比如
T::value_type，必须写成typename T::value_type，否则编译器默认当静态成员而非类型 - 别在模板参数列表里混用：同一模板中不要一会儿
class T，一会儿typename U，容易让协作者误以为有语义差别 - 自定义概念（C++20）出现后，
typename更自然地与requires搭配，比如template<typename t> requires std::integral<t></t></typename>
模板特化和偏特化容易漏掉主模板声明
写特化前，必须先有对应的主模板声明，否则编译器根本不知道你在特化谁。最典型错误是：只写了 template struct hash<mytype> { ... };</mytype>，但前面压根没声明过 template<typename t> struct hash;</typename>，结果报 explicit specialization of undeclared template。
立即学习“C++免费学习笔记（深入）”；
- 全特化（如
hash<int></int>）用template，偏特化（如hash<t></t>）用template<typename t></typename>，但两者都依赖主模板已存在 - 偏特化不能用于函数模板——C++ 标准禁止。想按类型做不同逻辑？改用
if constexpr（C++17）或重载 + SFINAE - 特化版本必须和主模板在同一命名空间，否则可能被忽略；比如
std::hash特化必须写在namespace std里，且仅限对用户自定义类型特化
模板真正难的不是语法，而是错误信息又长又绕，动不动就几十行 error: no type named 'type' in 'struct enable_if<...>'</...>。这时候别硬读，先定位第一个红字报错位置，检查模板参数有没有传错、嵌套名有没有少写 typename、特化有没有漏主模板——八成问题在这三处。
