Как явно создать экземпляр класса с аргументами шаблона по умолчанию в 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> - совершенно другой тип от TNT<int, 4>. Они отличаются друг от друга как vector<int> от vector<float>.

Таким образом, вы не можете создавать все возможные параметры, отличные от типа. Если вы создаете экземпляр TNT<int>, вы создаете конкретный шаблон , в котором используются параметры по умолчанию. Если ваши параметры по умолчанию были 1, 2, 3, то TNT<int> был бы эквивалентен TNT<int, 1, 2, 3>.

Но все. Синтаксиса не существует, чтобы создать шаблон для каждой возможной комбинации значений параметров.

Answer 2

Если вы говорите о явном экземпляре в обычном понимании, то я предполагаю, что ваш вопрос заключается в том, чтобы избежать связывания ошибок при определении реализации класса шаблона в файле cpp, а не в файле заголовка.

Если это так, то обычные явные правила конкретизация применить с этим синтаксисом:

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

Вам нужно будет написать, как многие из них, как комбинации, используемые в других требуют.