模板定义和实现必须放在头文件中，否则会因实例化失败导致undefined reference链接错误；c++17起可用ctad和推导指南简化类模板类型推导；应优先用static_assert或c++20概念约束模板参数。
模板函数怎么写才不报错 undefined reference
模板定义和实现不能分离——这是最常踩的坑。编译器在实例化模板时需要看到完整定义，所以把 template<typename t></typename> 声明和实现都放在头文件里，别拆到 .cpp 中。
常见错误现象：undefined reference to 'MyStack<int>::push(int const&)'</int>，表面是链接错误，实际是模板没实例化成功。
- 所有模板代码（含
inline函数）统一放.h或.hpp文件 - 如果非要分离，可用显式实例化，在
.cpp末尾加template class MyStack<int>;</int>，但只对已知类型有效 - 别用
extern template省略实例化——它要求你精确控制每个 TU 的实例化时机，容易漏
std::vector 和自定义模板类的类型推导差异
函数模板能自动推导 T，类模板不行——除非用 C++17 的类模板参数推导（CTAD）。
比如 std::vector v = {1, 2, 3}; 能推成 std::vector<int></int>，但你的 MyStack s = {1, 2, 3}; 会编译失败，除非你写了对应的推导指南（deduction guide）。
立即学习“C++免费学习笔记（深入）”；
- 函数模板：直接写
template<typename t> void foo(T x) { ... }</typename>，调用foo(42)自动推成foo<int>(42)</int> - 类模板：C++17 前必须写全
MyStack<double> s;</double>；C++17 起可加推导指南：template<typename t> MyStack(std::initializer_list<t>) -> MyStack<t>;</t></t></typename> - 推导指南不是万能的：它只影响构造函数调用，不影响成员函数或嵌套类型
模板参数类型约束：别等运行时报错才改
泛型代码一旦传入不支持的操作，错误信息又长又绕，比如 error: no match for 'operator。用 <code>std::is_integral_v<t></t> 或 C++20 概念（concept）提前拦截更清晰。
使用场景：写一个通用排序辅助函数，只接受可比较、可拷贝的类型。
- C++17 推荐用
static_assert：static_assert(std::is_copy_constructible_v<t>, "T must be copyable");</t> - C++20 可用概念：
template<:totally_ordered t> void sort_helper(T* begin, T* end);</:totally_ordered>，错误提示直指约束名 - 别依赖 SFINAE 写
enable_if—— 它会让重载解析变复杂，且错误信息更难读
模板特化时，偏特化 vs 全特化怎么选
全特化（template struct MyTrait<int> { ... };</int>）没问题；偏特化（template<typename t> struct MyTrait<t> { ... };</t></typename>）有严格限制：不能用于函数模板，且类模板偏特化必须比主模板更特化（比如 T* 是 T 的偏特化，但 std::vector<t></t> 不是 T 的偏特化）。
- 函数模板只允许全特化，不支持偏特化——否则编译器无法决定调用哪个重载
- 类模板偏特化需满足「部分参数被固定或约束」，比如
template<typename t> struct X<t int></t></typename>合法，template<typename t> struct X<:vector>></:vector></typename>不合法（因为std::vector<t></t>不是原始参数形式） - 现代替代方案：用
if constexpr+ 主模板内部分支，逻辑集中、易读、无特化冲突
模板真正难的不是语法，而是类型系统和实例化时机的耦合——一个 decltype 表达式里藏着几层模板嵌套，就可能让错误信息跳转三次才到真正出问题的地方。
