В каком порядке вызываются деструкторы и уничтожаются переменные-члены в C ++ с использованием наследования?

конструктор: сначала базовый, затем производный

разрушение:

• ~ производный
• ~ член производный
• ~ база
• ~ база участников

код:

class member {
    string s;

public:
    member(string s) {
        this-> s = s;
    }

    ~member() {
        cout << "~member " << s << endl;
    }
};

class base {
    member m;
public:
    base() : m("base"){
    }

    ~base() {
        cout << "~base" << endl;
    }
};

class derived : base{
     member m2;
public:

    derived() :m2("derived") {    }

    ~derived() {
        cout << "~derived" << endl;
    }
};

int main(int argc, const char * argv[]) {
    derived s;

    return 0;
}

Ссылки и виртуальный деструктор

Если вы планируете динамически размещать (т.е. когда вы используете ключевые слова new & delete) производный объект, то всегда используйте virtual или protected деструктор на вашей базе. В противном случае динамическое удаление объекта из ссылки на базовый класс привело бы к утечкам памяти в примере ниже:

class base {
    member m;
public:
    base() : m("base"){
    }

    /* correct behaviour is when you add **virtual** in front of the signature */
    ~base() {
        cout << "~base" << endl;
    }
};

class derived : public base{
     member m2;
    char* longArray;
public:

    derived() :m2("derived") {
        longArray = new char[1000];
    }


    ~derived() {
        delete[] longArray; // never called
        cout << "~derived" << endl;
    }
};

int main(int argc, const char * argv[]) {
    base *s = new derived; // mind the downcast to **base**

    delete s; /* only the non-virtual destructor on the base and its members is called. 
               No destructor on derived or its members is called.
               What happens to the memory allocated by derived?
               **longArray** is leaked forever. 
               Even without **longArray**, it most probably **leaks** memory, as C++ doesn't define its behaviour 
               */
    return 0;
}

Вывод:

• ~ база
• ~ база участников

Очищаются только базовые данные и longArray утечки.

Вот что говорит стандарт ... (C ++ 11, 12.4 / 8)

После выполнения тела деструктора и уничтожения любых автоматических объектов, размещенных в теле, деструктор для класса X вызывает деструкторы для прямых неизменяемых нестатических элементов данных X, деструкторы для прямых базовых классов X и, если X - это типа наиболее производного класса (12.6.2), его деструктор вызывает деструкторы для виртуальных базовых классов X. Все деструкторы вызываются так, как если бы на них ссылались с квалифицированным именем, то есть игнорируя любые возможные виртуальные переопределяющие деструкторы в более производных классах. Базы и члены уничтожаются в порядке, обратном завершению их конструктора (см. 12.6.2). Оператор return (6.6.3) в деструкторе может не возвращаться напрямую вызывающей стороне; перед передачей управления вызывающей стороне вызываются деструкторы для членов и баз. Деструкторы для элементов массива вызываются в порядке, обратном их построению (см. 12.6).

Обратите внимание, что этот порядок действительно является обратным порядку, указанному в 12.6.2 / 10 в C ++ 11. Вы не можете определить порядок уничтожения виртуальных баз, глядя только на 12.4 / 8, но вы можете вывести его из 12.6.2 / 10, который указывает, что инициализация виртуальных баз происходит при поиске в глубину слева направо. -правильный порядок. (Таким образом, уничтожение виртуальных баз происходит в обратном порядке.)

В любом случае, у вас есть ответ. Сначала уничтожаются нестатические члены, а затем базовые классы. Но члены базового класса будут уничтожены до запуска деструктора next базового класса. Это действительно похоже на поиск в глубину.