Прохождение полиморфных векторов

Question

У меня есть полиморфная проблема.

void func(std::vector< BaseClass* > A){} 

std::vector< SubClass* > B; 

func(B); //Compile error C2664 

Я получаю сообщение об ошибке, как так:

error C2664 'func' : cannot convert parameter from 'std::vector<_Ty>' to 'std::vector<_Ty>' with 
[ 
    _Ty=B * 
] 
and 
[ 
    _Ty=A * 
] 

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

void func(std::vector< BaseClass* > *A){} 

std::vector< SubClass* > B; 
func(&B); //same error 

Answer 1

Полиморфного вектора нет. std::vector и каждый другой тип контейнера в C++, включая . Макеты типов C всегда содержат ровно один тип. И факт состоит в том, что два разных контейнера имеют типы, которые связаны с , и не делают типы контейнеров связанными каким-либо образом.

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

func(std::vector< BaseClass* >(B.begin(), B.end())); 

Обратите внимание, что пытается использовать std::vector<DerivedClass*> как std::vector<BaseClass*>, скажем, используя reinterpret_cast, является неопределенное поведение, и может не работать. Нет никакой гарантии, что фактический физический адрес подобъекта BaseClass в a DerivedClass объект имеет тот же самый физический адрес, что и .

Answer 2

Шаблоны к спасению:

template<typename T> 
void func(std::vector<T> A) 
{ 
    ... 
} 

Answer 3

Тот факт, что thisесть-that вовсе не означает, что коллекция из this является коллекция из that.

Рассмотрим, что может произойти, если то, что вы хотели было разрешено:

void func(std::vector<BaseClass*>& A) 
{ 
    A.push_back(new BaseClass); 
} 

std::vector<SubClass*> B; 

func(B); 

Oops! B теперь содержит что-то, что не является указателем на SubClass, а программа, которая разыменовывает, не определена.

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