Информатика в техническом университете / Информатика в техническом университете. Объектно ориентированное программирование

3. Средства ООП в Borland C++ 3.1

class В: public А { intb; public:

voidprint(void) ) II второй аспект статической полиморфной функции

{cout«b«endl;}

B(int va, int vb):A (va), b(vb) {}

};

class C: public В { int с;

public:

voidprint(void) //третий аспект статической полиморфной функции

{cout«c«endl;}

С(int va, int vb, int vc):B(va,vb), c(vc) {}

}; voidmainO {clrscrQ;

getchO;

II неявный вызов полиморфной функции printO aa.showQ; II вьюодит: 20

bb.showQ; //выводит: 10 cc.showQ; II выводит: 50 getchO;

}

Нетрудно заметить, что результаты явного и неявного вызова метода print() различаются. Это объясняется тем, что метод show(), наследуемый в производных классах, вызывает метод print(). При раннем связывании show()

жестко соединяется с этим методом на этапе компиляции. Поэтому, независимо от того, объект какого класса вызьюает метод show(), из него будет вызван метод printO базового класса, для которого внутренние поля производных классов не доступны. Именно это является отличительной чертой раннего связывания.

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

Виртуальными называются функции, которые объявляются с использованием ключевого слова virtual в базовом классе и переопределяются

130

3.4. Полиморфизм

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

Пр имечание. Виртуальную функцию в С-н- принято назьюать «полиморфной», что не совсем соответствует общепринятой терминологии, согласно которой она является «динамической полиморфной».

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

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

Пример 3.20. Использование виртуальных функций.

Mnclude <iostream.h> ^include <conio.h> class A

{ int a; public:

voidshowQ {соШ«"Содерэюимое полей o6beKma*'«endl;printQ;} virtual voidprint(void) II описание виртуальности функции

{ cout«a«endl;}

A(intv):a(v){}}; class B: public A { intb;

public:

voidprint(void) II первый аспект виртуальной функции

{cout«b«endl;}

В(int va, int vb):A (va), b(vb) {}

};

class C: public В { int с;

public:

voidprint(void) II второй аспект виртуальной функции

{cout«c«endl;}

131

3. Средства ООП в Borland C++ 3.1

C(int va, int vb, int vc):B(va,vb), c(vc) {}

}; voidmainQ

{ clrscrQ;

A aa(JO), *pa; II указатель на объект базового класса

Таким образом, каждый раз вызывается нужная версия (аспект) виртуальной функции.

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

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

Вызов виртуальной функции обычно реализуется как косвенный вызов по ТВМ (раздел 1.6). Эта таблица создается во время компиляции, а затем используется во время вьшолнения программы. Именно поэтому для вызова такой функции требуется больше времени.

132

3.4. Полиморфизм

Класс, который содержит хотя бы одну виртуальную функцию, называется

полиморфным.

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

Абстрактной виртуальной называется функция, объявленная в базовом классе как виртуальная, но не имеющая описания. Для описания абстрактной функции используется следующая форма:

virtual <типХимя_функции>(<список параметров>)=0

Здесь «=0» - признак абстрактной виртуальной функции. При этом производный класс должен определить свою собственную версию функции, так как просто использовать версию, определенную в базовом классе, нельзя.

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

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

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

Пример 3.21. Использование абстрактного класса при работе с полиморфными объектами. Пусть необходимо реализовать иерархию классов, представленную на рис. 3.4.

Рис. 3.4. Иерархия классов примера 3.21

133

3. Средства ООП в Borland C++ 3.1

#incliide <string.h> ^include <stdio.h> #incliide <stdlib.h> Mnclude <iostream.h>

class Tpole II абстрактный класс

{public:

virtual voidPrint(void)=0; II абстрактная виртуальная функция

TpoleOO -TpoleOO

}:

class Tnumpole:public Tpole {private: int "^pnum;

public:

Tnumpole(int n) {pnum=new int; *pnum=n;} --Tnumpole(void) {delete pnum;}

void Print(void) //аспект виртуальной функции

else

{printf("\neeedume строку < 80 байт: "); scanf("%s",st); afij=new Tstrpole(st);} II Указатель на объект класса Tstrpole

;

puts("\n РЕЗУЛЬТАТ");

for(i=0;i<10;i++) {a[i]->Print(); delete a[i];}

}

134

3.5, Друэюественные функции и классы

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

3.5. Дружественные функции и классы

Как было отмечено ранее (раздел 3.1), механизм управления доступом позволяет выделить внутренние (private), защищенные (protected) и общедоступные (public) компоненты классов. Причем внутренние компоненты локализованы в классе и не доступны извне, а защищенные доступны только компонентным функциям класса и его наследникам. Такое ограничение на доступ к внутренним и защищенным компонентам класса может оказаться неоправданно строгим. Оно может существенно сужать возможности наследования других классов от данного и сокращать количество вариантов его использования.

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

По определению, дружественной функцией класса называется функция, которая, не являясь компонентом некоторого класса, имеет доступ ко всем его компонентам. Функция не может стать другом класса «без его согласия». Для получения прав друга функция должна быть описана в теле класса со спецификатором friend. Именно при наличии такого описания класс предоставляет функции права доступа к защищенным и внутренним компонентам.

Пример 3.22. Внешняя дружественная функция.

include <iostream.h> Mnclude <conio.h> class FIXED

{private: int a;

public: FIXED(int v):a(v){} friend void show(FIXED);

};

void show(FIXED Par)

{cout«Par.a«endl; II функция имеет доступ к внутреннему полю а

Раг.а+^10; cout«Par.a«endl; }

135

3, Средства ООП в Borland C+-i- 3.1

voidmainQ { clrscrQ;

FIXED aa(25);

cout « "результаты работы: "«endl; show(aa); //выводит: 25 35

}

Друзьями класса могут являться и компонентные функции другого класса. Однако следует заметить, что такую привилегию методу другого класса может предоставить лишь автор данного класса, а не автор метода.

Пример 3.23. Дружественная функция - компонент другого класса.

friend double FIXED::Add(FLOAT); /* компонентная функция класса FIXED объявляется дружественной классу FLOAT */

};

double FIXED::Add(FLOATPar)

{return a+Par.b;} /* функция получает доступ к внутреннему полю класса FLOAT */

voidmainQ { clrscrQ;

FIXED aa(25); FLOAT bb(45);

cout« "результаты работы: "«endl;

136

3.5. Дружественные функции и классы

Следует отметить некоторые особенности дружественных функций. Дружественная функция при вызове не получает указатель this. Объекты класса должны передаваться дружественной функции явно (через параметры).

Так как дружественная функция не является компонентом класса, на нее не распространяется действие спецификаторов доступа (public, protected, pri­ vate). Место размещения прототипа дружественной функции внутри определения класса безразлично. Права доступа дружественной функции не изменяются и не зависят от спецификаторов доступа.

Использование механизма дружественных функций позволяет упростить интерфейс между классами. Например, дружественная функция может получить доступ к внутренним и защищенным компонентам сразу нескольких классов. Тогда из этих классов можно убрать компонентные функции, предназначенные только для обеспечения доступа к «скрытым» компонентам.

Поскольку ограничение доступа к дружественной функции не относится, работать она будет достаточно быстро, и написать ее не труднее, чем функцию доступа к обычной структуре C++.

Если необходимо, чтобы все функции некоторого класса имели доступ к внутренним полям другого класса, то весь класс может быть объявлен дружественным:

friend class <имя класса >.

Пример 3.24. Объявление дружественного класса.

^include <iostream.h> ^include <conio,h>

class SHOW; II объявление класса без его определения class PAIR

{private: char *Head, *Tail; public:

PAIR(char "^one, char *two):Head(one), Tail(two) {} friend class SHOW; II объявление дружественного класса

};

class SHOW /*всем функциям класса SHOW доступны внутренние поля класса PAIR*/

{private: PAIR Twins; public:

SHOW(char *one,char *two):Twins(one,two){}

}; voidmainQ

fclrscrQ;

SHOWaaC'HELLO", "FRIEND");

137

3. Средства ООП в Borland C++ 3.]

cout « '^результаты работы: "«endl; aa.HeadQ; //вьгоодит: HELLO aa.TailQ; //выводит: FRffiND getchO;}

3.6.Переопределение операций

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

Переопределение операции реализовано как особый вид функции со специальным именем operator® (где @ - знак переопределяемой операции). Такие функции обычно называются функциями-операторами. Функцияоператор - может бьпъ определена как внутри описания класса, так и вне его. Поэтому различают:

простую (определенную вне класса) функцию-оператор, которая бывает: одноместной (с одним аргументом) и двуместной (с двумя аргументами);

компонентную (определеьшую в классе) функцию-оператор, у которой первый аргумент всегда объект класса, задаваемый неявно и которая также бывает одноместной (не имеет явных аргументов) и двуместной (имеет один аргумент - второй операнд).

Общая форма определения функции-оператора приведена в табл. 3.2. Т а б л и ц а 3.2. Формы описания функции-оператора

В приведенных вьппе описаниях символ @ - любая допустимая операция, <тип результата> - тип возвращаемого значения (чаще всего того же типа, что и класс, хотя возможен и другой тип этого значения).

При переопределении операций следует помнить, что

-нельзя переопределять операции *,sizeof,?:,#,##,::,class::;

-операции =,[],() можно переопределять только в составе класса;

-переопределенная операция = не наследуется в производных классах;

-нельзя изменять приоритет и ассоциативность операции (порядок вьшолнения операций одного приоритета).

138

3.6. Переопределение операций

Функция-оператор допускает две формы вызова, которые представлены в табл. 3.3.

Т а б л и ц а 3.3. Формы вызова функции-оператора

При описании функции-оператора вне класса ей доступны только общие компоненты класса. Если необходимо, чтобы функция-оператор имела возможность обращаться к любым компонентам класса, то ее следует описать со спецификатором^/г«(^, определив ее дружественной этому классу.

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

Пример 3.25. Описания функции-оператора вне класса.

};

sstr & operator +(sstr &Л, sstr & В) II отшсание функции-оператора

139