3. Совместимость типов объектов
3. Совместимость типов объектов
Наследование до некоторой степени изменяет правила совместимости типов в Borland Pascal. Помимо всего прочего, порожденный тип наследует совместимость типов всех своих порождающих типов.
Эта расширенная совместимость типов принимает три формы:
1) между реализациями объектов;
2) между указателями на реализации объектов;
3) между формальными и фактическими параметрами.
Однако очень важно помнить, что во всех трех формах совместимость типов расширяется только от потомка к родителю. Другими словами, дочерние типы могут свободно использоваться вместо родительских, но не наоборот.
Например, TSalaried является потомком TEmployee, а ТСош-missioned – потомком TSalaried. Помня об этом, рассмотрим следующие описания:
tyрe
PEmрloyee = ^TEmployee;
PSalaried = ^TSalaried;
PCommissioned = ^TCommissioned;
var
AnEmрloyee: TEmployee;
ASalaried: TSalaried;
PCommissioned: TCommissioned;
TEmployeePtr: PEmрloyee;
TSalariedPtr: PSalaried;
TCommissionedPtr: PCommissioned;
При данных описаниях справедливы следующие операторы
присваивания:
AnEmрloyee :=ASalaried;
ASalaried := ACommissioned;
TCommissionedPtr := ACommissioned;
Примечание
Порождающему объекту можно присвоить экземпляр любого из его порожденных типов. Обратные присваивания недопустимы.
Эта концепция является новой для Pascal, и вначале, возможно, трудновато запомнить, в каком порядке следует совместимость типов. Необходимо думать следующим образом: источник должен быть в состоянии полностью заполнить приемник. Порожденные типы содержат все, что содержат их порождающие типы благодаря свойству наследования. Поэтому порожденный тип имеет либо в точности такой же размер, либо (что чаще всего и бывает) он больше своего родителя, но никогда не бывает меньше. Присвоение порождающего (родительского) объекта порожденному (дочернему) могло бы оставить некоторые поля порожденного объекта неопределенными, что опасно и поэтому недопустимо.
В операторах присваивания из источника в приемник будут копироваться только поля, являющиеся общими для обоих типов. В операторе присваивания:
AnEmployee:= ACommissioned;
Только поля Name, Title и Rate из ACommissioned будут скопированы в AnEmployee, так как только эти поля являются общими для TCommissioned и TEmployee. Совместимость типов работает также между указателями на типы объектов и подчиняется тем же общим правилам, что и для реализаций объектов. Указатель на потомка может быть присвоен указателю на родителя. Если дать предыдущие определения, то следующие присваивания указателей будут допустимыми:
TSalariedPtr:= TCommissionedPtr;
TEmployeePtr:= TSalariedPtr;
TEmployeePtr:= PCommissionedPtr;
Следует помнить, что обратные присваивания недопустимы!
Формальный параметр (либо значение, либо параметр-переменная) данного объектного типа может принимать в качестве фактического параметра объект своего же типа или объекты всех дочерних типов. Если определить заголовок процедуры следующим образом:
procedure CalcFedTax(Victim: TSalaried);
то допустимыми типами фактических параметров могут быть TSalaried или TCommissioned, но не тип TEmployee. Victim также может быть параметром-переменной. При этом выполняются те же правила совместимости.
Замечание
Между параметрами-значениями и параметрами-переменными есть коренное отличие. Параметр-значение является указателем на действительный, посьшаемый в качестве параметра объект, тогда как параметр-переменная является только копией фактического параметра. Более того, эта копия включает только те поля, которые входят в тип формального параметра-значения. Это означает, что фактический параметр буквально преобразуется к типу формального параметра. Параметр-переменная больше напоминает приведение к образцу, в том смысле, что фактический параметр остается неизменным.
Аналогично, если формальный параметр является указателем на тип объекта, фактический параметр может быть указателем на этот тип объекта или на любой дочерний тип. Пусть дан заголовок процедуры:
procedure Worker.Add (AWorker: PSalaried);
Тогда допустимыми типами фактических параметров могут быть PSalaried или PCommissioned, но не тип PEmployee.
Более 800 000 книг и аудиокниг! 📚
Получи 2 месяца Литрес Подписки в подарок и наслаждайся неограниченным чтением
ПОЛУЧИТЬ ПОДАРОКДанный текст является ознакомительным фрагментом.
Читайте также
6.3. Совместимость
6.3. Совместимость Приложения, которые скомпилированы с заголовочными файлами из библиотеки glibc и привязанные к одной из ее версий, будут работать и с более поздними версиями библиотеки. Эта обратная совместимость обычно означает, что программисту не придется
Совместимость и преобразование типов данных
Совместимость и преобразование типов данных Настала пора рассмотреть еще два важных вопроса: совместимость типов данных и преобразование одного типа к другому.Что получится, если сложить два числовых значения? Правильно — еще одно числовое значение. А если сложить
Совместимость и преобразование типов данных
Совместимость и преобразование типов данных Настала пора рассмотреть еще два важных вопроса: совместимость типов данных и преобразование одного типа к другому.Что получится, если сложить два числовых значения? Правильно — еще одно числовое значение. А если сложить
11.10 Совместимость и различия
11.10 Совместимость и различия Для обеспечения совместимости с BOOTP формат сообщений DHCP идентичен сообщениям BOOTP. В результате:? Клиент BOOTP может обращаться к серверу DHCP? Клиент DHCP может использовать службу промежуточных агентов BOOTPСамым заметным изменением стало
Совместимость
Совместимость Каждое появление новой операционной системы затрагивает больной вопрос – совместимость с программным обеспечением и оборудованием. Система Windows 7 в этом смысле не исключение: разработчики приложили максимум усилий в этом плане. Конечно, нашлось множество
Совместимость
Совместимость 1. Какие операционные системы Delphi поддерживает? Версия Delphi 1.0 предназначается для Windows 3.1x. Hет причин, по которым Delphi 1.0 не работал бы в системах, которые обеспечивают эмуляцию Windows 3.1, подобно OS/2 Warp, Windows NT, UnixWare 2.0 и т.д. Delphi 2.0 предназначена для работы под Win32/Intel
Поддержка пользовательских типов переносимых объектов
Поддержка пользовательских типов переносимых объектов До сих пор в представленных примерах мы полагались на поддержку QMimeData распространенных типов MIME. Так, мы вызывали QMimeData::setText() для создания объекта переноса текста и использовали QMimeData:urls() для получения содержимого
3. Совместимость типов объектов
3. Совместимость типов объектов Наследование до некоторой степени изменяет правила совместимости типов в Borland Pascal. Помимо всего прочего, порожденный тип наследует совместимость типов всех своих порождающих типов.Эта расширенная совместимость типов принимает три
Функциональная совместимость
Функциональная совместимость Архитектура клиент-сервер для систем баз данных развивалась как ответ на уязвимость, низкий уровень нагрузки и ограничения по скорости модели базы данных совместного доступа к файлам в компьютерных сетях при потребности увеличения
5.9.2. Совместимость с ext3
5.9.2. Совместимость с ext3 Файловая система ext4 является прямо и обратно совместимой с ext3, однако все же имеются и некоторые ограничения. Предположим, что у нас на диске есть файловая система ext4. Ее можно смонтировать и как ext3, и как ext4 (это и есть прямая совместимость) — тут
Эквивалентность и совместимость типов
Эквивалентность и совместимость типов Совпадение типовГоворят, что типы T1 и T2 совпадают, если они имеют одно имя либо же определены в секции type в виде T1 = T2. Таким образом, в описаниях type IntArray = array [1..10] of integer; IntArrayCopy = IntArray; var a1: IntArray; a2: IntArrayCopy; b1,c1: array [1..15] of integer; b2: array [1..15]
Совместимость
Совместимость Другой показатель качества ПО, совместимость, был определен как легкость, с которой программные продукты (в данном обсуждении - модули) можно комбинировать между собой. Если структуры данных не проектировались с этой целью, то имеющие к ним доступ действия
Выявление типов объектов
Выявление типов объектов Вопрос "как мы будем находить объекты?" вначале может выглядеть пугающим. В лекции 4 курса "Основы объектно-ориентированного проектирования" мы рассмотрим его более подробно, но здесь полезно рассеять некоторые из возникающих страхов. Этот вопрос
Описания типов и объектов
Описания типов и объектов Предположим, что известно, как получить надлежащие типы объектов, служащие основой для структуры модулей нашей системы. Тогда немедленно возникнет вопрос, как описать эти типы и их объекты. При ответе на него следует руководствоваться двумя
Совместимость партнеров
Совместимость партнеров Вообще говоря, астролог, рассчитывающий и интерпретирующий карту совместимости не для себя, а для клиента, зачастую оказывается в достаточно сложном этическом положении. Как повлияет сказанное им на дальнейшие отношения, что именно стоит