如何减少.cpp文件中显式模板实例化的样板代码？

嘿，这个问题我太有共鸣了——为了把模板函数的实现藏在.cpp文件里，只在头文件留前置声明（尤其是当这个函数被类模板调用时），必须显式实例化模板才能让编译通过。但写一堆重复的显式实例化代码真的很繁琐，样板代码多到让人头疼。下面给你几个我常用的简化办法，亲测好用：

• 用宏来批量生成实例化代码
  如果你需要实例化的模板类型不算特别多，定义一个宏来包裹重复的实例化语句是最直接的办法。比如先在头文件的detail命名空间里做好声明：

  namespace detail {
      struct foo{};
      template <typename Model>
      void internalLogic(Model*, foo);
  } // namespace detail
  

  然后在.cpp文件里，不用每次都写完整的显式实例化签名，而是定义这样一个宏：

  #define INSTANTIATE_INTERNAL_LOGIC(Type) \
  template void detail::internalLogic<Type>(Type*, detail::foo);
  

  之后要实例化哪个类型，只需要一行宏调用就行：

  INSTANTIATE_INTERNAL_LOGIC(int)
  INSTANTIATE_INTERNAL_LOGIC(std::string)
  INSTANTIATE_INTERNAL_LOGIC(MyCustomClass)
  

  后期要加新类型也只需要加一行，既省事又不容易写错函数签名。

• 用辅助模板类集中管理实例化
  可以写一个专门的辅助模板类，把所有需要实例化的模板函数调用都放在这个类的静态方法里。这样不用写一堆单独的显式实例化声明，只需要实例化这个辅助类就行：
  在.cpp文件中定义：

  template <typename Model>
  struct InstantiateInternalLogic {
      static void trigger() {
          // 这里的调用会触发模板函数的实例化
          Model* dummyPtr = nullptr;
          detail::internalLogic(dummyPtr, detail::foo{});
      }
  };
  
  // 实例化辅助类就搞定了
  template struct InstantiateInternalLogic<int>;
  template struct InstantiateInternalLogic<std::string>;
  

  这种方式的好处是可以把多个相关的模板函数实例化都集中到一个辅助类里，管理起来更清晰，也避免了重复写冗长的函数签名。

• 用变参模板一次性处理多个类型
  如果你用的是C11及以上版本，还可以用变参模板来批量实例化一堆类型。尤其是C17的折叠表达式，能让代码超级简洁：
  在.cpp文件里写一个变参模板函数：

  template <typename... Types>
  void instantiateAllInternalLogic() {
      // 折叠表达式会依次触发每个类型的模板实例化
      (detail::internalLogic(static_cast<Types*>(nullptr), detail::foo{}), ...);
  }
  
  // 只需要一行，就能实例化所有需要的类型
  template void instantiateAllInternalLogic<int, std::string, MyCustomClass>();
  

  这种方式特别适合需要实例化大量类型的场景，一行代码就能搞定，后期修改类型列表也很方便。

备注：内容来源于stack exchange，提问作者Sergey Kolesnik