一、抽象的角色

抽象是对一个真实世界实体的高级描述或建模。它能排除掉无关的细节内容，使我们的日常生活更有条理。例如，驾驶一辆汽车时，我们是不需要知道它的发动机是如何工作的。由变速排档、方向盘、加速器和刹车组成的接口就能让我们有效地使用它。而其中每一项的详细信息对于日常驾驶来说并不重要。

抽象是编程的核心内容。例如，我们在隐藏一个复杂的算法时只要编写一个过程，然后为它传递参数就可以做到过程化抽象。如果需要改变具体的实现，换一个过程体即可。有了抽象后，那些调用过程的程序就不需要再修改了。

我们在指定变量的数据类型时，可以使用数据抽象。数据类型代表了对于想操作的数值的值集合和操作符集合。比如说一个POSITIVE类型的变量，只能存放正整数，也只能用于加减乘等运算。使用这个变量时，我们不必知道PL/SQL是如何存储整数或是实现算术运算的。

对象类型是大多数编程语言内置类型的一个概括。PL/SQL提供了大量的标量类型和复合类型，每种类型都与一组预定义操作符相关联。标量类型(如CHAR)是没有内部组成成分的。但复合类型(如RECORD)是有内部组成成分的，并且其中每一个部分都可以被独立操作。同RECORD类型一样，对象类型也是复合类型。但是，它的操作是用户自定义的，而不是预定义的。

目前，我们还不能用PL/SQL定义对象类型。它们必须用CREATE语句创建并存放在Oracle数据库中，这样才能被许多程序所共享。使用对象类型的程序称为客户端程序，它可以声明并操作对象，但并不要求知道对象类型是如何表现数据或实现操作。这就能够让我们分别编写程序和对象类型，即便是在改变了对象实现时也不会影响到程序。因此，对象类型既支持过程化和又支持数据抽象。

二、什么是对象类型

对象类型是一个用户自定义复合类型，它封装了数据结构和操作这个数据结构的函数和过程。数据结构中的变量称为属性，函数和过程称为方法。通常，我们认为对象(如人、车、银行账户)都是有着属性和行为的。例如一个婴儿有性别、年龄和体重这些属性，行为有吃、喝、睡等。对象类型能够让我们把这些内容抽象出来并在应用程序中使用。

使用CREATE TYPE语句创建对象类型的时候，我们实际上是创建了真实世界中某个对象的抽象模板。模板只指定了我们在程序中能用到的属性和行为。比如一个雇员有很多属性，但通常只有他的一部分信息是我们的应用程序所需要的，见下图：

假设我们现在需要编写一个为雇员分发奖金的程序。因为并不是雇员的所有属性都能用于解决这个问题，所以，我们只需设计一个抽象的雇员，拥有与解决问题相关的属性即可：姓名、ID号、部门、职称、工资和级别。然后，设计一些具体的操作方法，例如更改雇员的级别。

下一步就是定义用于数据表现的变量(属性)和用于执行操作的子程序集(方法)。最后，我们把属性和方法封装到对象类型中去。

对象的属性是公有的(对客户端程序可见)。但是，设计良好的程序是不应该直接操作这些属性的，我们应该为这些操作编写相应的方法。这样，雇员数据就能保存在一个合适的状态。

在运行时，我们可以建立抽象雇员的实例(通常称为对象)，然后为它的属性赋值。我们可以按照我们的需求创建任意多个实例。每个对象都有姓名、编号、职别等，如下图所示：

三、为什么使用对象类型

对象类型能把大的系统划分为多个逻辑实体，简化系统复杂度。这就使我们可以创建模块化、可维护、可重用的组件。也能让不同小组的程序员并行开发软件组件。

对象类型靠封装数据的操作来把数据维护代码从SQL脚本中分离出来，并把PL/SQL块封装到方法里。使用对象方法可以避免很多在数据访问时带来的负面影响，同时，对象类型隐藏实现细节，更新细节内容时不必修改客户端程序。

对象类型可以为现实数据建模。现实世界中的复杂实体和关系都可以直接映射到对象类型中。并且，对象类型还可以直接映射到面向对象语言(如Java和C++)的类中。

四、对象类型的结构

与包相同，对象类型也有两部分：说明和体，如下图所示。说明部分是应用程序接口；它声明了数据结构(属性集合)和所需的操作(方法)。方法体部分是对已声明方法的实现。

客户端程序要使用到的所有方法都在说明中声明。我们可以把对象说明想象成一个可选的接口，把对象体想象成一个黒盒。我们可以在不改变说明部分的前提下调试，增强或替换对象体，并且不会对客户端程序造成影响。

在一个对象说明中，所有的属性都必须声明在方法之前。只有子程序的声明才需要实现。所以，如果一个对象类型的说明只声明了属性，那么对象类型的体就没有必要了。我们不能在对象体中声明属性。对象说明中的声明都是公有的。

为了能更好的了解结构，请看下面的例子。这是一个复数的对象类型，有实数部分和虚数部分，并有几个与复数操作相关的方法。

CREATE TYPE complex AS OBJECT(   rpart   REAL,   -- attribute   ipart   REAL,   MEMBER FUNCTION plus(x complex)     RETURN complex,   -- method   MEMBER FUNCTION LESS(x complex)     RETURN complex,   MEMBER FUNCTION times(x complex)     RETURN complex,   MEMBER FUNCTION divby(x complex)     RETURN complex ); CREATE TYPE BODY complex AS   MEMBER FUNCTION plus(x complex)     RETURN complex IS   BEGIN     RETURN complex(rpart + x.rpart, ipart + x.ipart);   END plus;   MEMBER FUNCTION LESS(x complex)     RETURN complex IS   BEGIN     RETURN complex(rpart - x.rpart, ipart - x.ipart);   END LESS;   MEMBER FUNCTION times(x complex)     RETURN complex IS   BEGIN     RETURN complex(rpart * x.rpart - ipart * x.ipart,                    rpart * x.ipart + ipart * x.rpart);   END times;   MEMBER FUNCTION divby(x complex)     RETURN complex IS     z   REAL := x.rpart ** 2 + x.ipart ** 2;   BEGIN     RETURN complex((rpart * x.rpart + ipart * x.ipart) / z,                    (ipart * x.rpart - rpart * x.ipart) / z);   END divby; END;

五、对象类型组件

对象类型封装了数据和操作。我们可以在对象类型说明中声明属性和方法，但不能声明常量、异常、游标或类型。我们至少要声明一个属性(最多1000个)，方法是可选的。

1、属性

同变量一样，属性也有名称和数据类型。对象类型中的名称必须是唯一的(但在其他的对象类型中可以重用)。除了下面几种类型之外，其他任何Oralce类型都可以使用：

1. LONG和LONG RAW
2. ROWID和UROWID
3. PL/SQL特定类型BINARY_INTEGER及它的子类型、BOOLEAN、PLS_INTEGER、RECORD、REF CURSOR、%TYPE和%ROWTYPE
4. PL/SQL包内定义的数据类型

我们不能在声明属性的时候用赋值语句或DEFAULT子句为它初始化。同样，也不能对属性应用NOT NULL约束。但是，对象是可以存放到添加了约束的数据表中。

数据结构中的属性集合依赖于真实世界中的对象。例如，为了表现一个分数，我们只需要两个INTEGER类型的变量。另一方面，要是表现一个学生，我们需要几个VARCHAR2来存放姓名、住址、电话号码和状态等，再添加一个VARRAY类型变量用来存储课程和分数。

数据结构可能是复杂的。例如，一个属性的数据类型可能是另外一个对象类型(称为嵌套对象类型)。有些对象类型，像队列、链表和树，都是动态的，它们是随着使用的需要而动态改变存储长度的。递归对象类型能够直接或间接的包含自身类型，这样就能创建出更诡异的数据类型。

2、方法

一般的，方法就是用关键字MEMBER或STATIC声明在对象说明部分的子程序。方法名不能和对象类型名、属性名重复。MEMBER方法只能通过对象实例调用，如：

instance_expression.method()

但是，STATIC方法直接通过对象类型调用，而不是实例，如：

object_type_name.method()

方法的定义规则与打包子程序的相同，也分为说明和体两个部分。说明部分由一个方法名和一个可选的参数列表组成，如果是函数，还需要包含一个返回类型。包体就是一段能执行一个特殊任务的代码。

对于对象类型说明中的每个方法说明，在对象类型体中都必须有与之对应的方法体实现，除非这个方法是用关键字NOT INSTANTIABLE加以限定，它的意思就是方法体的实现只在子类中出现。为了使方法说明和方法体相匹配，PL/SQL编译器采用token-by-token的方式把它们的头部进行比较。头部必须精确匹配。

与属性相同，一个形式参数的声明也是由名称和数据类型组成。但是，参数的类型不能受到大小约束。数据的类型可以是任何Oracle类型，除了那些不适用于属性的类型。这些约束也适用于返回值的类型。

• 方法实现所允许使用的语言

Oracle允许我们在PL/SQL、Java或C语言中实现对象方法。我们可以在Java或C语言中实现类型方法，只需提供一个调用说明即可。调用说明在Oracle的数据词典中公布了Java方法或外部C函数。它把程序的名称、参数类型和返回值信息映射到对应的SQL中去。

• SELF参数

MEMBER方法接受一个内置的SELF参数，它代表了对象类型的实例。不论显式或隐式声明，它总是第一个传入MEMBER方法的参数。但是，STATIC方法就不能接受或引用SELF。

在方法体中，SELF指定了被调用方法所属的对象实例。例如，方法transform把SELF声明为IN OUT参数：

CREATE TYPE Complex AS OBJECT (   MEMBER FUNCTION transform (SELF IN OUT Complex) ...

我们不能把SELF指定成其他数据类型。在MEMBER函数中，如果SELF没有声明的话，它的参数默认为IN。但是，在MEMBER过程中，如果SELF没有什么，那么它的参数模式默认为IN OUT。并且，我们不能把SELF的模式指定为OUT。

如下例所示，方法可以直接引用SELF的属性，并不需要限定修饰词：

CREATE FUNCTION gcd(x INTEGER, y INTEGER)   RETURN INTEGER AS   -- find greatest common divisor of x and y   ans   INTEGER; BEGIN   IF (y <= x) AND(x MOD y = 0) THEN     ans    := y;   ELSIF x < y THEN     ans    := gcd(y, x);   ELSE     ans    := gcd(y, x MOD y);   END IF;   RETURN ans; END; CREATE TYPE rational AS OBJECT(   num   INTEGER,   den   INTEGER,   MEMBER PROCEDURE normalize,   ... ); CREATE TYPE BODY rational AS   MEMBER PROCEDURE normalize IS     g   INTEGER;   BEGIN     g      := gcd(SELF.num, SELF.den);     g      := gcd(num, den);   -- equivalent to previous statement     num    := num / g;     den    := den / g;   END normalize;   ... END;

如果我们从SQL语句中调用了一个空实例(即SELF为空)的MEMBER方法，方法不会被调用，并且会返回一个空值。如果从过程语句调用的话，PL/SQL就会抛出预定义异常SELEF_IS_NULL。

• 重载

与打包子程序一样，同种类型的方法(函数或过程)都能被重载。也就是说，我们可以为不同的方法起相同的名字，只要它们的形式参数在数量、顺序或数据类型上有所不同。当我们调用其中一个方法的时候，PL/SQL会把实参列表和形参列表作比较，然后找出合适的方法。

子类型也可以重载它的基类方法。这种情况下，方法必须有完全相同的形式参数。

如果两个方法只是在参数模式上不同的话，我们是不能进行重载操作的。并且，我们不能因两个函数的返回值类型不同而对它们进行重载。

• MAP和ORDER方法

一个标量类型，如CHAR或REAL的值都有一个预定义的顺序，这样它们之间就能进行比较。但是对象类型的实例没有预定义的顺序。要想对它们进行比较或排序就要调用我们自己实现的MAP函数。在下面的例子中，关键字MAP指明了方法convert()通过把Relational对象影射到REAL型上，来对它们进行排序操作：

CREATE TYPE rational AS OBJECT(   num   INTEGER,   den   INTEGER,   MAP MEMBER FUNCTION CONVERT     RETURN REAL,   ... ); CREATE TYPE BODY rational AS   MAP MEMBER FUNCTION CONVERT     RETURN REAL IS   BEGIN     RETURN num / den;   END CONVERT;   ... END;

PL/SQL使用顺序来计算布尔表达式的值，如x < y，并且可以在DISTINCT，GROUP BY和ORDER BY子句中作比较。MAP方法convert()可以返回一个对象在所有Relation对象中的相对位置。

一个对象类型只能包含一个MAP方法，它接受一个内置参数SELF并返回一个标量类型：DATE、NUMBER、VARCHAR2，或是一个ANSI SQL类型，如CHARACTER或REAL。

另外，我们还可以用ORDER方法。一个对象类型只能有一个ORDER方法，它必须是一个能返回数字结果的函数。在下面的例子中，关键字ORDER表明了方法match()可以对两个对象进行比较操作：

CREATE TYPE customer AS OBJECT(   ID     NUMBER,   NAME   VARCHAR2(20),   addr   VARCHAR2(30),   ORDER MEMBER FUNCTION match(c customer)     RETURN INTEGER ); CREATE TYPE BODY customer AS   ORDER MEMBER FUNCTION match(c customer)     RETURN INTEGER IS   BEGIN     IF ID < c.ID THEN       RETURN -1;   -- any negative number will do     ELSIF ID > c.ID THEN       RETURN 1;   -- any positive number will do     ELSE       RETURN 0;     END IF;   END; END;

每个ORDER方法都只能接受两个参数：内置参数SELF和另外一个同类型的对象。如果c1和c2是Customer对象，一个c1 > c2这样的比较就会自动调用方法match。该方法能够返回负数、零或正数，分别代表SELF比另外一个对象小、等或大。如果传到ORDER方法的参数任意一个为空，方法就会返回空值。

知道方针：一个MAP方法就好比一个哈希函数，能把对象值影射到标量值，然后用操作符，如<、=等来进行比较。一个ORDER方法只是简单地将两个对象进行比较。

我们可以声明一个MAP方法或是一个ORDER方法，但不同时声明这两个方法。如果我们声明了其中一个，我们就可以在SQL或过程语句中进行对象比较。但是，如果我们没有声明方法，我们就只能在SQL语句中进行等或不等的比较。(两个同类型的对象只有它们对应的属性值相同的时候才相等。)

在对大量的对象进行排序或合并的时候，可以使用一个MAP方法。一次调用会把所有的对象影射到标量中，然后对标量值进行排序。ORDER方法的效率相对比较低，因为它必须反复地调用(它一次只能比较两个对象)。

• 构造方法

每个对象类型都有一个构造方法，它是一个名称与对象类型名称相同的函数，用于初始化，并能返回一个对象类型的新的实例。

Oracle会为每个对象类型生成一个构造函数，其中形参与对象类型的属性相匹配。也就是说，参数和属性是一一对应的关系，并且顺序、名称和数据类型都完全相同。

我们也可以定义自己的构造方法，要么覆盖掉系统定义的构造函数，要么定义一个有着不同方法签名的新构造函数。

PL/SQL从来不会隐式地调用构造函数，所以我们必须显式地调用它。

3、更改已存在对象类型的属性和方法

我们可以使用ALTER TYPE语句来添加、修改或删除属性，并可以为已存在的对象类型添加或删除方法：

CREATE TYPE person_typ AS OBJECT(   NAME      CHAR(20),   ssn       CHAR(12),   address   VARCHAR2(100) ); CREATE TYPE person_nt IS TABLE OF person_typ; CREATE TYPE dept_typ AS OBJECT(   mgr    person_typ,   emps   person_nt ); CREATE  TABLE dept OF dept_typ; -- Add new attributes to Person_typ and propagate the change -- to Person_nt and dept_typ ALTER  TYPE person_typ ADD ATTRIBUTE (picture BLOB, dob DATE)   CASCADE NOT INCLUDING TABLE DATA; CREATE TYPE mytype AS OBJECT(   attr1   NUMBER,   attr2   NUMBER ); ALTER  TYPE mytype ADD ATTRIBUTE (attr3 NUMBER),   DROP ATTRIBUTE attr2,   ADD ATTRIBUTE attr4 NUMBER CASCADE;

在过程编译时，它总是使用当前引用的对象类型版本。在对象类型发生改变时，服务器端引用那个对象类型的过程就变得无效了，在下次过程被调用时它会被自动重新编译。而对于客户端引用被更改过的类型的过程，我们就必须手动编译。

如果从基类删除一个方法，那么也必须修改覆盖被删除方法的子类。我们可以用ALTER TYPE的CASADE选择来判断是否有子类被影响到；如果有子类覆盖了方法，那么语句就会被回滚。为了能成功地从基类删除一个方法，我们可以：

1. 先从子类删除方法
2. 从基类删除方法，然后用不带OVERRIDING关键字的ALTER TYPE把它重新添加进去

六、定义对象类型

对象类型可以表现现实世界中的任何实体。例如，一个对象类型能表现学生，银行账户，计算机显示器，有理数或者是像队列，栈，链表这样的数据结构。这一节给出了几个完整的例子，让我们了解如何设计对象类型并编写我们自己的对象类型。

目前我们还不能在PL/SQL块、子程序或包中定义对象类型。但是，我们可以在SQL*Plus中用下面的语法来定义它：

CREATE [OR REPLACE] TYPE type_name   [AUTHID {CURRENT_USER | DEFINER}]   { {IS | AS} OBJECT | UNDER supertype_name } (   attribute_name datatype[, attribute_name datatype]...   [{MAP | ORDER} MEMBER function_spec,]   [{FINAL| NOT FINAL} MEMBER function_spec,]   [{INSTANTIABLE| NOT INSTANTIABLE} MEMBER function_spec,]   [{MEMBER | STATIC} {subprogram_spec | call_spec}   [, {MEMBER | STATIC} {subprogram_spec | call_spec}]...] ) [{FINAL| NOT FINAL}] [ {INSTANTIABLE| NOT INSTANTIABLE}]; [CREATE [OR REPLACE] TYPE BODY type_name {IS | AS}   { {MAP | ORDER} MEMBER function_body;   | {MEMBER | STATIC} {subprogram_body | call_spec};}   [{MEMBER | STATIC} {subprogram_body | call_spec};]... END;]

1、PL/SQL类型继承一览

PL/SQL支持单继承模式。我们可以定义对象类型的子类型。这些子类型包括父类型(或超类)所有的属性和方法。子类型还可以包括额外的属性和方法，并可以覆盖超类的方法。

我们还可以定义子类是否能继承于某个特定的类型。我们也可以定义不能直接初始化的类型和方法，只有声明它们的子类才可以进行初始化操作。

有些类型属性可以用ALTER TYPE语句动态的改变。当基类发生变化时，无论是用ALTER TYPE语句还是重新定义基类，子类会自动的应用这些改变的内容。我们可以用TREAT操作符只返回某一个指定的子类的对象。

从REF和DEREF函数中产生的值可以代表声明过的表或视图类型，或是一个或多个它的子类型。

• PL/SQL类继承举例

-- Create a supertype from which several subtypes will be derived. CREATE TYPE person_typ AS OBJECT(   ssn       NUMBER,   NAME      VARCHAR2(30),   address   VARCHAR2(100) ) NOT FINAL; -- Derive a subtype that has all the attributes of the supertype, -- plus some additional attributes. CREATE TYPE student_typ UNDER person_typ(   deptid   NUMBER,   major    VARCHAR2(30) ) NOT FINAL; -- Because Student_typ is declared NOT FINAL, you can derive -- further subtypes from it. CREATE TYPE parttimestudent_typ UNDER student_typ(   numhours   NUMBER ) ; -- Derive another subtype. Because it has the default attribute -- FINAL, you cannot use Employee_typ as a supertype and derive -- subtypes from it. CREATE TYPE employee_typ UNDER person_typ(   empid   NUMBER,   mgr     VARCHAR2(30) ) ; -- Define an object type that can be a supertype. Because the -- member function is FINAL, it cannot be overridden in any -- subtypes. CREATE TYPE T AS OBJECT (..., MEMBER PROCEDURE Print(), FINAL MEMBER FUNCTION foo(x NUMBER)...) NOT FINAL; -- We never want to create an object of this supertype. By using -- NOT INSTANTIABLE, we force all objects to use one of the subtypes -- instead, with specific implementations for the member functions. CREATE TYPE Address_typ AS OBJECT(...) NOT INSTANTIABLE NOT FINAL; -- These subtypes can provide their own implementations of -- member functions, such as for validating phone numbers and -- postal codes. Because there is no "generic" way of doing these -- things, only objects of these subtypes can be instantiated. CREATE TYPE USAddress_typ UNDER Address_typ(...); CREATE TYPE IntlAddress_typ UNDER Address_typ(...); -- Return REFs for those Person_typ objects that are instances of -- the Student_typ subtype, and NULL REFs otherwise. SELECT TREAT(REF(p) AS REF student_typ)   FROM person_v p; -- Example of using TREAT for assignment... -- Return REFs for those Person_type objects that are instances of -- Employee_type or Student_typ, or any of their subtypes. SELECT REF(p)   FROM person_v p  WHERE VALUE(p) IS OF(employee_typ, student_typ); -- Similar to above, but do not allow any subtypes of Student_typ. SELECT REF(p)   FROM person_v p  WHERE VALUE(p) IS OF(ONLY student_typ); -- The results of REF and DEREF can include objects of Person_typ -- and its subtypes such as Employee_typ and Student_typ. SELECT REF(p)   FROM person_v p; SELECT DEREF(REF(p))   FROM person_v p;

2、对象类型实例：栈

栈是一个有序集合。栈有一个栈顶和一个栈底。栈中的每一项都只能在栈顶添加或删除。所以，最后一个被加入栈的项会被最先删除。(可以把栈想象成自助餐厅中的盘子。)压栈和退栈操作能够对栈进行后进先出(LIFO)更新。

栈能应用在很多地方。例如，它们可以用在系统编程中控制中断优先级并对递归进行管理。最简单的栈实现就是使用整数数组，数组的一端代表了栈顶。

PL/SQL提供了VARRAY数据类型，它能让我们声明变长数组。要声明变长数组属性，必须先定义变长数组类型。但是，我们不能再对象说明中定义类型，所以，我们只能单独的定义变长数组类型，并指定它的最大长度，具体实现如下：

CREATE TYPE IntArray AS VARRAY(25) OF INTEGER;

现在我们可以编写对象类型说明了：

CREATE TYPE stack AS OBJECT(   max_size   INTEGER,   top        INTEGER,   POSITION   intarray,   MEMBER PROCEDURE initialize,   MEMBER FUNCTION FULL     RETURN BOOLEAN,   MEMBER FUNCTION empty     RETURN BOOLEAN,   MEMBER PROCEDURE push(n IN INTEGER),   MEMBER PROCEDURE pop(n OUT INTEGER) );

最后，我们可以编写对象类型体：

CREATE TYPE BODY stack AS   MEMBER PROCEDURE initialize IS   BEGIN     top         := 0;     /* Call constructor for varray and set element 1 to NULL. */     POSITION    := intarray(NULL);     max_size    := POSITION.LIMIT;   -- get varray size constraint     POSITION.EXTEND(max_size - 1, 1);   -- copy element 1 into 2..25   END initialize;   MEMBER FUNCTION FULL     RETURN BOOLEAN IS   BEGIN     RETURN(top = max_size);   -- return TRUE if stack is full   END FULL;   MEMBER FUNCTION empty     RETURN BOOLEAN IS   BEGIN     RETURN(top = 0);   -- return TRUE if stack is empty   END empty;   MEMBER PROCEDURE push(n IN INTEGER) IS   BEGIN     IF NOT FULL THEN       top              := top + 1;   -- push integer onto stack       POSITION(top)    := n;     ELSE   -- stack is full       raise_application_error(-20101, 'stack overflow');     END IF;   END push;   MEMBER PROCEDURE pop(n OUT INTEGER) IS   BEGIN     IF NOT empty THEN       n      := POSITION(top);       top    := top - 1;   -- pop integer off stack     ELSE       -- stack is empty       raise_application_error(-20102, 'stack underflow');     END IF;   END pop; END;

在成员过程push和pop中，我们使用内置过程raise_application_error来关联用户定义的错误消息。这样，我们就能把错误报告给客户端程序而避免把未控制异常传给主环境。客户端程序捕获PL/SQL异常后，可以在OTHERS异常控制句柄中用SQLCODE和SQLERRM来确定具体的错误信息。下例中，当异常被抛出时，我们就把对应的错误消息输出：

DECLARE   ... BEGIN   ... EXCEPTION   WHEN OTHERS THEN     dbms_output.put_line(SQLERRM); END;

另外，程序还可以使用编译指示EXCEPTION_INIT把raise_application_error返回的错误编号影射到命名异常中，如下例所示：

DECLARE   stack_overflow    EXCEPTION;   stack_underflow   EXCEPTION;   PRAGMA EXCEPTION_INIT(stack_overflow, -20101);   PRAGMA EXCEPTION_INIT(stack_underflow, -20102); BEGIN   ... EXCEPTION   WHEN stack_overflow THEN   ... END;

3、对象类型实例：售票处

假如有一个连锁电影院，每个影院有三个银幕。每个影院有一个售票处，销售三种不同电影的影票。所有影票的价格都为三美元。定期检查影票的销售情况，然后及时补充影票。

在定义代表销售处的对象类型之前，我们必须考虑到必要的数据和操作。对于一个简单的售票处来说，对象类型需要票价、当前影票存量和已售影票的收据这些属性。它还需要一些方法：购票、盘存、补充存量和收集收据。

对于收据，我们可以使用含有三个元素的数组。元素1、2和3各自记录电影1、2和3。要声明一个变长数组属性，我们就必须先像下面这样定义它的类型：

CREATE TYPE RealArray AS VARRAY(3) OF REAL;

现在，我们可以编写对象类型说明：

CREATE TYPE ticket_booth AS OBJECT(   price         REAL,   qty_on_hand   INTEGER,   receipts      realarray,   MEMBER PROCEDURE initialize,   MEMBER PROCEDURE purchase(movie INTEGER, amount REAL, CHANGE OUT REAL),   MEMBER FUNCTION inventory     RETURN INTEGER,   MEMBER PROCEDURE replenish(quantity INTEGER),   MEMBER PROCEDURE COLLECT(movie INTEGER, amount OUT REAL) );

最后，我们可以编写对象类型体：

CREATE TYPE BODY ticket_booth AS   MEMBER PROCEDURE initialize IS   BEGIN     price          := 3.00;     qty_on_hand    := 5000;   -- provide initial stock of tickets     -- call constructor for varray and set elements 1..3 to zero     receipts       := realarray(0, 0, 0);   END initialize;   MEMBER PROCEDURE purchase(movie INTEGER, amount REAL, CHANGE OUT REAL) IS   BEGIN     IF qty_on_hand = 0 THEN       raise_application_error(-20103, 'out of stock');     END IF;     IF amount >= price THEN       qty_on_hand        := qty_on_hand - 1;       receipts(movie)    := receipts(movie) + price;       CHANGE             := amount - price;     ELSE   -- amount is not enough       CHANGE    := amount;   -- so return full amount     END IF;   END purchase;   MEMBER FUNCTION inventory     RETURN INTEGER IS   BEGIN     RETURN qty_on_hand;   END inventory;   MEMBER PROCEDURE replenish(quantity INTEGER) IS   BEGIN     qty_on_hand    := qty_on_hand + quantity;   END replenish;   MEMBER PROCEDURE COLLECT(movie INTEGER, amount OUT REAL) IS   BEGIN     amount             := receipts(movie);   -- get receipts for a given movie     receipts(movie)    := 0;   -- reset receipts to zero   END COLLECT; END;

4、对象类型实例：银行账户

在定义银行账户对象类型之前，我们必须考虑一下要使用的数据和操作。对于一个简单的银行账户来说，对象类型需要一个账号、余额和状态这三个属性。所需的操作有：打开帐户，验证账号，关闭账户，存款，取款和余额结算。

首先，我们要像下面这样编写对象类型说明：

CREATE TYPE bank_account AS OBJECT(   acct_number   INTEGER(5),   balance       REAL,   status        VARCHAR2(10),   MEMBER PROCEDURE OPEN(amount IN REAL),   MEMBER PROCEDURE verify_acct(num IN INTEGER),   MEMBER PROCEDURE CLOSE(num IN INTEGER, amount OUT REAL),   MEMBER PROCEDURE deposit(num IN INTEGER, amount IN REAL),   MEMBER PROCEDURE withdraw(num IN INTEGER, amount IN REAL),   MEMBER FUNCTION curr_bal(num IN INTEGER)     RETURN REAL );

然后编写对象体：

CREATE TYPE BODY bank_account AS   MEMBER PROCEDURE OPEN(amount IN REAL) IS   -- open account with initial deposit   BEGIN     IF NOT amount > 0 THEN       raise_application_error(-20104, 'bad amount');     END IF;     SELECT acct_sequence.NEXTVAL       INTO acct_number       FROM DUAL;     status     := 'open';     balance    := amount;   END OPEN;   MEMBER PROCEDURE verify_acct(num IN INTEGER) IS   -- check for wrong account number or closed account   BEGIN     IF (num <> acct_number) THEN       raise_application_error(-20105, 'wrong number');     ELSIF(status = 'closed') THEN       raise_application_error(-20106, 'account closed');     END IF;   END verify_acct;   MEMBER PROCEDURE CLOSE(num IN INTEGER, amount OUT REAL) IS   -- close account and return balance   BEGIN     verify_acct(num);     status    := 'closed';     amount    := balance;   END CLOSE;   MEMBER PROCEDURE deposit(num IN INTEGER, amount IN REAL) IS   BEGIN     verify_acct(num);     IF NOT amount > 0 THEN       raise_application_error(-20104, 'bad amount');     END IF;     balance    := balance + amount;   END deposit;   MEMBER PROCEDURE withdraw(num IN INTEGER, amount IN REAL) IS   -- if account has enough funds, withdraw   -- given amount; else, raise an exception   BEGIN     verify_acct(num);     IF amount <= balance THEN       balance    := balance - amount;     ELSE       raise_application_error(-20107, 'insufficient funds');     END IF;   END withdraw;   MEMBER FUNCTION curr_bal(num IN INTEGER)     RETURN REAL IS   BEGIN     verify_acct(num);     RETURN balance;   END curr_bal; END;

5、对象类型实例：实数

有理数能够表现成两个整数相除的形式，一个分子和一个分母。同大多数语言一样，PL/SQL并没有实数类型或是用于实数操作的预定义操作符。现在让我们就用对象类型来弥补这个缺失。首先，编写下面的对象说明：

CREATE TYPE rational AS OBJECT(   num   INTEGER,   den   INTEGER,   MAP MEMBER FUNCTION CONVERT     RETURN REAL,   MEMBER PROCEDURE normalize,   MEMBER FUNCTION reciprocal     RETURN rational,   MEMBER FUNCTION plus(x rational)     RETURN rational,   MEMBER FUNCTION LESS(x rational)     RETURN rational,   MEMBER FUNCTION times(x rational)     RETURN rational,   MEMBER FUNCTION divby(x rational)     RETURN rational,   PRAGMA RESTRICT_REFERENCES(DEFAULT, RNDS, WNDS, RNPS, WNPS) );

PL/SQL不允许操作符重载。所以我们必须定义方法plus()，less()(minus是保留关键字)，times()和divby()来替代操作符+、-、*和/。

下一步，创建下面的独立存储函数，它们会被方法normalize()调用：

CREATE FUNCTION gcd(x INTEGER, y INTEGER)   RETURN INTEGER AS   -- find greatest common divisor of x and y   ans   INTEGER; BEGIN   IF (y <= x) AND(x MOD y = 0) THEN     ans    := y;   ELSIF x < y THEN     ans    := gcd(y, x);   -- recursive call   ELSE     ans    := gcd(y, x MOD y);   -- recursive call   END IF;   RETURN ans; END;

下面是对象类型体的内容：

CREATE TYPE BODY rational AS   MAP MEMBER FUNCTION CONVERT     RETURN REAL IS   -- convert rational number to real number   BEGIN     RETURN num / den;   END CONVERT;   MEMBER PROCEDURE normalize IS     -- reduce fraction num / den to lowest terms     g   INTEGER;   BEGIN     g      := gcd(num, den);     num    := num / g;     den    := den / g;   END normalize;   MEMBER FUNCTION reciprocal     RETURN rational IS     -- return reciprocal of num / den   BEGIN     RETURN rational(den, num);   -- call constructor   END reciprocal;   MEMBER FUNCTION plus(x rational)     RETURN rational IS     -- return sum of SELF + x     r   rational;   BEGIN     r    := rational(num * x.den + x.num * den, den * x.den);     r.normalize;     RETURN r;   END plus;   MEMBER FUNCTION LESS(x rational)     RETURN rational IS     -- return difference of SELF - x     r   rational;   BEGIN     r    := rational(num * x.den - x.num * den, den * x.den);     r.normalize;     RETURN r;   END LESS;   MEMBER FUNCTION times(x rational)     RETURN rational IS     -- return product of SELF * x     r   rational;   BEGIN     r    := rational(num * x.num, den * x.den);     r.normalize;     RETURN r;   END times;   MEMBER FUNCTION divby(x rational)     RETURN rational IS     -- return quotient of SELF / x     r   rational;   BEGIN     r    := rational(num * x.den, den * x.num);     r.normalize;     RETURN r;   END divby; END;

七、声明并初始化对象

只要对象类型在模式中定义了，我们就可以在任何PL/SQL块、子程序或包中引用它来声明对象。例如，我们可以使用对象类型作为属性、字段、变量、绑定变量、记录的域、表元的素、形式参数或函数返回值的数据类型。在运行时，对象类型的实例会被创建，也就是对象实例被初始化。

1、定义对象

我们可以在使用内置类型(如CHAR或NUMBER)的地方使用对象类型。在下面的块中，我们声明了Rational类型的对象r。然后调用构造函数初始化对象，把值6和8分别赋给属性num和den。

DECLARE   r   rational; BEGIN   r    := rational(6, 8);   DBMS_OUTPUT.put_line(r.num);   -- prints 6 END;

我们还可以把对象作为函数和过程的形式参数。那样就能把对象从一个子程序传递到另一个子程序了。在下面的例子中，我们使用对象类型Account作为形式参数：

DECLARE   ...   PROCEDURE open_acct (new_acct IN OUT Account) IS ...

下面，我们把Accout作为函数的返回类型来使用：

DECLARE   ...   FUNCTION get_acct (acct_id IN INTEGER) RETURN Account IS ...

2、初始化对象

如果不调用构造函数初始化对象，那它会被自动赋上空值。也就是说对象本身为空，不单单指它的属性。如下例：

DECLARE   r   rational;   -- r becomes atomically null BEGIN   r    := rational(2, 3);   -- r becomes 2/3 END;

一个空对象总不能等于另一个对象。实际上，拿一个空对象与另一个对象比较结果总是NULL.同样，如果把一个空对象或NULL赋给另一个对象，那么被赋值的对象也为空，示例如下：

DECLARE   r   rational; BEGIN   r    := rational(1, 2);   -- r becomes 1/2   r    := NULL;   -- r becomes atomically null   IF r IS NULL THEN ...   -- condition yields TRUE

一个好的编程习惯就是在声明的时候就为对象初始化，例如：

DECLARE   r Rational := Rational(2,3);   -- r becomes 2/3

3、PL/SQL如何对待未初始化对象

在表达式中，未初始化的对象属性值为NULL。如果为一个未初始化的对象属性赋值，就会引起预定义异常ACCESS_INTO_NULL。当对未初始化的对象或是它的属性使用IS NULL做比较时，结果总为TRUE。

下面的例子就演示了空对象和含有空属性的对象之间的差异：

DECLARE   r   rational;   -- r is atomically null BEGIN   IF r IS NULL THEN ...   -- yields TRUE   IF r.num IS NULL THEN ...   -- yields TRUE   r        := rational(NULL, NULL);   -- initializes r   r.num    := 4;   -- succeeds because r is no longer atomically null   -- even though all its attributes are null   r        := NULL;   -- r becomes atomically null again   r.num    := 4;   -- raises ACCESS_INTO_NULL EXCEPTION   WHEN ACCESS_INTO_NULL THEN     ...; END;

调用一个未初始化对象的方法会引起预定义异常NULL_SELF_DISPATCH。如果把未初始化对象的属性作为IN模式参数进行传递时，就跟传递一个NULL参数一样；如果把它作为OUT或IN OUT模式参数传递，并且尝试为其赋值，就会引起异常。

八、访问属性

我们只能按名称来引用属性，不可以使用它的位置来进行引用。在下面的例子中，我们先把属性den赋给变量denominator，然后把变量numerator的值赋给属性num。

DECLARE   r             rational := rational(NULL, NULL);   numerator     INTEGER;   denominator   INTEGER; BEGIN   ...   denominator    := r.den;   r.num          := numerator; END;

下面再看一个稍微复杂一点的对象嵌套例子：

CREATE TYPE address AS OBJECT(   street     VARCHAR2(30),   city       VARCHAR2(20),   state      CHAR(2),   zip_code   VARCHAR2(5) ); CREATE TYPE student AS OBJECT(   NAME           VARCHAR2(20),   home_address   address,   phone_number   VARCHAR2(10),   status         varcahr2(10),   advisor_name   VARCHAR2(20),   ... );

这里要注意的是，zip_code是对象类型Address的一个属性，而Address又是对象Student的属性home_address的数据类型。如果s是Student的对象的话，我们就可以像下面这样访问它的zip_code属性：

s.home_address.zip_code

九、定义构造函数

默认情况下，我们不需要为对象类型定义构造函数，因为系统会提供一个接受与每个属性相对应的参数的构造函数。

我们也许想定义自己的构造函数：

1. 为某些属性提供默认值，这样就能确保属性值的正确性而不必依赖于调用者所提供的每一个属性值。
2. 避免许多特殊用途的过程只初始化对象的不同部分。
3. 当新的属性加到对象类型中时，避免更改调用构造函数的应用程序中的代码。构造函数也许需要一些新的代码，例如把属性设置为空，但我们还需要保持方法签名不变，这样可以使已存在的构造函数调用继续工作。

CREATE OR REPLACE TYPE rectangle AS OBJECT(   -- The type has 3 attributes.   LENGTH   NUMBER,   width    NUMBER,   area     NUMBER,   -- Define a constructor that has only 2 parameters.   CONSTRUCTOR FUNCTION rectangle(LENGTH NUMBER, width NUMBER)     RETURN SELF AS RESULT ); / CREATE OR REPLACE TYPE BODY rectangle AS   CONSTRUCTOR FUNCTION rectangle(LENGTH NUMBER, width NUMBER)     RETURN SELF AS RESULT AS   BEGIN     SELF.LENGTH    := LENGTH;     SELF.width     := width;     -- We compute the area rather than accepting it as a parameter.     SELF.area      := LENGTH * width;     RETURN;   END; END; / DECLARE   r1   rectangle;   r2   rectangle; BEGIN   -- We can still call the default constructor, with all 3 parameters.   r1    := NEW rectangle(10, 20, 200);   -- But it is more robust to call our constructor, which computes   -- the AREA attribute. This guarantees that the initial value is OK.   r2    := NEW rectangle(10, 20); END; /

十、调用构造函数

只要是能够调用普通函数的地方，我们就可以调用构造函数。跟所有的函数一样，构造函数也可以作为表达式的一部分而被调用，如下例所示：

DECLARE   r1   rational := rational(2, 3);   FUNCTION average(x rational, y rational)     RETURN rational IS   BEGIN     ...   END; BEGIN   r1    := average(rational(3, 4), rational(7, 11));   IF (rational(5, 8) > r1) THEN     ...   END IF; END;

当我们为构造函数传递参数的时候，调用会把对象中需要初始化的属性赋上初始值。如果是调用默认的构造函数，我们就需要为每个属性指定一个初始值；跟常量和变量不同，属性是不可以有默认值的。下例中，第n个参数为第n个属性赋值：

DECLARE   r   rational; BEGIN   r    := rational(5, 6);   -- assign 5 to num, 6 to den   -- now r is 5/6

十一、调用方法

跟打包子程序一样，方法也是使用点标志来调用的。示例如下：

DECLARE   r   rational; BEGIN   r    := rational(6, 8);   r.normalize;   DBMS_OUTPUT.put_line(r.num);   -- prints 3 END;

如下例所示，我们可以连续调用方法。执行顺序从左到右。首先，成员函数reciprocal()会被调用，然后成员过程normalize()被调用。

DECLARE   r   rational := rational(6, 8); BEGIN   r.reciprocal().normalize;   DBMS_OUTPUT.put_line(r.num);   -- prints 4 END;

在SQL语句中，调用无参数的方法需要使用一个空的参数列表。在过程化语句中，空的参数列表是可选的，除非我们使用链式调用，这时除了最后一个调用之外其他的都需要空的参数列表。

我们不能把过程作为连续调用的一部分，因为过程是作为语句使用而不是表达式。所以，像下面这样的语句是不允许的：

r.normalize().reciprocal;   -- not allowed

同样，如果连续调用两个函数，第一个函数必须返回一个能传入第二个函数的对象。对于静态方法，我们使用下面的语法：

type_name.method_name

这种调用是不需要对象实例的。从子类实例中调用方法时，实际执行的方法是由类的继承关系决定的。如果子类覆盖了基类的方法，子类的方法就会被调用；否则的话，基类的方法会被调用。这种情况称为动态方法分派。

十二、通过REF修饰符共享对象

在真实世界中的大多数对象都要比有理数类型庞大而且复杂。如果对象比较大的话，把对象副本从一个子程序传递到另一个子程序时效率就可能会很低。这时如果使用对象共享就很有意义了，我们可以使用一个指向对象的引用来引用所需要的对象。

共享有两个重要的好处。首先，避免了不必要的数据重复。其次，在共享的对象内容更新时，任何引用所指向的内容也会被立即更新。如下面的例子：

CREATE TYPE home AS OBJECT(   address      VARCHAR2(35),   owner        VARCHAR2(25),   age          INTEGER,   style        VARCHAR(15),   floor_plan   BLOB,   price        REAL(9, 2),   ... ); / CREATE   TABLE homes OF home;

修改一下Person，我们就能建立家庭的模型，几个人共享一个家。我们可以使用修饰符REF来声明引用：

CREATE TYPE person AS OBJECT(   first_name     VARCHAR2(10),   last_name      VARCHAR2(15),   birthday       DATE,   home_address   REF home,   -- can be shared by family   phone_number   VARCHAR2(15),   ss_number      INTEGER,   mother         REF person,   -- family members refer to each other   father         REF person,   ... );

我们可以把变量、参数、字段或属性声明为引用。而且，我们还可以在SQL数据操作语句中把引用当作输入或输出变量使用。但是，我们不可以通过引用调用对象的内容。比如表达式x.attribute，其中x是一个引用，PL/SQL无法找到存放对象的数据表。例如，下面的赋值语句就是不允许的：

DECLARE   p_ref      REF person;   phone_no   VARCHAR2(15); BEGIN   phone_no    := p_ref.phone_number;   -- not allowed END;

解决办法就是用函数DEREF或调用包UTL_REF来访问对象。

1、向前类型定义

我们只能引用已经存在的模式对象。下例中，第一个CREATE TYPE语句是不允许的，因为它引用的Department并不存在：

CREATE TYPE employee AS OBJECT(   NAME   VARCHAR2(20),   dept   REF department,   -- not allowed   ... ); CREATE TYPE department AS OBJECT(   "number"   INTEGER,   manager    employee,   ... );

把上面两个CREATE TYPE语句调换位置也不会起作用，因为这两个对象类型是互相依赖的。对象类型Employee有着一个Department类型的属性，而Department又同样有着一个Employee类型的属性。为了解决这个问题，我们应该使用特殊的CREATE TYPE语句，我称它为向前类型定义，这样我们就可以互相引用两个独立的对象类型。现在使用下面的语句：

要调试上面的例子，我们只要把下面的语句提前即可：

CREATE TYPE Department;   -- forward type definition -- at this point, Department is an incomplete object type

向前类型定义创建的对象类型被称为不完全对象类型(incomplete object type)，因为它没有属性和方法。一个不纯的不完全对象类型有属性，但编译时会发生错误，因为它引用了一个未确定的类型。例如，下面的CREATE TYPE语句就会因对象类型Address未确定而出错：

CREATE TYPE Customer AS OBJECT (   id     NUMBER,   name   VARCHAR2(20),   addr   Address,   -- not yet defined   phone  VARCHAR2(15) );

如果使用了向前声明，我们就可以推迟对象类型Address的定义，并且，不完全类型Customer也可以被其他应用程序的开发者引用。

十三、操作对象

我们可以在CREATE TABLE语句中把某个字段指定为对象类型。一旦表被建立，我们就可以用SQL语句把对象插入表中，选取它的属性，调用它的方法更新它的状态。

注意：访问远程的或分布式对象都是不允许的。

在下面SQL*Plus脚本中，INSERT语句调用对象类型Rational的构造函数，然后插入resulting对象。SELECT语句检索属性num的值。UPDATE语句调用成员方法reciprocal()，在交换属性num和den之后，返回Retional的值。要注意的是，在引用属性或方法时，表别名是必须的。

CREATE TABLE numbers (rn Rational, ...) / INSERT INTO numbers (rn) VALUES (Rational(3, 62))   -- inserts 3/62 / SELECT n.rn.num INTO my_num FROM numbers n ...   -- returns 3 / UPDATE numbers n SET n.rn = n.rn.reciprocal() ... --   yields 62/3

用这种方法初始化对象时，对象在数据库表之外是没有标识的。但是，对象类型是独立于表而存在的，可以用其他方式创建对象。

下例中，我们创建一个存放对象类型Retional的表。这样包含对象类型的表称为对象表。一行中的每一列都与对象的属性对应。行与行间的列值是不同的。

CREATE TABLE rational_nums OF Rational;

对象表中每行都有一个对象标识，能够唯一辨识一个存放在数据库中的对象。

1、查询对象

假定我们要在SQL*Plus中运行下面的脚本，创建一个对象类型Person和一个对象表persons，并且我们为该表填充一些数据：

CREATE TYPE person AS OBJECT(   first_name     VARCHAR2(15),   last_name      VARCHAR2(15),   birthday       DATE,   home_address   address,   phone_number   VARCHAR2(15) ) / CREATE TABLE persons OF person /

下面子查询能产生一个只包含Person对象属性的结果集：

BEGIN   INSERT INTO employees   -- another object table of type Person     SELECT *       FROM persons p      WHERE p.last_name LIKE '%Smith';

要返回对象结果集，我们就必须使用VALUE函数。

• 使用VALUE函数

跟我们所期望的一样，函数VALUE能返回对象值。VALUE会把一个相关的变量作为它的参数。(在这里，相关变量就是行变量或与对象表中的一行相关联的表别名)。例如，要返回Person对象的结果集，要向下面这样使用VALUE：

BEGIN   INSERT INTO employees     SELECT VALUE(p)       FROM persons p      WHERE p.last_name LIKE '%Smith';

在下面的例子中，我们可以使用VALUE来返回一个特定的Person对象：

DECLARE   p1   person;   p2   person;   ... BEGIN   SELECT VALUE(p)     INTO p1     FROM persons p    WHERE p.last_name = 'Kroll';   p2    := p1;   ... END;

p1是一个本地的Person对象，它是名为"Kroll"的存储对象的一个副本，而p2是另一个本地Person对象，它是p1的副本。如下例所示，我们可以使用这些变量来访问和更新它们所引用的对象：

BEGIN   p1.last_name    := p1.last_name || ' Jr'; END;

现在，本地的Person对象p1的名字为"Kroll Jr"。

• 使用REF函数

我们可以用函数REF来检索引用，同VALUE一样，它也把一个相关的变量作为它的参数。下例中，我们检索一个或多个指向Person对象的引用，然后把引用插入表person_refs中：

BEGIN   INSERT INTO person_refs     SELECT REF(p)       FROM persons p      WHERE p.last_name LIKE '%Smith'; END;

下面的例子我们同时检索一个引用和一个属性：

DECLARE   p_ref         REF person;   taxpayer_id   VARCHAR2(9); BEGIN   SELECT REF(p), p.ss_number     INTO p_ref, taxpayer_id     FROM persons p    WHERE p.last_name = 'Parker';   -- must return one row   ... END;

在最后一个例子中，我们更新一个Person对象的属性：

DECLARE   p_ref          REF person;   my_last_name   VARCHAR2(15); BEGIN   SELECT REF(p)     INTO p_ref     FROM persons p    WHERE p.last_name = my_last_name;   UPDATE persons p      SET p = person('Jill', 'Anders', '11-NOV-67', ...)    WHERE REF(p) = p_ref; END;

• 测试dangling引用

如果一个引用所指向的对象被删除了，那么它就会指向一个不存在的对象，我们称这样的引用为dangling引用。要测试这种情况，我们应该使用SQL的IS DANGLING语句。假设关系表department的manager字段引用了对象表中的Employee对象。我们就可以使用下面的UPDATE语句来把"dangling"引用转为空值：

UPDATE department    SET manager = NULL  WHERE manager IS DANGLING;

• 使用DEREF函数

我们不可以在PL/SQL过程语句中。(DEREF是dereference的缩写。当我们反引用一个指针时，我们就能获取它所指向的值。)DEREF把对象的引用作为它的参数值，然后返回这个引用所指向的对象。如果引用是"dangling"的，DEREF就会返回一个空对象。

在下面的例子中，我们可以反引用一个指向Person对象的引用。要注意的是，我们是从dummy表dual中取得引用值的。我们不需要指定对象表和检索条件，因为每个存放于对象表的对象都有唯一的互斥的对象标识，它是每一个指向对象的引用的一部分。

DECLARE   p1      person;   p_ref   REF person;   NAME    VARCHAR2(15); BEGIN   ...   /* Assume that p_ref holds a valid reference   to an object stored in an object table. */   SELECT DEREF(p_ref)     INTO p1     FROM DUAL;   NAME    := p1.last_name; END;

我们可以在后续的SQL语句中用DEREF进行反引用操作，如下例所示：

CREATE TYPE personref AS OBJECT(   p_ref   REF person ) / DECLARE   NAME     VARCHAR2(15);   pr_ref   REF personref;   pr       personref;   p        person; BEGIN   ...   /* Assume pr_ref holds a valid reference. */   SELECT DEREF(pr_ref)     INTO pr     FROM DUAL;   SELECT DEREF(pr.p_ref)     INTO p     FROM DUAL;   ... END; /

下面是一个我们不能在过程语句中使用DEREF函数的例子：

BEGIN   ...   p1 := DEREF(p_ref);   -- not allowed

在SQL语句中，我们可以使用点标志通过一个对象字段来引用它的属性，也可以通过一个对象字段的属性引用另一个属性。如果使用了表别名，那么就还能通过引用字段来访问属性。例如，下面的语法就是有效的：

table_alias.object_column.ref_attribute table_alias.object_column.ref_attribute.attribute table_alias.ref_column.attribute

假设我们在SQL*Plus中运行下面的脚本来创建对象类型Address和Person，对象表persons：

CREATE TYPE address AS OBJECT(   street     VARCHAR2(35),   city       VARCHAR2(15),   state      CHAR(2),   zip_code   INTEGER ) / CREATE TYPE person AS OBJECT(   first_name     VARCHAR2(15),   last_name      VARCHAR2(15),   birthday       DATE,   home_address   REF address,   -- shared with other Person objects   phone_number   VARCHAR2(15) ) / CREATE   TABLE persons OF person /

引用属性home_address对应对象表persons中的一个引用，该引用指向存放在其他表中的Address对象的字段。填充数据表之后，我们就可以像下面这样反引用它的引用来得到特定的address：

DECLARE   addr1 Address;   addr2 Address;   ... BEGIN   SELECT DEREF(home_address)     INTO addr1     FROM persons p    WHERE p.last_name = 'Derringer'; END;

在下面的例子中，我们可以通过引用字段home_address来找到属性street。这种情况下，我们必须要使用表别名。

DECLARE   my_street   VARCHAR2(25);   ... BEGIN   SELECT p.home_address.street     INTO my_street     FROM persons p    WHERE p.last_name = 'Lucas'; END;

2、插入对象

我们可以使用insert语句为对象表添加一条记录。下例中，我们向对象表persons插入一个Person对象：

BEGIN   INSERT INTO persons        VALUES ('Jenifer', 'Lapidus', ...); END;

另外，我们还可以使用对象类型Person的构造函数来插入记录：

BEGIN   INSERT INTO persons        VALUES (person('Albert', 'Brooker', ...)); END;

下例中，我们可以使用RETURNING子句把对象Person的引用保存在本地变量中。注意一下这个子句是如何模拟SELECT语句的。我们也可以在UPDATE和DELETE语句中使用RETURNING子句。

DECLARE   p1_ref   REF person;   p2_ref   REF person; BEGIN   INSERT INTO persons p        VALUES (Person('Paul', 'Chang', ...))     RETURNING REF(p)          INTO p1_ref;   INSERT INTO persons p        VALUES (Person('Ana', 'Thorne', ...))     RETURNING REF(p)          INTO p2_ref; END;

要往对象表中插入对象，我们还可以利用返回同样对象类型的子查询来进行操作。示例如下：

BEGIN   INSERT INTO persons2     SELECT VALUE(p)       FROM persons p      WHERE p.last_name LIKE '%Jones'; END;

拷贝到对象表person2的行被赋予新的对象标识。对象标识是不会从对象表persons中拷贝出来的。

下面的脚本创建一个名为department的关系表，其中有一个类型为Person的字段，然后向表中插入一条记录。注意如何使用构造函数Person()为字段manager提供值。

CREATE TABLE department (   dept_name VARCHAR2(20),   manager person,   LOCATION VARCHAR2(20)) / INSERT INTO department      VALUES ('Payroll', Person('Alan', 'Tsai', ...), 'Los Angeles') /

存放到字段manager中的新Person对象是不能被引用的，因为它是被存放在字段中(不是行中)的，也就没有对象标识。

3、更新对象

如果要修改对象表中的对象属性，我们可以像下面这样使用UPDATE语句：

BEGIN   UPDATE persons p      SET p.home_address = '341 Oakdene Ave'    WHERE p.last_name = 'Brody';   UPDATE persons p      SET p = person('Beth', 'Steinberg', ...)    WHERE p.last_name = 'steinway'; END;

4、删除对象

我们可以用DELETE语句从对象表中删除对象。要有选择的删除对象，我们就得在WHERE子句中进行指定：

BEGIN   DELETE FROM persons p         WHERE p.home_address = '108 Palm Dr'; END;