Бадд Т. Объектно-ориентированное программирование

Подождите немного. Документ загружается.

Методы, определенные и реализованные в классе Window, не могут иметь доступа к

полям данных подклассов. Но как насчет методов, определенных в классе Window и

переопределяемых в подклассах?

Рассмотрим, к примеру, две процедуры oops, показанные выше. Если пользователь

выполняет команду win.oops() и при этом выбирается метод класса TextWindow, то может

произойти попытка вывести данные из поля win.cursorLocation, которого не существует в

блоке памяти переменной win. Это вызовет либо нарушение доступа к памяти, либо (что

более вероятно) приведет к выводу мусора.

void Window::oops()

{

printf("Window oops");

}

void TextWindow::oops()

{

printf("TextWindow oops %d", cursorLocation);

}

Решение этой дилеммы, выбранное разработчиком языка C++, — изменить правила

привязки процедуры к вызову виртуального метода. Новые принципы могут быть

сформулированы следующим образом:

• Для указателей и ссылок, когда сообщение вызывает функцию-член, которая может

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

динамическим значением получателя.

Рис. 12.1. Присваивание большого значения маленькому

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

статическим (заданным при описании), а не динамическим классом (то есть

фактическим значением).

Более точно, во время процесса присваивания значение меняет тип с подкласса на тип

данных родителя. Это аналогично тому, как целочисленное значение может быть

изменено при присваивании вещественной переменной. При такой интерпретации можно

гарантировать, что для переменных, размещаемых через стек, динамический класс всегда

совпадает со статическим. При соблюдении этого правила процедура никогда не получит

доступа к полям данных, которые физически отсутствуют в объекте. Метод, выбираемый

PDF created with pdfFactory Pro trial version www.pdffactory.com

при вызове win.oops(), будет принадлежать классу Window, и пользователь не заметит, что

часть памяти была потеряна при операции присваивания.

Тем не менее это решение получено за счет некоторой непоследовательности. В

выражениях с указателями виртуальные методы связываются так, как мы описывали в

предыдущих главах. Поэтому эти значения будут вести себя иным образом, чем

выражения, использующие нединамические значения. Рассмотрим следующий пример:

Window win;

TextWindow *tWinPtr, *tWin;

...

tWinPtr = new TextWindow;

win = * tWinPtr;

tWin = tWinPtr;

...

win.oops();

(*tWin).oops();

Хотя пользователь, вероятно, думает, что переменная win и значение, на которое

указывает указатель tWin, — это одно и то же, важно помнить, что присваивание

переменной win изменило тип значения. Из-за этого первое обращение к процедуре oops()

будет вызывать метод класса Window, в то время как второе — метод класса TextWindow.

12.1.2. Размещение максимальной статической памяти

Другое решение проблемы: при описании объекта надо выделить максимальный объем

памяти, достаточный для любого значения, которое может содержаться в объекте

(независимо от того, относится оно к объявленному классу или к его подклассам). Этот

подход аналогичен тому, что используется при размещении перекрывающихся типов

данных в традиционных языках программирования (записи с вариантами в языке Паскаль,

объединения (union) в C). При присваивании будет невозможно присвоить значение, не

умещающееся в памяти, отведенной под переменную в правой части оператора

присвоения. Поэтому рис. 12.1 более не актуален и проблемы, вытекающие из него,

отныне не возникают.

Это, по-видимому, было бы идеальным решением, если бы не одна маленькая проблема:

размер любого объекта не известен, пока не скомпилирована вся программа целиком.

Не просто модуль (unit в языке Object Pascal, файл в C++), но вся программа должна быть

отсканирована прежде, чем мы сможем определить максимальный размер подкласса

данного класса. Это требование является столь ограничивающим, что ни один из

основных объектно-ориентированных языков не использует данный подход.

12.1.3. Динамическое выделение памяти

Третий подход вообще не хранит значение объекта в стеке. При входе в процедуру в стеке

выделяется память для указателя. Значения содержатся в другой области данных («куче»),

которая не поддерживает протокол выделения памяти FIFO («первый вошел — последний

ушел»), типичный для стека. Поскольку все указатели имеют постоянный и

фиксированный размер, то не возникает проблем при присваивании значения подкласса

переменной, объявленной как надкласс.

Этот подход используется в языках Object Pascal, Smalltalk, Java и Objective-C, о чем

пользователь уже мог догадаться по сходству объектов и указателей в Object Pascal. Как

PDF created with pdfFactory Pro trial version www.pdffactory.com

для указателей, так и для объектов необходимо вызывать стандартную процедуру new для

размещения памяти перед обращением к объектам. Аналогично пользователь явно

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

Кроме требования явного выделения памяти, при таком подходе имеется еще одна

проблема — оператор присваивания тесно связан с семантикой указателей. При

использовании указателей при присваивании пересылается указатель на значение, а не

собственно значение, обозначаемое указателем. Рассмотрим приведенную ниже

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

опрашивается пользователем:

type

intBuffer = object

value : integer;

end;

var

x, y : intBuffer;

begin

new(x); {создать буфер}

x.value:=5; writeln(x.value);

y:=x; {y — тот же буфер, что и x}

y.value:=7; writeln(x.value);

end;

Заметим, что экземплярами этого класса объявлены две переменные. При выполнении

программы пользователь, вероятно, удивится, когда последний оператор напечатает

значение 7, а не 5. Причина: при присваивании x и y не просто получили одно значение,

они стали указывать на одно значение. Эта ситуация показана на рис. 12.2. Семантика

указателей для объектов в языке Object Pascal отчасти смущает, поскольку

альтернативный подход — семантика копирования — используется для всех других типов

данных. Если бы x и y были структурами, то присваивание y:=x привело бы к

копированию информации из переменной x в переменную y. Поскольку при этом

создаются две различные копии, то дальнейшие изменения в переменной y не влияют на

12.2. Присваивание

Как в C++, так и в Object Pascal используемые механизмы выделения памяти влияют на

смысл операции присваивания. Поэтому здесь мы определим точные значения этого

оператора в рассматриваемых языках. Как было отмечено в предыдущем разделе, имеются

две интерпретации операции присваивания.

Семантика копирования. В операции присваивания полностью копируется значение

справа, затем оно присваивается левой части. Следовательно, два значения являются

независимыми, и изменение одного из них не влияет на другое.

PDF created with pdfFactory Pro trial version www.pdffactory.com

Семантика указателей. Операция присваивания изменяет стоящую слева ссылку так, что

она указывает на то же, что и правая часть. (Этот подход иногда называется

присваиванием указателей.) Тем самым две переменные не только имеют одно значение,

но и указывают на один и тот же объект. Изменения в этом объекте отразятся на значении,

получаемом разыменованием любого из двух указателей.

В некоторых языках программирования наблюдается компромисс между семантикой

копирования и семантикой указателей, хотя это не относится к языкам, которые мы

рассматриваем в этой книге. Идея состоит в использовании семантики указателей при

присваивании с последующим преобразованием значения в новую структуру, если оно

модифицируется. При таком подходе операция присваивания выполняется очень

эффективно и значение не может быть изменено в результате грубой ошибки при

введении переменной-синонима. Этот метод часто называется копированием при записи.

В общем случае, если используется семантика указателей, то языки программирования

предусматривают некоторые средства создания истинной копии. Опять же, семантика

указателей, вообще говоря, используется чаще при размещении объектов через «кучу» (то

есть динамически), а не через стек (автоматически). Когда применяется семантика

указателей, значения довольно часто «переживают» свой контекст, внутри которого они

были созданы.

Отличие объектно-ориентированных языков состоит в использовании разных семантик

(первой, второй или их комбинации).

12.2.1. Присваивание в C++

Алгоритм, по умолчанию используемый в языке C++ для присваивания переменной

значения какого-либо класса, состоит в рекурсивном копировании соответствующих

полей данных. Однако разрешается переназначить оператор присваивания с тем, чтобы

получить любое желаемое действие. Эта техника является настолько стандартной, что

некоторые компиляторы C++ выдают предупреждающее сообщение, если используется

правило присваивания по умолчанию.

При переопределении присваивания его интерпретация состоит в следующем. Оператор

присваивания — это метод, определенный для класса в левой части, вызываемый с

аргументом, стоящим в правой части. Результат может быть равен void, если вложенное

присваивание недопустимо, хотя, как правило, в качестве результата передается ссылка на

объект в левой части. Следующий пример демонстрирует присваивание строк (здесь оно

переопределяется с тем, чтобы две копии одной строки имели общие символы):

String & String::operator = (String& right)

{

len = right.len; // копировать длину строки

buffer = right.buffer; // копировать указатель на строку

return (*this);

}

Типичный источник ошибок начинающего программиста на языке C++ — это

использование одного и того же символа равенства (=) для операции присваивания и для

операции инициализации. В стандартном C присваивание при объявлении — это просто

удобное синтаксическое сокращение. Так что эффект от

int limit = 300;

PDF created with pdfFactory Pro trial version www.pdffactory.com

такой же, что и от

int limit;

limit = 300;

В языке C++ присваивание при объявлении может вызывать произвольные конструкторы

и не использовать присваивание вообще. Тем самым оператор типа

Complex x = 4;

интерпретируется по смыслу как

Complex x(4);

При инициализации часто используются ссылки; тем самым ситуация напоминает

семантику указателей. Например, если идентификатор s — это объект типа String, то

следующая команда делает идентификатор t синонимом идентификатора s (так что

изменение в одной переменной приводит к изменению в другой).

... // использование переменной s

String &t = s;

... // переменные t и s теперь ссылаются на одно значение

Переменные-ссылки наиболее часто применяются для реализации передачи параметров

«по ссылке» при вызове процедуры. Это может рассматриваться как разновидность

присваивания указателей, где параметру присваивается значение аргумента. Конечно же,

семантика указателей в C++ может быть осуществлена через переменные-указатели.

Пересылка параметров может приводить к присваиванию (при присваивании аргументам

значений параметров). Поэтому неудивительно, что здесь возникают те же явления, что и

при присваивании. Например, рассмотрим описания вида

class Base

{

public:

virtual void see();

};

class Derived

{

public:

virtual void see();

};

void f(Base);

void g(Base &);

Derived z;

f(z); g(z);

Обе функции f() и g() используют в качестве аргумента значение класса Base, но функция

g() описывает аргумент как переменную-ссылку. Если вызывается функция f() с

аргументом, принадлежащим к классу Derived, то как часть вызова процедуры аргумент

преобразуется (с использованием срезки), чтобы создать значение, принадлежащее к

классу Base. Тем самым если внутри функции f() вызывается метод see, то будет

использована виртуальная функция из класса Base. С другой стороны, это преобразование

не происходит при передаче параметров в функцию g(). Поэтому если метод see

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

Derived. Эта разница в интерпретации, которая зависит только от одного символа в

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

PDF created with pdfFactory Pro trial version www.pdffactory.com

Язык C++ позволяет переопределять символ присваивания и выбирать механизм

пересылки параметров (по ссылке или по значению). Это мощные средства, но они могут

привести к неожиданным последствиям. Например, символ присваивания, используемый

при инициализации (хотя это точно такой же знак =), не подвергается изменению при

перегрузке оператора присваивания. Хорошее объяснение правильного использования

мощного потенциала операции присваивания, заложенного в языке C++, дано в работах

[Koenig 1989a, Koenig 1989b].

Копии значений часто создаются исполняющей системой языка C++ в качестве

временных значений (при возврате значений функций, при вычислении сложных

выражений и т. д.) или аргументов при вызове процедур. Пользователь может управлять

этой деятельностью, определяя копирующий конструктор. Аргументом копирующего

конструктора является ссылка на параметр того же типа, что и собственно класс.

Считается хорошей практикой программирования всегда определять копирующий

конструктор.

class Complex

{

...

Complex (const Complex &source)

{

// просто дублирует поля источника

rl = source.rl;

im = source.im;

}

...

private:

double rl;

double im;

}

12.2.2. Присваивание в Object Pascal и Java

Как Object Pascal, так и Java используют семантику указателей для присваивания

объектов. В языке Object Pascal нет предусмотренных системой механизмов для создания

копии объекта, поэтому принято определять безаргументный метод copy, который создает

копию получателя, если такое функционирование является желательным. В языке Java

класс всех объектов Object определяет метод clone, который создает побитную копию

получателя сообщения clone. Подклассы могут переопределять этот метод. Тип

возвращаемого результата в этом методе определен как Object, так что должно

использоваться приведение типа для получения значения нужного типа:

newBall = (Ball) aBall.clone();

Заметьте, что в языке Object Pascal семантика указателей используется только для

объектов. Все другие типы данных (массивы, записи) осуществляют семантику

копирования при присваивании. Это часто приводит в смущение начинающего

программиста.

12.2.3. Присваивание в Smalltalk

Язык Smalltalk использует семантику указателей при присваивании. Класс Object,

который является надклассом всех классов, определяет два метода копирования объектов.

PDF created with pdfFactory Pro trial version www.pdffactory.com

Тем самым копирующее присваивание должно использовать комбинацию присваивания и

пересылки копирующего сообщения. Оператор

x := y copy

создает новый экземпляр, в точности похожий на объект y, в котором поля

(переменные экземпляра) указывают на объекты, являющиеся общими c

аналогичными полями объекта y. Напротив, оператор

x := y deepCopy

создает новый объект, аналогичный y, в котором поля (переменные экземпляра)

инициализированы копиями полей y.

Другими словами, метод copy (называемый также shallowCopy) делает переменные

экземпляра общими с переменными оригинала, в то время как метод deepCopy

копирует другие переменные экземпляра

С другой стороны, метод deepCopy создает новые копии переменных экземпляра.

Собственно переменные экземпляра создаются с использованием метода copy.

Классы имеют право переопределять любой из методов копирования copy,

shallowCopy и deepCopy, так что для экземпляров некоторых классов можно

получить нестандартное поведение.

12.2.4. Присваивание в Objective-C

Язык Objective-C использует семантику указателей для присваивания объектов. Копия

объекта может быть получена одним из трех методов: copy, shallowCopy и deepCopy,

которые аналогичны одноименным методам, используемым в языке Smalltalk.

id x, y, z;

// ... определение объекта у

x = [ y copy ];

z = [ y deepCopy ];

12.3. Проверка на равенство

Подобно операции присваивания, вопрос о том, является ли один объект эквивалентным

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

трудность в понимании того, что в точности значит эквивалентность (идентичность),

аналогична проблеме разговорного языка. Если кто-то спрашивает: «Является ли утренняя

звезда вечерней звездой?» (Is the morning star the evening star?), ответ с полным

основанием может быть как «да», так и «нет». Если вопрос стоит о сравнении физических

объектов, обозначаемых этими двумя терминами (а в обоих случаях речь идет о планете

Венера), то ответом, безусловно, будет «да». С другой стороны, если спрашивающий

хочет узнать, обозначает ли в данном языке термин «утренняя звезда» объекты,

появляющиеся на вечернем небе, то ответом столь же безусловно будет «нет».

Изучение ссылок, значений и эквивалентности в естественном языке — дело трудное, и

мы не будем углубляться в этот вопрос дальше. Заинтересованный читатель может

обратиться к эпизоду с Белым Рыцарем в книге «Алиса в Зазеркалье» или к избранным

работам, цитируемым в [Rosenberg 1971] и [Whorf 1956]. К счастью, равенство в языках

программирования обычно хорошо формализовано, хотя сделано это по-разному в разных

языках.

PDF created with pdfFactory Pro trial version www.pdffactory.com

Наиболее общее разделение отражает различие между семантикой указателей и

семантикой копирования. Многие языки используют эквивалентность указателей, когда

две ссылки на объект считаются эквивалентными, если они указывают на один и тот же

объект. Если мы рассмотрим слова «утренняя звезда» как указатель на Венеру, то при

такой интерпретации «утренняя звезда» эквивалентна «вечерней звезде». Эта форма

эквивалентности иногда называется эквивалентностью объектов.

Зачастую программист интересуется не столько тем, указывают ли две переменные на

идентичный объект, сколько тем, обладают ли два объекта одинаковым значением.

Последнее обычно требуется, например, при сравнении текстовых строк (рис. 12.3). Но

как должно определяться равенство значений? Для чисел и текстовых строк обычно под

равенством понимается побитное совпадение. При такой интерпретации два объекта

являются эквивалентными, если их битовое представление в памяти одинаково.

Для составных объектов вроде записей в языках Pascal и C побитное сравнение может

оказаться недостаточным. Часто блок памяти для таких типов данных может включать

пустые участки, которые не имеют отношения к значениям, хранимым в объекте.

Поскольку эти пропуски не должны учитываться при определении равенства,

используется второй механизм, а именно поэлементное равенство. При поэлементном

сравнении мы проверяем сопоставляемые элементы на совпадение, применяя это правило

рекурсивно, пока не встретится элемент, отличный от записи. В последнем случае

применяется побитное сравнение. Если все элементы удовлетворяют проверке, две записи

рассматриваются как равные друг другу. Если какие-либо два элемента не совпадают, то

записи не равны друг другу. Такое отношение равенства иногда называется структурной

эквивалентностью.

Техника объектно-ориентированного программирования привносит свои особенности в

проверку на равенство. Например, если при сравнении двух значений как статических

типов они оказываются равными, то при сравнении их в качестве динамических типов это

не обязательно так. Следует ли при проверке на равенство принимать это во внимание?

Что если один из типов определяет поля, которые отсутствуют в другом? Проблема

состоит также в том, что выбор интерпретации для вызываемого сообщения определяется

получателем. Нет гарантии, что такое фундаментальное свойство, как коммутативность,

будет сохраняться. Если идентификаторы x и y принадлежат к различным типам данных,

то вполне может быть, что отношение x=y справедливо, а отношение y=x — нет!

В одном аспекте, однако, проблему равенства легче решить, чем разобраться с

аналогичными трудностями при присваивании. Хотя последнее обычно рассматривается

как часть синтаксиса и семантики языка и в силу этого может быть неизменяемым,

программист всегда волен создать свои методы проверки на совпадение (возможно, с

несколько другим синтаксисом). Тем самым нет единого логического смысла отношения

равенства; оно может означать разные вещи для объектов разных классов.

Рис. 12.3. Идентичность и равенство текстовых строк

Техника объектно-ориентированного программирования привносит свои особенности в

проверку на равенство. Например, если при сравнении двух значений как статических

PDF created with pdfFactory Pro trial version www.pdffactory.com