Почему виртуальные методы и деструкторы нельзя делать шаблонными???

[mike_tihomirov]

Выдержка из Солтера с Клепером:

Виртуальные методы и деструкторы нельзя делать шаблонными

ладно думаю, ща проверим, пишу:

template<typename T>
class A
{
public:
	A(){}
	virtual void func(){ cout << "A" << endl;}
	virtual ~A(){cout << "A - deleted" << endl;}
};
template<typename T>
class B: public A<T>
{
public:
	B(): A<T>(){}
	virtual void func(){cout << "B" << endl;}
	virtual ~B(){cout << "B - deleted" << endl;}
};
void main()
{
	A<int> *a1 = new A<int>();
	delete a1;

	A<int> *a2 = new B<int>();
	a2->func();
	delete a2;
}

Все компилится и линкуется и работает как надо, только не пойму в чем прикол?

[pproger]

ну и где у тебя тут виртуальный метод или деструктор шаблонный? у тя шаблонен класс!

[mike_tihomirov]

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

ну и где у тебя тут виртуальный метод или деструктор шаблонный? у тя шаблонен класс!

хорошо, а можно примерчик. Спасибо.

[pproger]

class Base {
public:
	virtual ~Base()
	{

	}

	template <typename A>
	virtual void foo(A a)
	{

	}
};

class A : public Base {
public:
};

int main()
{
	A a;
	return 0;
}

как тебе и обещали. но

class Base {
public:
	virtual ~Base()
	{

	}

	template <typename A>
	void foo(A a)
	{
		cout << a << endl;
	}
};

class A : public Base {
public:
};

int main()
{
	A a;
	a.foo(10);
	a.foo('c');
	a.foo("123");
	return 0;
}

а почему нельзя - это и так понятно.
base::foo(T&);
impl::foo(T&);
base->foo(val); // base - указатель на impl
несоответствие