模板函数不能放入传统静态库（.a）中直接链接使用——因编译时未实例化，目标文件中无符号定义，导致链接时报 undefined reference 错误；正确做法是将模板定义置于头文件中，由各翻译单元自行实例化。
模板函数不能放进传统静态库（.a）里直接链接使用——编译器在链接阶段看不到模板实例化所需的完整定义，会报 undefined reference 错误。
为什么 ar 打包模板函数会失败
静态库本质是目标文件（.o）的归档，而模板函数（如 PrintByIterator）在编译时不会生成具体符号，除非被显式实例化。当你只把模板定义放在 .cpp 文件里并用 g++ -c 编译，GCC 默认不生成任何实例，产出的 .o 里根本没有 PrintByIterator 的机器码。
- 错误现象：
undefined reference to `PrintByIterator<int>'</int> - 根本原因：
.o中无该实例符号，ar打包进去也没用 - 即使加
explicit instantiation，也得在源文件里写死每种类型，不灵活
正确做法：头文件 + 显式实例化（有限场景）
如果你真要“塞进静态库”，唯一可行路径是强制实例化所有需要的类型组合，并确保这些实例出现在某个 .cpp 文件中，再编译进 .o。
- 在
print_impl.cpp里写：template void PrintByIterator<int>(int*, int*);</int> - 同文件还需包含完整模板定义（不能只声明）
- 用
g++ -c print_impl.cpp编译，生成含具体符号的print_impl.o - 再
ar rcs libprint.a print_impl.o - 调用方仍需包含模板声明头，但链接时能找得到已实例化的版本
更实际的组织方式：模板库就该是头文件库
STL、Boost、Eigen 全部这么干——把模板定义全放在头文件里，让每个翻译单元自己实例化。这才是符合 C++ 模板语义的设计。
- 用户只需
#include "print_iterator.h"，无需链接步骤 - 避免
.a带来的类型爆炸（vector<string></string>和vector<int></int>实例互不兼容） - 调试友好：错误发生在编译期，堆栈清晰；而不是链接期模糊报错
- 若担心头文件污染，可用
inline namespace或detail命名空间隔离实现
硬塞模板进 .a 是逆着语言机制走，容易卡在链接失败、类型不匹配、ABI 不一致上。真正省事又可靠的做法，就是接受“模板代码必须可见”这个事实，老老实实放头文件里。
