C2664 при бросании дочернего класса в шаблонный родительский класс

Question

У меня есть родительский класс, который является шаблоном, и дочерний класс, который его реализует.

template< typename T1, typename T2>
class ParentClass{ . . . };

class ChildClass : public ParentClass<MyT1, MyT2> { . . . };

И я хочу, чтобы иметь указатель, который я могу использовать полиморфно:

ParentClass<T1, T2>* ptr;
ptr = static_cast<ParentClass<MyT1, MyT2>* >(new ChildClass());

Независимо от того, как я бросил его, я всегда получаю C2664, который имеет то же выражение:

ошибка C2664: невозможно преобразовать параметр 1 от «ParentClass < T1, T2> *» до «ParentClass < T1, T2> *»

Разве нельзя бросать типов указателей между унаследованными типами, если родитель шаблонный, даже если типы, указанные в шаблонах тоже самое?

Answer 1

Нет необходимости в статическом литье. Рассмотрим этот код, который работает, как ожидалось:

template <typename T> 
struct base 
{ virtual ~base(){} }; 

struct child : base<int> 
{}; 

int main(void) 
{ 
    base<int>* b = new child; 
    // could be = static_cast<base<int>*>(new child);, but useless 

    delete b; 
} 

Вы уверены, что параметры базового шаблона одинаковы?

Answer 2

C2664 жалуется на назначение, а не на литье (вы получите ошибку C2440, «static_cast»: невозможно преобразовать из ... », если приведение было недействительным).

Проблема состоит в том, что следующий не то же самое:

ParentClass<T1, T2>* 
ParentClass<MyT1, MyT2>* 

шаблона конкретизации с различными параметрами разные, несвязанные типы.

Это должно работать нормально:

ParentClass<MyT1, MyT2>* ptr; 
ptr = static_cast<ParentClass<MyT1, MyT2>* >(new ChildClass()); 

Хотя это совершенно не нужно, чтобы бросить в этом случае, так как указатель на полученный в указатель на базу преобразований неявно, так что следующее все, что вам нужно :

ptr = new ChildClass();