Студопедия

Главная страница Случайная страница

Разделы сайта

АвтомобилиАстрономияБиологияГеографияДом и садДругие языкиДругоеИнформатикаИсторияКультураЛитератураЛогикаМатематикаМедицинаМеталлургияМеханикаОбразованиеОхрана трудаПедагогикаПолитикаПравоПсихологияРелигияРиторикаСоциологияСпортСтроительствоТехнологияТуризмФизикаФилософияФинансыХимияЧерчениеЭкологияЭкономикаЭлектроника






Виртуальные базовые классы с виртуальными функциями






При наличии виртуальных базовых классов построение таблиц для вызовов виртуальных функций становится более сложным. Рассмотрим следующие объявления:

class W { public: virtual void f(); virtual void g(); virtual void h(); virtual void k(); }; class MW: public virtual W { public: void g(); }; class BW: public virtual W { public: void f(); }; class BMW: public BW, public MW, public virtual W { public: void h(); };

Отношение наследования для этого примера может быть изображено в виде ациклического графа таким образом:


Рис. 9.22.

Функции-члены класса BMW могут использоваться, например, так:

void g(BMW¤pbmw){pbmw! f(); == вызывает BW:: f()pbmw! g(); == вызывает MW:: g()pbmw! h(); == вызывает BMW:: h()}

Рассмотрим теперь следующий вызов виртуальной функции f():

void h(BMW*pbmw) {MW*pmw = pbmw; pmw! f(); == вызывает BW:: f(); потому, что // pbmw указывает на BMW, для которого f бер" тся изBW! }

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

Структура объектов класса BMW и его таблиц виртуальных функций vtbl могут выглядеть следующим образом:


Рис. 9.23.

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

void callvirt(w*pw){ pw! f(); }main (){ callvirt(new BMW); }

В функции main вызов callvirt с указателем на BMW требует приведения к указателю на W, поскольку функция callvirtожидает параметр типа W*. Так как функция callvirt вызывает f() (через указатель на BMW, преобразованный к указателю наW), будет использована таблица vtbl класса W (в BMW), где указано, что экземпляром виртуальной функции f(), которую нужно вызвать, является BW:: f(). Чтобы передать функции BW:: f() указатель this на BW, указатель pw должен быть вновь приведен к указателю на BMW (вычитанием смещения для W), а затем к указателю на BW (добавлением смещения BW в объекте BMW). Значение смещения BW в объекте BMW минус смещение W в объекте BMW и есть смещение, хранимое в строке таблицы vtbl для w в BMW для функции BW:: f().






© 2023 :: MyLektsii.ru :: Мои Лекции
Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав.
Копирование текстов разрешено только с указанием индексируемой ссылки на источник.