全面探討PL/SQL的復合數據類型

雖然這三種類型的集合有很多不同之處，但他們也由很多相似的地方：

. 都是一維的類似數組的結構

. 都有內建的方法

. 訪問由點分隔

Index_by表

Index_by表集合的定義語法如下：

TYPE type_name IS TABLE OF element_type [NOT NULL] INDEX
BY BINARY_INTERGET;

這裡面重要的關鍵字是INDEX BY BINARY_INTERGET，沒有這個關鍵字，那麼集合將是一個嵌套表，element_type可以是任何合法的PL/SQL數據類型，包括：PLS/INTEGER、SIGNTYPE、和BOOLEAN。其他的集合類型對數據庫的數據類型都有限制，但Index_by表不能存儲在數據庫中，所以沒有這些限制。

一旦定義了index_by表，就可以向創建其他變量那樣創建index_by表的變量：

DECLARE
TYPE symbol_tab_typ IS TABLE OF VARCHAR2(5) INDEX BY BINARY_INTEGER;
symbol_tab symbol_tab_typ;
BEGIN

嵌套表

嵌套表非常類似於Index_by表，創建的語法也非常相似。使用TYPE語句，只是沒有INDEX BY BINARY_INTEGER子串。

TYPE type_name IS TABLE OF element_type [NOT NULL]

NOT NULL選項要求集合所有的元素都要有值，element_type可以是一個記錄，但是這個記錄只能使用標量數據類型字段以及只用於數據庫的數據類型（不能是PLS_INTEGER,BOOLEAN或SIGNTYPE）。

嵌套表和VARRAY都能作為列存儲在數據庫表中，所以集合自身而不是單個的元素可以為NULL,Oracle稱這種整個集合為NULL的為"自動設置為NULL(atomically NULL)"以區別元素為NULL的情況。當集合為NULL時，即使不會產生異常，用戶也不能引用集合中的元素。用戶可以使用IS NULL操作符檢測集合是否為NULL。

存儲在一個數據庫中的嵌套表並不與表中的其它數據存放在同一個數據塊中，它們實際上被存放在第二個表中。正如沒有order by子句select語句不能保證返回任何有順序的數據，從數據庫中取回的嵌套表也不保證元素的順序。由於集合數據是離線存儲的，對於大型集合嵌套表是一個不錯的選擇。

VARRAY

VARRAY或數據變量都有元素的限制。想起他集合一樣VARRAY定義仍然使用TYPE語句，但關鍵字VARRAY或VARRYING ARRAY告訴Oracle這是一個VARRAY集合。

TYPE type_name IS [VARRAY|VARYING ARRAY] (max_size) OF
element_type [NOT NULL]

max_size是一個整數，用於標示VARRAY集合擁有的最多元素數目。VARRAY集合的元素數量可以低於max_size,但不能超過max_size。element_type是一維元素的數據類型，如果element_type是記錄，那麼這個記錄只能使用標量數據字段（與嵌套標相似）。NOT NULL子串表示集合中的每一個元素都必須有值。

與嵌套表相似，VARRAY能夠自動為NULL,可以使用IS NULL操作符進行檢測。與嵌套表不同的是，當VARRAY存儲在數據庫中時與表中的其他數據存放在同一個數據塊中。正象列的排序保存在表的SELECT*中一樣元素的順序保存在VARRAY中。同樣由於集合是在線存儲的，VARRAY很適合於小型集合。

使用集合

象記錄一樣，集合可以在兩個層面上使用：

. 操作整個集合

. 訪問集合中的單個元素

第一種情況使用集合名，第二種情況使用下標：

collection(subscript)

index_by表的下標是兩為的整數，可以為正也可以為負，范圍是：-2147483647--2147483647。嵌套表和VARRAY表示元素在集合中的位置，用戶很難靈活設計下標，這是因為：

. 嵌套表開始是緊密的（相對於疏松）

. VARRAY始終保持緊密

. 這兩種集合的下標都由1開始

初始化、刪除、引用集合

使用集合之前必須要初始化，對於Index_by表初始化是自動進行的，但是對於嵌套表和VARRAY就必須使用內建的構造函數。如果重新調用，嵌套表和VARRAY自動置NULL，這不只是元素置NULL，而是整個集合置NULL。給集合內的元素賦值需要使用下標符號。將一個集合的值賦給另一個集合，只需要簡單的使用賦值操作符。

Index_by集合初始化是最簡單的，只要涉及其中的一個元素集合就被初始化了。

例：　

DECLARE
TYPE symbol_tab_typ IS TABLE OF VARCHAR2(5) INDEX BY BINARY_INTEGER;
TYPE account_tab_typ IS TABLE OF account%ROWTYPE INDEX BY BINARY_INTEGER;
symbol_tab symbol_tab_typ;
account_tab account_tab_typ;
new_acct_tab account_tab_typ;
BEGIN
--初始化集合元素147和-3
SELECT * INTO account_tab(147)
FROM accounts WHERE account_nbr=147;
SELECT * INTO account_tab(-3)
FROM accounts WHERE account_nbr=3003;
IF account_tab(147).balance<500 THEN
chang_maintenance_fee(147);
END IF
new_acct_tab:=account_tab;
symbol_tab(1):="ORCL";
symbol_tab(2):="CSCO";
symbol_tab(3):="SUNM";
publish_portfolio(symbol_tab);

嵌套表和VARRAY由構造函數初始化，構造函數和集合的名字相同，同時有一組參數，每個參數對應一個元素，如果參數為NULL,那麼對應的元素就被初始化為NULL,如果創建了元素，但沒有填充數據，那麼元素將保持null值，可以被引用，但不能保持數據。如果元素沒有初始化，那麼就不能引用該元素。

例：

DECLARE
TYPE stock_list IS TABLE OF stock.symbol%TYPE;
TYPE top10_list IS VARRAY (10) OF stocks.symbol%TYPE;
biotech_stocks stock_list;
tech_10 top10_list;
BEGIN
--非法，集合未初始化。
biotech_stocks(1):='AMGN';
IF biotech_stocks IS NULL THEN
--初始化集合
biotech_stocks：=('AMGN','BGEN',IMCL','GERN',CRA');
END IF;
tech_10:=top10_list('ORCL',CSCO','MSFT','INTC','SUNW','IBM',NULL,NULL);
IF tech_10(7) IS NULL THEN
tech_10(7):='CPQ';
END
tech_10(8):='DELL';

在這個例子中，嵌套表BIOTECH_STOCKS初始化有5個元素，VARRAY tech_10集合最多能有10 個元素，但構造函數只創建了8個元素，其中還有兩個元素是NULL值，並程序中給他們賦值。

初始化基於記錄的集合，就必須將記錄傳遞給構造函數，注意不能只是簡單的將記錄的域傳遞給構造函數。

例：

DECLARE
TYPE stock_quote_rec IS RECORD
(symbol stock.symbol%TYPE
,bid NUMBER(10,4)
,ask NUMBER(10,4)
,volume NUMBER NOT NULL:=0
);
TYPE stock_tab_typ IS TABLE OF stock_quote_rec;
quote_list stock_tab_typ;
single_quote stock_quote_rec;
BEGIN
single_quote.symbol:='OPCL';
single_quote.bid:=100;
single_quote.ask:=101;
single_quote.volume:=25000;
--合法
quote_list:=stock_tab_typ(single_quote);
--不合法
quote_list:=stock_tab_typ('CSCO',75,76,3210000);
DBMS_OUTPUT.LINE(quote_list(1).bid);集合的方法

除了構造函數外,集合還有很多內建函數，這些函數稱為方法。調用方法的語法如下：

collection.method

下表中列出Oracle中集合的方法

方法 描述 使用限制 COUNT 返回集合中元素的個數   DELETE 刪除集合中所有元素   DELETE() 刪除元素下標為x的元素，如果x為null,則集合保持不變 對VARRAY非法 DELETE(,) 刪除元素下標從X到Y的元素，如果X>Y集合保持不變 對VARRAY非法 EXIST() 如果集合元素x已經初始化，則返回TRUE, 否則返回FALSE   EXTEND 在集合末尾添加一個元素 對Index_by非法 EXTEND() 在集合末尾添加x個元素 對Index_by非法 EXTEND(,) 在集合末尾添加元素n的x個副本 對Index_by非法 FIRST 返回集合中的第一個元素的下標號，對於VARRAY集合始終返回1。   LAST 返回集合中最後一個元素的下標號, 對於VARRAY返回值始終等於COUNT.   LIMIT 返回VARRY集合的最大的元素個數，對於嵌套表和對於嵌套表和Index_by為null Index_by集合無用 NEXT() 返回在元素x之後及緊挨著它的元素的值，如果該元素是最後一個元素，則返回null.   PRIOR() 返回集合中在元素x之前緊挨著它的元素的值，如果該元素是第一個元素，則返回null。   TRI M 從集合末端開始刪除一個元素 對於index_by不合法 TRIM() 從集合末端開始刪除x個元素 對index_by不合法

關於集合之間的比較

集合不能直接用於比較，要比較兩個集合，可以設計一個函數，該函數返回一個標量數據類型。

IF stock_list1>stock_list2 ----非法
IF sort_collection(stock_list1)>sort_collection(stock_list2) THEN --合法

但可以比較在集合內的兩個元素。