C++ частичной специализации шаблона синтаксис

Question

для основного шаблона:

template<typename A, typename B> class MyClass {... 

с шаблоном специализацией, в чем разница между

template<typename A, typename B> class MyClass<int, float> {... 

и

template<> class MyClass<int, float> {... 

Answer 1

template<typename A, typename B> class MyClass<int, float> {... должен быть не допускаются. Действительно, если вы укажете формальные параметры A и B, ваш шаблон должен их использовать.

Второй случай нормальный: вы говорите, что вы специализируетесь без «свободных» параметров.

Промежуточный случай может быть

template<typename A> class MyClass<A, float> {... 

которая снова действует: здесь вы фиксируете только 2-й параметр шаблона.

Идея частичной специализации следующая: вы создаете шаблон с некоторыми формальными параметрами и используете их для выражения ограничений на параметры исходного шаблона. Параметры частичной специализации не должны совпадать с параметрами исходного шаблона. Пример:

template<typename X, typename Y, typename Z> class MyClass<X*, Y(Z&)> {... 

будет действительной частичной специализацией для вашего случая. Это можно прочитать как «для произвольных типов X, Y и Z, если параметры шаблона MyClass соответствуют и Y(Z&), используйте эту специализацию». Компилятор должен быть достаточно умным, чтобы соответствовать шаблону типа.