Специализация шаблона

[220Volt]

Приветствую товарищи!

Очень хочется специализировать структуру S для Q и его наследников:

class Q {};
class Q_d1 : public Q {};
class Q_d2 : public Q {};

template <typename T>
	struct S
	{
		static void fn() {cout<<"not_Q\n";}
	};

template <typename T> // шаблон для Q и его наследников.
	struct S<???>
	{
		static void fn() {cout<<"Q\n";}
	};

Если записать так:

class Q {};
class Q_d1 : public Q {};
class Q_d2 : public Q {};

template <typename T>
	struct S
	{
		static void fn() {cout<<"not_Q\n";}
	};

template <> // шаблон для Q и его наследников.
	struct S<Q>
	{
		static void fn() {cout<<"Q\n";}
	};
int main()
{
	S<Q_d1>::fn();
	return 0;
}

получаем: cout - not_Q.

[Abstraction]

Это так легко не делается - формально Q != Q_d1, а на уровне шаблонов C++ отношения наследования ещё "не существует".
Вот пример решения на StackOverflow.

[220Volt]

Благодарю, вроде разобрался.

[220Volt]

Еще вопросик по теме
.........

[Abstraction]

все толично, но что если Q шаблонный класс, возможно ли специализировать структуру S под любую специализацию Q?

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

Только в Вашем примере не специализации Q, а наследники специализаций, так что проблема решается наследованием Q от класса Q_base.

[220Volt]

Сообщение от Abstraction

...
Только в Вашем примере не специализации Q, а наследники специализаций, так что проблема решается наследованием Q от класса Q_base.

Точно, как-то не догадался, еще раз спасибо.