Когда создается VTable в C++?

Question

Я хотел бы знать, когда создается vtable? Независимо от того, находится ли он в стартовом коде перед main() или в какой-то другой момент времени?

Answer 1

A vtable не является концепцией C++, поэтому, если они используются и когда они созданы, если они используются, это будет зависеть от реализации.

Как правило, vtables - это структуры, созданные во время компиляции (поскольку они могут быть определены во время компиляции). Когда объекты определенного типа создаются во время выполнения, они будут иметь vptr, который будет инициализирован для указания на статическом vtable во время строительства.

Answer 2

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

Имейте в виду, что вы не можете надежно использовать, если виртуальные функции пока объект полностью не сконструирован. (Нет вызывающих виртуальных функций в конструкторе.)

EDIT Я думал, что рассмотрю вопросы в комментариях.

Как уже указывалось, точные детали того, как создается и используется виртуальная таблица, остаются в стороне от реализации. Спецификация C++ предоставляет только определенные типы поведения, которые должны быть гарантированы, поэтому для реализации существует множество возможностей для маневра. Он не должен использовать vtables вообще (хотя большинство из них). Как правило, вам не нужно знать эти детали. Вам просто нужно знать, что когда вы вызываете виртуальную функцию, она делает то, что вы ожидаете, независимо от , как это делает.

При этом я уточню пару моментов о типичной реализации. Класс с виртуальными функциями имеет скрытый указатель (мы будем называть vptr), который указывает на таблицу vtable для этого класса. Предположим, у нас есть класс сотрудника:

class Employee { 
public: 
    virtual work(); 
}; 

Этот класс будет иметь vptr в его структуру, так что на самом деле может выглядеть следующим образом:

class Employee { 
public: 
    vtble *vptr; // hidden pointer 
    virtual work(); 
}; 

Когда мы выводим из этого класса, он также будет иметь a vptr, и он должен находиться в одном и том же месте (в данном случае в начале). Таким образом, когда вызывается функция, независимо от типа производного класса, она всегда использует vptr в начале, чтобы найти правую таблицу vtable.