c++ - 如何在 C++ 中使用默认模板参数显式实例化类？

Question

我有一个带有类型和非类型（默认）模板参数的类。非类型参数可以组合，可以通过以下方式实例化：

TNT<int> v;
TNT<double, X, Y> v2;
TNT<float, X | X1, Y1> v3;
TNT<int, X | X1, Y | Y1, Z | Z1 | Z2, W> v4;

该类TNT有一个类型参数，其余为默认值。在 cpp 文件中显式实例化此类的正确方法是什么？由于可以组合非类型参数，因此可以进行多种组合。

score 5 · Accepted Answer

我认为你没有得到的是这个。TNT<int, 5>是与完全不同TNT<int, 4>的类型。它们彼此不同，就像vector<int>从vector<float>.

因此，您不能实例化所有可能的非类型参数。如果您实例化TNT<int>，那么您正在实例化使用默认参数的特定模板。如果您的默认参数是 1、2、3，则TNT<int>相当于TNT<int, 1, 2, 3>.

但就是这样。没有语法可以为每个可能的参数值组合实例化模板。

score 1 · Accepted Answer

如果您在通常意义上谈论显式实例化，那么我认为您的问题是关于在 cpp 文件而不是头文件中定义模板类实现时避免链接错误。

如果是这种情况，则应用通常的显式实例化规则，语法如下：

template class TNT<int>;
template class TNT<float, 1.0, 2.0>;
//etc

您将需要根据其他地方使用的组合的需要编写尽可能多的这些。

2 回答 2