Указатель на объект базового класса и адрес объекта производного класса

@Abdullah · Регистрация: 16.11.2014

Студворк — интернет-сервис помощи студентам

Пример кода:

C++

class Class1
{
public:
    Class1(int x) {
        j = new int;
        *j = x;
    }
    ~Class1() {delete j;}
    int* j;
};
 
class derClass1 : public Class1
{
public:
    derClass1(int y) : Class1(4) {
        k = new int;
        *k = y;
    }
    ~derClass1() {delete k;}
    int* k;
};
 
void main()
{
    Class1* a = new Class1(2);
    Class1* b = new derClass1(7);
    delete a;
    delete b;
}

1. Оператор new возвращает адрес на инициализированный объект класса derClass1. Этот адрес мы присваиваем указателю на объект другого, базового, класса (строка 26). Тут происходит какое-то приведение типов указателей, которое мне не понятно. Может ли кто-нибудь прояснить суть процесса?
Что интересно, если описать производный класс в таком виде:
class derClass1 : private Class1,
то приведение типов не срабатывает и присвоение невозможно.

2. Применяется ли такое приведение типов указателей на практике? Где это может понадобиться?

3. Правильно ли я понял, что при выполнении delete b область памяти, выделенная под k, останется неосвобожденной? Ведь указатель b после приведения указывает на объект базового класса, у которого нет полей и методов производного класса, хотя при операции new derClass1 память выделялась также и под k.

@mss307 · 16.11.2014, 23:46

1. Указатель на тип базового класса при открытом наследовании может хранить адрес объекта производного класса.
2. Да. Например, это подходит для хранения указателей или ссылок в контейнере.
3. Совершенно верно, деструктор производного класса не будет вызван. Проблема кроется в деструкторе базового класса. Его необходимо сделать виртуальным, тогда будет выполнено динамическое связывание,и деструктор будет вызван не в соответствии с типом указателя,а в соответствии с типом объекта, адрес которого хранит указатель.

@mss307 118 / 118 / 41 Регистрация: 14.12.2013 Сообщений: 352
	16.11.2014, 23:46	2
	1. Указатель на тип базового класса при открытом наследовании может хранить адрес объекта производного класса. 2. Да. Например, это подходит для хранения указателей или ссылок в контейнере. 3. Совершенно верно, деструктор производного класса не будет вызван. Проблема кроется в деструкторе базового класса. Его необходимо сделать виртуальным, тогда будет выполнено динамическое связывание,и деструктор будет вызван не в соответствии с типом указателя,а в соответствии с типом объекта, адрес которого хранит указатель. 1

Опции темы