Какова последовательность действий, выполняемых конструктором ?

@Omnio · Регистрация: 19.07.2009

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

C++

class A
{
    char m_c;
    int m_n;
 
public:
    A(char c, int n) : m_c(c), m_n(n)
    {}
    
    virtual void f()
    {
        int fa = 0;
    }
};
 
class B : public A
{
public:
    B() {}
    
    virtual void f()
    {
        int fb = 0;
    }
};
 
class C : virtual public A
{
public:
    C() {}
 
    virtual void f()
    {
        int fc = 0;
    }
};
 
void main()
{
    A* a = new B();
    delete a;
}

Конструктор:

(1) ищем блок памяти куда проинициализировать объект, на случай если он пустой. (поэтому пустой класс размера не ноль)
(2) считает размер всех полей
(3) смотрит, есть ли виртуальные функции, если есть, то инициализирует указатель на таблицу виртуальных функций
(3.5) - (???) где-то тут вызовутся конструкторы предков
(4) смотрит, есть ли виртуальные предки, под них выделяет и инициализирует указатели.
(4.5) - (???) где-то тут вызовутся конструкторы предков
(5) и в самом конце то, что он посчитал на этапе (2) под это наконец выделяется память на стеке / или в куче (Плюс прежде чем выделить память под объект - выполнил выравнивание (дефолтное или нами заданное через
#pragma pack(push,1) struct Foo { }; #pragma pack(pop)
(6) вышли из конструктора. ОБЪЕКТ СОЗДАН.

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

@nmcf · 05.12.2017, 17:34

Половина из того, что ты написал, лежит ниже уровня C++.
Память выделяется сразу без подсчётов. Компилятор знает, сколько какому объекту нужно.

@nmcf 7803 / 6567 / 2988 Регистрация: 14.04.2014 Сообщений: 28,705
	05.12.2017, 17:34	2
	Половина из того, что ты написал, лежит ниже уровня C++. Память выделяется сразу без подсчётов. Компилятор знает, сколько какому объекту нужно. 0