如何在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文件中显式实例化这样一个类的正确方法是什么？由于可以组合非类型参数，因此可以进行许多组合。

Answer 1

我认为你没有得到的是这个。 TNT<int, 5>与<{1}}的完全不同类型。它们彼此不同，因为TNT<int, 4>来自vector<int>。

因此，您无法实例化所有可能的非类型参数。如果您实例化vector<float>，那么您将实例化使用默认参数的特定模板。如果您的默认参数为1,2,3，那么TNT<int>将等同于TNT<int>。

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

Answer 2

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

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

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

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