Добрый вечер, имеется пара вопросов по полиморфизму.
1 вопрос:
#include <iostream>
#include <string>
using namespace std;
class Human{
protected:
string name;
int age;
char sex;
public:
/* v Ваш код v */
Human(string name, int age, char sex) {
this-> name = name;
this-> age = age;
this-> sex = sex;
cout << "контструктор Human" << endl;
}
virtual void Show() {
cout << name << endl << age << endl << sex << endl;
}
virtual ~Human() {
cout << "виртуальный деструктор Human" << endl;
}
};
class Coder: public Human{
protected:
float IQ;
public:
/* v Ваш код v */
Coder(string name, int age, char sex, float IQ):Human(name, age, sex) {
this-> IQ = IQ;
cout << "конструктор Coder" << endl;
}
void Show() {
cout << IQ << endl;
}
~Coder() {
cout << "виртуальный деструктор Coder" << endl;
}
};
int main(){
setlocale(LC_ALL, "RUS");
Human *human = new Human("Tom", 21, 'M');
Human *coder = new Coder("Alice", 19, 'F', 150.6f);
human->Show();
coder->Show();
delete human;
delete coder;
return 0;
}
/*
Консоль:
конструктор Human
конструктор Human
конструктор Coder
Tom
21
M
150.6
виртуальный деструктор Human
виртуальный деструктор Coder
виртуальный деструктор Human
*/
Как известно, уничтожение объекта базового класса влечет за собой уничтожение объекта производного класса, поэтому виртуальный деструктор производного объекта должен выполняться перед деструктором базового объекта.
Поэтому в данном случае объекты должны удаляться в таком порядке:
delete coder;
delete human;
Или же порядок удаления не имеет значения, поскольку это 2 разных объекта?
т.е. при создании объекта наследника - сначала вызывается конструктор базы потом наследника, а при создании объекта базы - вызывается конструктор базы и порядок удаления объектов не имеет значения как и порядок их создания.
И фраза "уничтожение объекта базового класса влечет за собой уничтожение объекта производного класса" касается только когда речь заходит о полиморфизме?
т.е. в случае с delete coder
эта фраза имеет смысл, тк объект наследника удаляется через указатель на базовый класс, поэтому используется виртуальный деструктор
а в случае с delete human
- объект базового класса удаляется из динамической памяти, поэтому используется не виртуальный деструктор, а обычный деструктор, который в данном случае определен в теле класса как виртуальный
Путаница возникла из-за того, что если создать эти объекты в автоматической памяти, то деструкторы вызываются в логичном порядке (по принципу последним пришёл — первым ушёл):
Human h("Tom", 21, 'M');
Human *human = &h;
Coder c("Alice", 19, 'F', 150.6f);
Human *coder = &c;
human->Show();
coder->Show();
/*
Консоль:
конструктор Human
конструктор Human
конструктор Coder
Tom
21
M
150.6
виртуальный деструктор Coder
виртуальный деструктор Human
виртуальный деструктор Human
*/
2 вопрос:
Для реализации полиморфизма можно:
создать объект наследника в динамической памяти:
Human *p = new Coder;
создать объект наследника в автоматической памяти:
Coder obj;
Human *p = &obj;
Тут у меня возникло противоречие, полиморфизм достигается только с помощью позднего связывания, а значит объект необходимо создавать именно в динамической памяти с помощью оператора new
, ибо именно во время выполнения программы компилятор анализирует тип объекта, на который указывает указатель, чтобы определить какую реализацию виртуального метода следует вызвать, во время запуска программы этого еще неизвестно.
В связи с чем вопрос - почему создание объекта в автоматической памяти считается корректным для реализации полиморфизма?