如果我想限制类模板可以接受的类型，是否应该使用模板的显式实例化？

Question

我有一个模板类，我只想允许使用某些类型。我相信做到这一点的一种方法是在源文件末尾使用显式实例化——我相信如果开发人员尝试实例化不是显式实例化类型之一的类型，这将导致链接器错误。

然而，当我搜索 SO 时，例如在下面的 2 个链接中，我没有看到任何提及使用显式实例化的内容，所以我质疑是否应该使用显式实例化。

有人可以建议吗？

限制模板函数，仅允许某些类型

将模板限制为仅某些类？

Answer 1

C++ 在过去十年中不断发展，您所描述的是不再需要的常见 hack。此方法（以及几种替代方法）通过结合使用两种次优实践与较旧的 C++ 标准一起使用：在独立翻译单元中定义实际模板并在该翻译单元中显式实例化模板方法（包括其构造函数） ，并且依赖于这样一个事实，否则模板只能在头文件中有效实现。这通过产生神秘的链接故障有效地实现了该目标。

幸运的是，现代 C++ 中不再需要这种 hack。正如我所提到的，C++ 已经发展到可以使用 C++20 约束以清晰、明确的方式指定类似内容的程度：

#include <type_traits>

template<typename T>
    requires std::is_same_v<T, int> || std::is_same_v<T, char>
struct my_template {};

my_template<int> a;      // OK
my_template<char> b;     // OK
my_template<char *> c;   // ERROR

您的实际模板可以在头文件中正常定义和实现，并且该约束明确地施加了限制，即您的模板只能使用特定类型进行实例化。