如何阻止C++函数模板实例化，在其他TU中自行实例化？

要实现让编译器不对函数模板进行隐式实例化，转而由你在其他翻译单元（TU）中手动控制实例化，核心思路是让调用代码所在的TU只看到函数模板的声明，看不到任何定义（包括模板的通用定义和显式特化），具体可以按以下方式操作：

1. 分离模板声明与实现 #

• 在头文件中仅声明函数模板，不提供任何定义：

  // foo.h
  template <typename T>
  int my_func();
  

• 所有模板的实例化/显式特化都放在单独的实现文件中：

  // foo.cpp
  #include "foo.h"
  
  // 针对int类型的显式特化
  template <>
  int my_func<int>() {
      return 42;
  }
  
  // 针对无名lambda类型的实例化（假设你能在该TU中获取到lambda类型）
  auto my_lambda = [](){};
  using LambdaType = decltype(my_lambda);
  template <>
  int my_func<LambdaType>() {
      return 123;
  }
  

• 在调用的TU中仅包含头文件，调用模板函数：

  // main.cpp
  #include <cstdio>
  #include "foo.h"
  
  int main() {
      printf("%i", my_func<int>()); // 编译器仅生成调用指令，不会隐式实例化
      
      auto lambda = [](){};
      printf("%i", my_func<decltype(lambda)>()); // 同样依赖链接时找到foo.cpp中的特化
  }
  

2. 解决你提供的MVCE中的错误 #

你给出的示例代码报错，原因是：在main()中调用my_func<int>()时，编译器仅看到模板声明，没有看到定义，于是尝试隐式实例化my_func<int>()；而后续出现的显式特化违反了C++规则——显式特化必须在模板被隐式实例化之前声明。

按照上面分离声明与实现的方式，把显式特化移到单独的TU中，就能避免这个错误。

3. 针对无名lambda类型的处理 #

对于无法在头文件中命名的无名lambda类型，你只需要在存放实例化的TU中先创建该lambda对象，通过decltype获取其类型，再进行显式特化即可——无需在头文件中暴露这个类型，编译器会通过符号混淆后的名称在链接阶段匹配到对应的实例化。

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