cpp模板实例化与ODR
内容简介
模板不是普通函数。模板定义通常要放在头文件里，因为编译器需要在看到具体类型时生成对应代码，这叫模板实例化。
ODR 是 One Definition Rule，单一定义规则。它约束同一个实体在程序中如何被定义，违反后可能出现链接错误或更隐蔽的问题。
为什么模板常放头文件
template <typename T>
T add(T a, T b)
{
return a + b;
}当代码使用 add<int> 或 add<double> 时，编译器需要看到模板定义才能生成对应版本。
常见问题
- 只把模板声明放
.h，实现放.cpp，其他文件使用时可能链接失败。 - 头文件里的普通非
inline函数被多个.cpp包含，可能重复定义。 - 模板报错常在实例化点爆出来，不一定在模板定义处。
解决方向
- 模板声明和实现都放头文件。
- 或使用
.hpp/.tpp保存模板实现，再由头文件包含。 - 少数固定类型可以用显式实例化。
注意事项
- 模板实例化会增加编译时间。
- 模板错误信息长，不代表问题一定复杂，要从第一个有效错误往回看。
- ODR 问题和链接、头文件组织、
inline、模板都有关系。