Как вызвать переопределенную функцию у дочернего объекта, находяшегося в родительском массиве?

Question

[Sinus_314]

Есть класс Moved:

class Moved{
	public:
		virtual int getType();
		virtual int getBS() ;
};

Есть два дочерних класса:

class Car : public Moved{
	public:
		int getBS() override;
		int getType() override;
};
class Walker : public Moved{
	public:
		int getBS() override;
		int getType() override;
};

Они инициализированы:

int Moved::getBS() {
	return -1;
}
int Moved::getType() {
	return -1;
}

int Car::getBS() {
	return 3;
}

int Walker::getBS() {
	return 1;
}
int Car::getType() {
	return 0;
}
int Walker::getType() {
	return 1;
}

Но при использовании вызывается родительская функция:

void Printer::addM(Moved obj) {
	Moved* tmp = new Moved[mSize];
	for (int i = 0; i < mSize; i++) tmp[i] = objs[i];
	objs = new Moved[++mSize];
	for (int i = 0; i < mSize - 1; i++)
		objs[i] = tmp[i];
	
	objs[mSize - 1] = obj;
	Car mytmp; // для теста
	cout << mytmp.getType() << endl; // для теста
	cout << objs[mSize-1].getType() << endl; 
	Sleep(100);
}

Car M;
	Car M1;
	Car M2;
	Car M3;
	Car M4;
	Walker W;
	Walker W1;
	Walker W2;
	P.addM(M);
	P.addM(M1);
	P.addM(M2);
	P.addM(W);
	P.addM(W1);
	P.addM(W2);

Вижу два варианта: либо я дурак, либо я дурак - выбрать не могу, помогите.

Comments

[Армянское Радио]

Судя по всему, у вас очень криво работает p.Add(); Покажите ее.

[Sinus_314]

Армянское Радио, P - это экземпляр printer, функция addM есть в вопросе

[Евгений Шатунов]

Армянское Радио, да нет, работает у него все так, как он написал - передача по значению, преобразование типа на обращении к addM. new Moved[++mSize] делает однозначную вещь - массив инстанций. В этом коде нет работы с полиморфизмом.

[Евгений Шатунов]

Sinus_314, как и когда работает полиморфизм? Что такое виртуальная функция? Как именно происходит обращение к виртуальной функции?

[Армянское Радио]

Евгений Шатунов, Да, у меня просто глаза сломались об египетские скобки.

[Sinus_314]

Евгений Шатунов,
примерно так

if (objs[i].getType() == 0)
			printCar(objs[i].position[0], objs[i].position[1]);
		else printWalker(objs[i].position[0], objs[i].position[1]);

[Sinus_314]

Евгений Шатунов, что такое виртуальная функция - Вам определение требуется? Я не понял Вашего вопроса

[Армянское Радио]

Sinus_314, вам задают наводящие вопросы, а заодно пытаются понять, до какого уровня нужно упростить изложение, чтобы объяснить вам, в чем дело.

[Евгений Шатунов]

Sinus_314, определения я сам неплохо знаю. Меня интересует твое понимание виртуальности. Даже если у тебя нет этого понимания, этого уже будет достаточно. Даже если ты не понимаешь механизмы работы полиморфизма, твоих слов уже будет достаточно. Дело в том, что по коду видно что у тебя нет понимания многих механизмов языка.
Вот, подкрепи знания по основам виртуальности и полиморфизма.
Тут можно почитать про указатели, ссылки и значения.

[Sinus_314]

Евгений Шатунов, хорошо.

Answer 1

[Армянское Радио]

Переформатировал код под себя. Не могу воспринимать египетские скобки.

void Printer::addM(Moved obj) 
{
  Moved* tmp = new Moved[mSize];
  for (int i = 0; i < mSize; i++) 
  {
      tmp[i] = objs[i];
  }
  objs = new Moved[++mSize];
  for (int i = 0; i < mSize - 1; i++)
  {
    objs[i] = tmp[i];
  }
  objs[mSize - 1] = obj; 
  Car mytmp; // для теста
  cout << mytmp.getType() << endl; // для теста
  cout << objs[mSize-1].getType() << endl; 
  Sleep(100);
}

У вас две проблемы. Во-первых вы зачем-то переизобрели std::vector, поэтому вам приходится писать примерно в 5 раз больше кода чем надо.

Во-вторых, вам надо хранить не объекты Moved, а указатели на них, и тогда ваша гомологическая иерархия классов заработает.

Как я и говорил выше, addM работает не так, как вы ожидаете. Когда вы ее вызываете, у вас происходит создание Moved на основе Car или Walker, что исключает полиморфизм.