Виртуальный деструктор C++ & vtable

Question

У меня есть некоторые конкретные вопросы о виртуальных деструкторах и vtable.

Предположим, у меня есть следующий код:

class Base 
{ 
public: 

    virtual ~Base(); 

}; 

class Child : public Base 
{ 
public: 

    ~Child(); 
}; 

Вопросы:

1. Где сохраненную виртуальные таблицы? Всегда ли это в базовом классе, и все подклассы просто содержат указатель на него?
2. Добавление виртуального метода только увеличивает размер (класс) на 8 байтов вправо? (предположим, 64-битная система) Как насчет базового класса, если он хранит таблицу?
3. Создание экземпляра типа Child через новый оператор, а затем удаление ... будет вызван деструктор базы? (Я спрашиваю, потому что деструктор класса Child не является виртуальным ... означает ли это, что это влияет только на подкласс Child?).

Answer 1

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

1. Каждый класс с виртуальными методами (объявлен или унаследован) имеет свою собственную виртуальную таблицу. Если подкласс переопределяет функцию виртуального члена в базе, указатель на функцию переопределения помещается в таблицу vtable класса; в противном случае указатель на реализацию базового класса сохраняется на месте.

2. Добавление первой виртуальной функции увеличивает размер класса экземпляр на размер указателя vtable. Виртуальные функции после первого не добавляют к размеру экземпляра.

3. С ~Base является виртуальным, ~Child также является виртуальным, хотя ключевое слово virtual опущено. В случае переопределения ключевое слово virtual является необязательным.

Answer 2

Создание экземпляра типа ребенка с помощью нового оператора, то удалить ... будет База деструктор называться?

Не в исходном коде вопрос, потому что вы не имеете Child унаследовав от Base.

Предполагая, что это ошибка, и мы исправим его, тогда будет вызываться ~Base, когда вы уничтожаете Child, даже если он не является виртуальным, только потому, что под-объект базового класса уничтожается как часть нормальной последовательности уничтожения ,

Причина для виртуальных деструкторов поэтому вы можете удалить ChildчерезBase * и до сих пор ~Child вызывается правильно.

Например, с:

struct Base { ~Base(); }; 
struct Child: Base { ~Child(); }; 

struct VBase { virtual ~VBase(); }; 
struct VChild: VBase { ~VChild(); }; 

это работает для обеих иерархий:

template <typename Derived> 
void test_static() { 
    Derived d; 
} 
test_static<Child>(); // ~Child then ~Base invoked when d is destroyed 
test_static<VChild>(); // ~VChild then ~VBase invoked when d is destroyed 

, но это работает только с виртуальным деструктора:

template <typename Derived, typename Base> 
void test_dynamic() { 
    std::unique_ptr<Base> p(new Derived); 
} 
test_dynamic<Child, Base>; // only ~Base invoked when p destroyed 
test_dynamic<VChild,VBase>; // ~VChild then ~VBase invoked as before. 

---

Что касается vtable вопросов, это деталь реализации, существует ли она, и если да, то где она есть, и вам не нужно беспокоиться об этом.