69725

Віртуальні базові класи

Лекция

Информатика, кибернетика и программирование

Як вказано в коментарях, класи derivedl і derived2 є спадкоємцями класу base. Проте клас deribed3 є похідним від обох класів derived2 і derived1. (Таке наслідуванно називається діамантовим). Отже, в об’єкті класу derived3 містяться дві копії об’єкту класу base.

Украинкский

2014-10-09

42 KB

0 чел.

Тема 3: Віртуальні базові класи

При множинному наслідуванні може виникнути неоднозначність. Розглянемо, наприклад, наступну неправильну програму.

//  Ця програма містить  помилку і не  компілюється.

#include <iostream>

using namespace std;

class base   {

public:

int  i;

};

// Клас derivedl є спадкоємцем класу base.

class derivedl : public base {

public:

int j ;

};

// Клас derived2 є спадкоємцем класу base 

class derived2 : public base {

public:

int k;

};

/* Клас derived3 є спадкоємцем класів derivedl і derived2. Отже, в класі

derived3 існують дві копії класу base! */

class derived3 : public derivedl, public derived2 {

public:

int sum;

};

int main() {

derived3 ob;

ob.i = 10; ob.j = 20; ob.k = 30;

// Неоднозначність, яка змінна i мається

// Тут змінна i також визначена неоднозначно.

ob. sum = ob. i + ob. j + ob.k;

// Тут змінна i також визначена неоднозначно

cout << ob.i << " ";

cout « ob.j « " " « ob.k « " ";

cout << ob.sum;

return 0;

}

Як вказано в коментарях, класи derivedl і derived2 є спадкоємцями класу base. Проте клас deribed3 є похідним від обох класів derived2 і derived1. (Таке наслідуванно називається діамантовим). Отже, в об'єкті класу derived3 містяться дві копії об'єкту класу base. Таким чином, вираз

 ob.i  =  20;

у якому відбувається звернення до змінної i, стає неоднозначним, оскільки невідомо, з об'єкту якого класу слід узяти цю змінну: derivedl або derived2. Володіючи двома копіями об'єкту класу base, об'єкт класу ob містить два екземпляри змінної ob.i! Як видимий, цей оператор в принципі неоднозначний.

Цю програму можна виправити двома способами. По-перше, до змінній i можна застосувати оператора дозволу області видимості. Наприклад, наступна програма працює абсолютно правильно

//   У  цій програмі для  явного  вибору  змінної  i

//   застосовується  оператор дозволу  області видимості.

#include  <iostream>

using namespace  std;

class  base   {

public:

int   i ;

};

// Клас derivedl є спадкоємцем класу base

class derivedl : public base {

public:

int j ;

};

// Клас derived2 є спадкоємцем класу base 

class derived2 : public base {

public:

int k;

};

/* Клас derived3 є спадкоємцем класів derivedl і derived2 одночасно.

Отже, в кожному його об'єкті містяться дві копії об'єкту класу base! */

class derived3 : public derivedl, public derived2 {

public:

int sum;

};

int main() {

derived3 ob;

ob.derivedl::i = 10; // Неоднозначність усунена

// використовується змінна i з класу derivedl .

ob.j = 20; ob.k = 30;

// Неоднозначність усунена

ob.sum = ob.derivedl::i + ob.j + ob.k;

// Неоднозначність усунена

cout « ob.derivedl::i « " ";

cout « ob.j « " " « ob.k « " "; cout << ob.sum;

return 0;

}

Як видимий, оператор дозволу області видимості "::" дозволяє явно вибрати варіант похідного класу. Проте це рішення породжує нові проблеми. Що якщо насправді потрібна лише одна копія об'єкту класу base? Чи можна запобігти дублюванню об'єктів класу base в об'єкті класу derivad3? На обидва питання можна відповісти позитивно. Вирішення цих проблем засноване на застосуванні віртуальних базових класів (virtual base classes).

Якщо базовий клас має декілька спадкоємців, його дублюванню можна запобігти. Для цього в оголошенні похідного класу перед ім'ям базового класу слід поставити ключове слово virtual. Наприклад, попередню програму можна виправити таким чином.

class derivedl : virtual public base {

public:

int j ;

};

// Клас derivedl є спадкоємцем віртуального класу base.

class derived2 : virtual public base {

public:

int k;

};

/* Клас derived3 є спадкоємцем класів derivedl і derived2.

Цього разу його об'єкт містить лише одну копію об'єкту базового класу. */

class derived3 : public derivedl, public derived2 {

public:

int sum;

};

Як видимий, перед ім'ям базового класу в специфікації похідного класу стоїть ключове слово virtual. Тепер обидва класи derivedl і derived2 є спадкоємцями віртуального базового класу base, і будь-які їх спадкоємці міститимуть лише одну копію класу base. Отже, об'єкт класу derived3 містить копію об'єкту класу base, і вираз ob.i=10 стає абсолютно правильним і однозначним.

Слід мати на увазі, що, хоча класи derivedl і derived2 оголосили клас base віртуальним, його об'єкти будуть як і раніше частиною об'єктів будь-якого з цих типів. Наприклад, наступний фрагмент є абсолютно правильним.

//   Визначуваний об'єкт  класу derivedl 

derivedl myclass; myclass.i  =   88;

Відмінність між звичайним базовим класом і віртуальним виявляється, тільки коли об'єкт успадковує декілька об'єктів одного і того ж базового класу. Якщо використовується віртуальний базовий клас, то його об'єкт тільки один раз копіюється в кожен об'єкт похідного класу. Інакше виникає неоднозначність.


 

А также другие работы, которые могут Вас заинтересовать

64116. Организация рабочего места по дефектации деталей цилиндра поршневой группы для лаборатории № 304 5.53 MB
  Автотранспортное предприятие ООО «СЕВЕРО-ЗАПАД АВТОТРАНС» расположено по адресу 6й предпортовый проезд д1 Схема расположения АТП представлена в соответствии с рисунком 1. Административное здание; Ремонтная зона грузовых автомобилей; Прицепной участок...
64117. Структура управления и ее влияние на эффективность работы торгового предприятия (на примере ЗАО «Связной Логистика») 1.74 MB
  Роль структуры управления в эффективном управлении организацией Анализ организационной структуры и структуры управления организацией Анализ управления спросом на товары и услуги предприятия...
64118. Технологія зборки та монтажу плати блоку біжучого рядка на світлодіодах 363.5 KB
  Яскрава картинка яка динамічно змінюється привертає увагу і допомагає донести велику кількість інформації використовуючи мінімум простору. принцип управління схемний; кількість входів 23; Кількість виходів 21; входи з клавіатури та блоку живлення...
64119. Оcновные нaпpaвления деятельноcти оpгaнов пpедвapительного pacледовaния в cовpеменный пеpиод 1.92 MB
  Пpо‏во‏димые‏ в Pо‏ccии cуде‏бно‏ пpaво‏вые‏ pе‏фо‏pмы нaпpaвле‏ны нa эффе‏ктивную paбо‏ту пpaво‏о‏xpaните‏льныx о‏pгaно‏в по‏ бо‏pьбе‏ c пpе‏cтупно‏cтью в cо‏че‏тaнии c гумaнным о‏тно‏ше‏ние‏м к че‏ло‏ве‏ку, по‏пaвше‏му в cфе‏pу уго‏ло‏вно‏- пpо‏це‏ccуaльныx о‏тно‏ше‏ний.
64120. Потребительский кредит 257.5 KB
  История возникновения потребительского кредита Принципы и методы потребительских кредитования. Все факты экономического развития России говорят о том что необходимо уделять большое внимание проблеме кредита в том числе и потребительского так как экономическое состояние страны...
64121. ФЛОРА ЛЕСОВ МАЙСКОЙ ГОРЫ ЗАВОЛЖСКОГО РАЙОНА ГОРОДА УЛЬЯНОВСКА И ЕЁ КОМПЛЕКСНЫЙ АНАЛИЗ 456.5 KB
  Богат в лесах видовой состав кустарников: бересклет бородавчатый орешник жимолость лесная крушина. По видовому составу к кустарниковым степям близки луговые степи с преобладанием костреца берегового занимающие чаще всего северные склоны.
64122. Проектирование технологического процесса работы отделения топливной аппаратуры грузовых автомобилей 1.04 MB
  Самое простое отнести форсунки в ближайший дизель-сервис и оставить там некоторое количество денег. Для начала надо разобраться в устройстве дизельной форсунки и в том что там происходит и что на что может влиять. Сечение форсунки представлено на рис.
64124. Автоматизация процессов сбора, передачи, обработки и накопления информации в системе управления персоналом предприятия 4.33 MB
  Цель исследования: обосновать пути автоматизации процессов сбора, передачи, обработки и накопления информации в системе управления персоналом предприятия (на примере ООО «Ковровый двор»).