CREATE TYPE
功能描述
Vastbase在Oracle兼容模式下，CREATE TYPE支持如下特性：
使用CREATE TYPE创建抽象数据类型，并支持使用create type body实现在create type中声明的方法。
create type支持table集合和varray集合。
对于创建的抽象对象的应用，create type支持创建对象表，即表的列属性是对象数据类型(抽象数据类型)。对象表分为行对象表和列对象表。
行对象表是指直接基于对象类型所建立的表，一个对象表的列代表了对象数据类型的所有属性，即对象类型是子类型时，表的列就是包含了父类型和子类型的所有属性，每一个行记录就是一个对象数据类型的实例。
列对象表是指一张表中既有列是标量类型，也有列是对象数据类型。
支持使用使用OVERRIDING进行成员函数重写。
注意事项
该功能仅在数据库兼容模式为Oracle时支持（即数据库实例初始化时指定DBCOMPATIBILITY='A'）。
在使用OVERRIDING进行成员函数重写时，若希望对参数名也进行检查，需要打开参数enable_proc_param_name_override。
静态方法（STATIC）不能重写（OVERRIDING）。
仅Vastbase V2.2 Build 10(Patch No.7)及以后版本支持对成员函数进行重写、定义成员变量和成员函数。
语法格式
CREATE TYPE
定义抽象数据类型
CREATE [OR REPLACE] TYPE typname [FORCE] AS|IS OBJECT ({atrribute datatype [,]}{,element_spec})[NOT] {[FINAL|INSTANTIABLE]}};定义子类型
CREATE [OR REPLACE] TYPE typname, [FORCE] UNDER supertype ({atrribute datatype [,] }{,element_spec})[NOT]{[FINAL|INSTANTIABLET]}};
CREATE TYPE BODY
定义抽象数据类型体
CREATE [OR REPLACE] TYPE BODY typname {is|as} {proc_decl_in_type|func_decl_in_type|constructor_declaration|map_order_func_declaration} END；proc_decl_in_type
创建抽象类型时声明的存储过程，声明语法如下：
PROCEDURE procname {[parameter_list]}{IS|AS} 存储过程体;func_decl_in_type
创建抽象类型时声明的函数，声明语法如下：
FUNCTION funcname{[parameter_list]} RETURN datatype {IS|AS} 函数体;constructor_declaration
构造函数，声明语法如下：
[FINAL] [INSTANTTABLE]CONSTRUCTOR FUNCTION datatype [([ SELF IN OUT datatype,] parameter datatype [,parameter datatype ]...)]RETURN SELF AS RESULT {IS|AS} 函数体;map_order_func_declaration
构造函数，声明语法如下：
{MAP|ORDER}MEMBER FUNCTION funcname {[(parameter_list)]} RETURN datatype {IS|AS} 函数体;
创建对象表
CREATE TABLE tablename OF object_type;
table集合和varray集合
create or replace type typname is/as VARRAY (size_limt) | table of datatype;
参数说明
typname
抽象类型名称。
tablename
表名称。
object_type
创建表使用的类型名称，类型已存在。
create or replace
如果没有type则新建一个，如果已经存在，则删除后重新创建。
FORCE
使用FORCE选项可以避免当前的TYPE被其他对象所依赖后而无法重建或删除。不过这种依赖仅限于对象之间，如果依赖对象的是表，则FORCE功能不起作用。
{is | as} object
表示创建对象类型的自定义type 。
atrribute
抽象数据类型中的成员变量名，抽象数据类型中至少包含一个属性，且属性必须唯一，不能与抽象数据类型中其他属性或者方法重名，子类型属性也不能与父类型属性或者方法重名。
element_spec
定义抽象类型时声明的成员函数，存储过程，构造器函数等子程序。
datatype
处理抽象数据类型的相关方法。
抽象数据类型的方法总共有三类：子程序方法、构造函数、排序函数。方法的声明语法如下：
[{NOT]{[OVERRIDING]|FINAL|INSTANTIABLE]}] {subprogram_spec |constructor_spec|map_order_function_spec}[{NOT]{[OVERRIDING]|FINAL|INSTANTIABLE]}]
继承子句。表示父类型与子类型关系的子句。
OVERRIDING：在创建type时，支持对成员函数进行重写（overriding）。即：在子类型type2中创建与父类型type1中成员函数同名同参的成员函数；通过overriding关键字进行覆写，使type2中的该函数可以与type1中的实现不同的功能。
默认值为：NOT OVERRIDING。
FINAL ：指定该类型中的这个方法不能被该类型的任何子类型方法覆盖。
默认值：NOT FINAL。
INSTANTIABLE：指定抽象类型中该方法是否可以被实例化。
默认值：所有的方法都可以被实例化，暂不支持该选项。
subprogram_spec
子程序方法声明：子程序分为member方法和static方法，声明语法如下：
[MEMBER|STATIC] function_spec|procedure_spec;member方法：访问抽象数类型的实例中的数据类型的方法，该类型的方法有一个隐形的参数SELF，代表的是调用该方法的抽象数据类型的实例，member方法无论是否显示定义第一个参数为SELF，它的一个参数都是SELF，调用方式为：object_expression.method()，即抽象数据类型的实例.方法()。
- 成员方法表示对象实例级别的数据调用。
- 成员方法的 self是内置参数，表示调用当前实例的对象。
- 成员方法的 self可以显示声明，但不是必须的。
- type中定义的对象，在成员方法中可以隐式 self方式的进行访问。
static 方法：与抽象数据类型相关的方法，static 方法没有隐形参数 SELF，因此在方法实现中不能使用抽象数据类型中访问特定实例的属性，调用方式为typname.method ()，即抽象数据类型.方法()。
- 用于访问对象类型，能够在对象类型上执行全局操作，而不需要访问特定对象实例的数据，所以 static方法没有 self参数。
- static方法只能由对象类型调用，不能由对象实例调用。
function_spec：函数体。
procedure_spec：存储过程体。
constructor_spec
构造函数声明。由于抽象数据类型不像标量数据类型一样可以直接赋值，因此需要使用构造函数对其中的属性进行赋值。声明方式如下:
[FINAL][INSTANTIABLE]CONSTRUCTOR FUNCTION datatype[([ SELF IN OUT datatype,] parameter datatype [, parameter datatype ]... )] RETURN SELF AS RESULT;
该方法是用户自定义的构造函数，该类方法有一个隐形的参数 SELF(无论是否显示指定，这个参数都存在)，代表的是当前正在调用的抽象数据类型的实例，返回值是该抽象数据类型的实例。用户可以为一个抽象数据类型创建多个构造函数，只要这些构造函数的参数在参数顺序，个数，参数类型上不同即可。默认的构造函数需要传入全部属性的值。
INSTANTIABLE选项暂不支持。
map_order_function_spec
排序函数是指定抽象数据类型的比较方法和比较规则，声明方法如下：
{MAP|ORDER}MEMBER function_specMAP函数：按照用户自定义的比较方法和排序规则将多个对象实例排序。
map 成员方法的 self可以显示声明，但不是必须的。
map成员方法在一个 type中只允许定义一个。
map成员方法可以将单个实例的对象转化为标量数据类型(如CHAR或REAL)的值，具有预定义顺序的作用，方便进行比较。
map成员方法只能定义 self参数，方法不能定义为其他任何参数。
ORDER函数：按照用户自定义的比较方法和规则将两个抽象数据类型对象进行比较大小。
- order 成员方法和 map 成员方法不能同时在一个 type 中定义。
- order 成员方法在一个type 中只允许定义一个。
- order 成员方法必须定义一个 object type的输入参数，并且函数返回值类型必须为 integer数据类型。
- order 成员方法是比较两个 type实例的对象大小。
当用户定义一个类型时，这两种函数只能2选1。
[NOT]{[FINAL|INSTANTIABLET]}
表示该类型是否可以继承。
[NOT] FINAL：表示该类型是否可以创建子类型。
默认值：FINAL，不允许该类型创建子类型。
[NOT] INSTANTIABLET：表示此对象是否有任何实例，当前版本暂不支持该选项。
示例
示例1：使用 create or replace type 定义抽象数据类型。
create or replace type addresstype as object ( province varchar(20), city varchar(30), street varchar(40) );示例2：继承子句。
1、创建父类型，使用not final选项。
create or replace type parenttype as object ( province varchar(20), city varchar(30), street varchar(40) ) not final;2、创建子类型。
create or replace type childrentype under parenttype ( home varchar(20), position varchar(30) );示例3：使用抽象数据类型创建表并插入数据。
1、创建抽象父类型。
create or replace type parenttype as object ( province varchar(20), city varchar(30), street varchar(40) )not final;2、创建抽象子类型。
create or replace type childrentype under parenttype ( home varchar(20), position varchar(30) );3、创建表。
create table addresstable (id int,address childrentype);4、插入数据。
insert into addresstable values(1,childrentype('广西省','桂林市','全州县','才湾镇','才湾村'));5、查询数据。
select * from addresstable;返回结果为：
id | address ----+-------------------------------------- 1 | (广西省,桂林市,全州县,才湾镇,才湾村) (1 row)示例4：使用type创建table集合类型。
1、创建抽象类型。
create type typa as object(a int,name varchar2(10), constructor function typa(m_a int) return self as result );2、创建对象表并插入数据。
create table object_table of typa; insert into object_table values(1,'nanjing');3、查询对象表中数据。
select * from object_table;返回结果为：
a | name ---+--------- 1 | nanjing (1 row)示例5：创建order成员方法。
create or replace type emp_type4 as object( name varchar2(10), birthdate date, order member function compare(emp4 emp_type4) return int );返回结果如下，表示创建成功。
CREATE TYPE示例6：使用type创建varray集合。
varry是变长数组类型，当PL/SQL中包含多种数据类型时，可以使用varray集合来处理。
1、创建复合类型phone_typ。
create type phone_typ as object( country_code varchar2(2), area_code varchar2(3), ph_number varchar2(7) );2、基于已创建的复合类型使用
create type创建最多包含5个元素的VARRAY集合。create type phone_varray_typ as varray(5) of phone_typ;3、创建测试表。
create table dept_phone_list( dept_no number(5), phone_list phone_varray_typ );4、基于type的varray集合，使用构造函数方式插入数据。
insert into dept_phone_list values( 100,phone_varray_typ(phone_typ('01','650','5550123'),phone_typ('01','650','5550148'),phone_typ('01','650','5550192')) );5、查询数据。
select * from dept_phone_list;返回结果为：
dept_no | phone_list ---------+------------------------------------------------------------ 100 | {"(01,650,5550123)","(01,650,5550148)","(01,650,5550192)"} (1 row)示例7：使用OVERRIDING实现成员函数的重写。
1、设置参数enable_proc_param_name_override的值为on。（在覆写成员函数时对参数名进行检查。）
set enable_proc_param_name_override=on;2、创建一个type对象t_person。
create type t_person as object ( id integer, first_name varchar(10), last_name varchar(10), member function display_details(a int) return varchar2 )not final; create type body t_person as member function display_details(a int) return varchar2 is begin return 'id='|| id || ',name=' || first_name || ' ' || last_name ; end; end; /3、创建子类型t_business_person，对父类型的功能进行重写。
create type t_business_person under t_person ( title varchar2(10), company varchar2(10), overriding member function display_details(a int) return varchar2, member function display_details(b int) return varchar2 ); create type body t_business_person as overriding member function display_details(a int) return varchar2 is begin return 'id=' || id || ',name=' || first_name || ' ' || last_name || 'title=' || title; end; member function display_details(b int) return varchar2 is begin return 'id=' || id || ',name=' || first_name || ' ' || last_name || 'title=' || title || 'company=' || company ; end; end; /4、允许将dbms_output.put_line的输出信息输出至vsql的命令界面的屏幕上。
set serveroutput on;5、分别调用父类型和子类型，将输出不同的display_details信息。
DECLARE v_person t_person; v_business_person t_business_person; BEGIN v_person := t_person(1,'测试F','测试2'); v_business_person := t_business_person(1,'AA','BB','标题~','公司Co'); dbms_output.put_line(v_person.display_details(1)); --父类型输出信息 dbms_output.put_line(v_business_person .display_details(a=>1)); --子类型重写后的输出信息 dbms_output.put_line(v_business_person .display_details(b=>1)); --子类型重写后的输出信息 end; /返回结果为：
id=1,name=测试F 测试2 id=1,name=AA BBtitle=标题~ id=1,name=AA BBtitle=标题~company=公司Co ANONYMOUS BLOCK EXECUTE
