C++模板推导依赖问题：移除vector<int>的stringify调用后编译报错

核心原因 #

这是C++模板实例化的典型问题，根源在于模板函数的定义可见性：
你的stringify<std::vector<std::vector<int>>>内部必然会递归调用stringify<std::vector<int>>，但如果模板函数采用头文件声明、.cpp源文件定义的分离写法：

• 当同时调用stringify<vector<int>>和stringify<vector<vector<int>>>时，前者的调用会触发编译器在当前编译单元实例化stringify<std::vector<int>>，链接时能找到对应的符号；
• 仅调用stringify<vector<vector<int>>>时，编译器只会实例化外层的模板，而它依赖的stringify<std::vector<int>>的定义不在当前编译单元，GCC不会自动跨编译单元实例化这个嵌套的模板特化，最终链接阶段就会报“未定义引用”错误。

解决方法 #

• 将模板定义移到头文件：把stringify的完整实现（包括函数体）放到头文件中，和声明放在一起。这样编译器在处理任何调用时，都能看到完整的模板定义，自动实例化所有需要的嵌套特化。注意如果头文件会被多个编译单元包含，给模板函数加上inline关键字，避免多重定义问题。
• 显式实例化所需特化：如果坚持分离声明和定义，在存放模板定义的.cpp文件中，显式实例化所有依赖的特化。示例代码：

  // 假设stringify返回std::string，参数为const T&
  template std::string stringify<std::vector<int>>(const std::vector<int>&);
  template std::string stringify<std::vector<std::vector<int>>>(const std::vector<std::vector<int>>&);
  

  这样编译器会在该.cpp文件中实例化这些特化，链接时就能找到对应的符号。
• 检查递归逻辑正确性：确认容器版本的stringify实现中，正确调用了元素类型的stringify，没有遗漏模板参数传递或类型推导错误。

内容的提问来源于stack exchange，提问作者Jaan