Вызов переопределенного метода в типе-потомке

С этой проблемой PL/SQL-программисты сталкиваются наиболее часто. Проблема связана с тем, что в PL/SQL отсутствует синтаксическая конструкция для вызова метода типа-предка. В случае порождения нового объектного типа от родительского, виртуальный метод переопределеяется, далее в этом порожденном типе нам необходимо вызвать данный метод типа-предка.

Например: пусть у нас есть класс t_ParentType в котором определен метод getName:

------------------------------------------------------------ --спецификация объектного типа t_ParentType: - ------------------------------------------------------------ create or replace type t_ParentType as object ( v_Field1 varchar2(32), member function getName return varchar2 ) not final; ------------------------------------------------------------ --тело объектного типа t_ParentType: - ------------------------------------------------------------ create or replace type body t_ParentType as member function getName return varchar2 is begin return self.v_Field1; end; end;

Теперь мы определяем объектный тип t_ChildType, который является наследником t_ParentType. В типе t_ChildType метод getName является виртуальным и переопределен. Для этого использовано ключевое слово OVERRIDING: ------------------------------------------------------------ --Спецификация объектного типа t_ChildType, - --который является наследником : t_ParentType - --Внимание: метод getName переопределен - ------------------------------------------------------------ create or replace type t_ChildType under t_ParentType ( v_Field2 varchar2(64),

overriding member function getName return varchar2 ) not final;

В реализации метода getName попытаемся вызвать унаследованный метод getName (объектного типа t_ParentType)

------------------------------------------------------------ --Тело объектного типа t_ChildType, - --в методе getName необходимо вызвать унаследованный метод - ------------------------------------------------------------ create or replace type body t_ChildType is overriding member function getName return varchar2 is begin return (???) getName ' ' v_Field2; -- как вызвать -- метод предка ??? end; end;

Таким образом, выясняется, что в PL/ SQL нет синтаксической конструкции, для того чтобы сослаться на метод типа-предка.

В объектно-ориентированных языках для этого существуют специальные языковые конструкции. В Java это ключевое слово super (супер-класс), в Object Pascal - Inherited. Данный механизм обеспечивает доступ к унаследованной логике и устраняет избыточность кода. Документация по языку PL/SQL (Oracle10g Rel.1 PL/SQL User's Guide and Reference, Oracle10g Rel.1 Application Developer's Guide - Object-Relational Features) хранит по этому поводу молчание.

Для решения этой проблемы предлагается следующий алгоритм:

Создается экземпляр типа-предка
Затем копируется в него содержимое полей текущего экземпляра
Происходит вызов нужного метода экземпляра типа-предка
Поля экземпляра типа-предка копируются в текущий экземпляра.

Модифицируем исходный текст для реализации этого подхода, добавив в родительский тип копирующий конструктор:

------------------------------------------------------------ --спецификация объектного типа t_ParentType, - --добавлен копирующий конструктор - ------------------------------------------------------------ create or replace type t_ParentType as object ( v_Field1 varchar2(32), --копирующий конструктор: constructor function t_ParentType(v_pObject in out nocopy t_ParentType) return self as result, member function getName(self in out nocopy t_ParentType) return varchar2 ) not final; ------------------------------------------------------------ --тело объектного типа t_ParentType - ------------------------------------------------------------ create or replace type body t_ParentType is constructor function t_ParentType(v_pObject in out nocopy t_ParentType) return self as result is begin self.v_Field1 := v_pObject.v_Field1; return; end; member function getName(self in out nocopy t_ParentType) return varchar2 is begin return self.v_Field1; end; end;

В типе-потомке нам также будет необходим метод присваивания, который будет копировать все поля переменной экземпляра типа в текущий экземпляр, - назовем его assign. Далее добавим функцию inherited_getName, которая будет реализовывать алгоритм вызова функции getName родительского типа t_ParentType. Фактически метод inherited_getName представляет собой оболочку для метода getName типа-предка t_ParentType.

------------------------------------------------------------ --Спецификация объектного типа t_ChildType, - --который является наследником : t_ParentType - --Добавлен метод присваивания - assign - ------------------------------------------------------------ create or replace type t_ChildType under t_ParentType ( v_Field2 varchar2(64), constructor function t_ChildType(v_pField1 varchar2, v_pField2 varchar2) return self as result, --метод для вызова унаследованного метода getName: member function inherited_getName(self in out nocopy t_ChildType) return varchar2, --метод присваивания: member procedure assign(self in out nocopy t_ChildType, v_pObject in out nocopy t_ChildType),

overriding member function getName(self in out nocopy t_ChildType) return varchar2 ) not final; ------------------------------------------------------------ --Тело объектного типа t_ChildType - ------------------------------------------------------------ create or replace type body t_ChildType is constructor function t_ChildType(v_pField1 varchar2, v_pField2 varchar2) return self as result is begin self.v_Field1 := v_pField1; self.v_Field2 := v_pField2; return; end; member function inherited_getName(self in out nocopy t_ChildType) return varchar2 is v_xInheritedObject t_ParentType; --экземпляр объекта-предка v_xRes varchar2(32); begin -- создаем экземпляр предка с помощью копирующего конструктора v_xInheritedObject := new t_ParentType(self); -- вызываем метод getName класса-предка v_xRes := v_xInheritedObject.getName; -- в общем случае вызов метода предка мог изменить поля self.assign(v_xInheritedObject); -- поэтому необходимо обратно скопировать их в текущий объект (self) return v_xRes; end; ---------------------------------------------------------- -- метод присваивания: - -- просто копируем все поля-объекта источника в текущий - -- экземпляр (self) - ---------------------------------------------------------- member procedure assign(v_pObject in out nocopy t_ChildType) is begin self.v_Field1 := v_pObject.v_Field1; self.v_Field2 := v_pObject.v_Field2; end; ---------------------------------------------------------- -- переопределенный метод getName: - -- через вызов inherited_getName происходит обращение к - -- унаследованному методу getName - ---------------------------------------------------------- overriding member function getName(self in out nocopy t_ChildType) return varchar2 is begin return inherited_getName '-' v_Field2; end; end;

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

Например: в следующей иерархии классов: t_ParentType -> t_ChildType -> t_SubChildType для вызова метода произвольного типа-предка можно использовать следующие правило: к имени метода добавляется цифра - номер уровня в иерархии. В этом случае имена методов-оболочек соответственно будут выглядеть следующим образом:

getName0->getName1->getName2

Вышеописанная методика демонстрируется в данном примере .

Содержание раздела