Как я понимаю для каждого класса, в котором есть хотя бы одна виртуальная функция, создается своя таблица виртуальных функций, т.е. для базового класса - одна таблица, а для производного - другая, содержимое которой может быть изменено, если какая-либо виртуальная функция переопределяется, или дополнено - если определяются новые виртуальные функции.
Любой объект, класс которого имеет виртуальные методы, неявно содержит указатель на таблицу виртуальных функций класса этого объекта. При создании объекта сначала вызывается конструктор его базового класса, в котором этот указатель инициализируется адресом таблицы базового класса, а затем, при вывозе конструктора производного класса, перезаписывается адресом таблицы производного класса.
В какой момент создается таблица виртуальных функций: в начале работы программы или при первом создании объекта, использующего эту таблицу? Зависит ли это от компилятора или прописано в стандарте?