Введение в объектно-ориентированное программирование на языке Object Pascal. Соколов Е.В. - 65 стр.

     // объектной модели допустимость проверяется во время компиляции
  end
  else raise Exception.Create('Illegal operation');
end;

{ Остальные арифметические операции и процедура Reduce
  реализуются аналогично. }


         Н аибол ь ш ий инт ерес з д ес ь в ы з ы в ают функция Plus и процед ура
Add, а т акже процед ура Destroy. Перв ы м д ел ом они ос ущес т в л яют без -
ус л ов ное прив ед ение т ипа парам ет ра n1. Э т а операция без опас на, ес л и
д л я в ы з ов а м етод а и в качес т в е егоперв огопарам ет ра в с егд а ис пол ь з у-
ет с я од ин и тот же объект.
          В с ам ом д ел е, ес л и ис пол нение бы л о перед ано под програм м е,
от нос ящейс я к т ипу Rational, з начит ее ад рес с од ержал опол е некоторого
объект а. При коррект но с проект иров анной иерархии нас л ед ов ания от -
с юд а с л ед ует, чтод анны й объект им еет т ип Rational ил и произ в од ны й от
него. Пред пол агая, чтоэ тот же объект бы л перед ан под програм м е в ка-
чес т в е перв огопарам ет ра, м ы и пол учаем т ребуем ы й т ип д л я n1.
          В прив ед енны храс с ужд енияхкоррект нос т ь упом инает с я д в ажд ы :
прим енит ел ь но к иерархии нас л ед ов ания и в ы з ов у под програм м . И в
том , и в д ругом с л учае ее обес печение пол нос т ь ю л ожит с я на пл ечи раз -
работ чика. При ис пол ь з ов ании объект ной м од ел и э т ихпробл ем прос то
не в оз никает.
          Дал ее д л я объект а n2 в ы пол няет с я м етод TypeNameIs, пров еряю-
щий егореал ь ны й т ип. Обс ужд ение в опрос а отом , почем у з д ес ь буд ет
в ы з в ана нужная в ерс ия функции, отл ожим д ос л ед ующегопараграфа.
          Ос т ал ь ны е инс т рукции переш л и из объект ной в ерс ии т ипа почт и
без из м енений. Л иш ь в конце функции Plus с нов а в ы пол няет с я яв ное
прив ед ение т ипа, т еперь уже в с торону пов ы ш ения. Т о, чтоэ тоим енно
пов ы ш ение, с л ед ует тол ь коиз реал из ации функции TypeNameIs, им ит и-
рующей с т анд арт ны й оператор is. С точки з рения ком пил ятора т ипы
Number и Rational с ов ерш еннонез ав ис им ы , поэ том у он не с чит ает д ан-
ное прис в аив ание з ав ед ом обез опас ны м .
          Опред ел им , наконец, функции-конс т рукторы объектов т ипа Ra-
tional.

Пример 4.3. Конс т рукторы д л я т ипа Rational.

function Create: PRational;
begin
  New(result); // экземпляр записи размещается в памяти

                                          65