Oracle 中VARRAY的 NOT NULL之惑

如果在定义VARRAY的时候带上NOT NULL限制，那么这个VARRAY的元素就不能为NULL. 如下定义： CREATE OR REPLACE TYPE integer_varr

如果在定义VARRAY的时候带上NOT NULL限制，那么这个VARRAY的元素就不能为NULL.

如下定义：

CREATE OR REPLACE TYPE integer_varray
AS VARRAY(5) OF INTEGER NOT NULL;
/

然后有一个ＰＬＳＱＬ块如下：

DECLARE

-- Declare and initialize a null set of rows.
varray_integer INTEGER_VARRAY := integer_varray();

BEGIN

-- Loop through all records to print the varray contents.
FOR i IN 1..varray_integer.LIMIT LOOP

-- Initialize row.
varray_integer.EXTEND;

　/*没有赋值,如果不赋值是NULL的话，，应该编译错误啊，结果是顺利通过编译*/

END LOOP;

-- Print to console how many rows are initialized.
dbms_output.put ('Integer Varray Initialized ');
dbms_output.put_line('['||varray_integer.COUNT||']');

--varray_integer(1):=null;

FOR i IN 1..varray_integer.COUNT LOOP

-- Print the contents.
dbms_output.put ('Integer Varray ['||i||'] ');
dbms_output.put_line('['||varray_integer(i)||']');

if(varray_integer(i) is null) then

　　　/*本来是认为这里应该不执行，结果会打印出来*/
dbms_output.put_line('Integer Varray ['||i||'] '|| 'is null');
end if;

END LOOP;

END;
/

运行结果如下：/*运行也正常，显示元素为NULL，于定义矛盾*/

Integer Varray Initialized [5]
Integer Varray [1] []
Integer Varray [1] is null
Integer Varray [2] []
Integer Varray [2] is null
Integer Varray [3] []
Integer Varray [3] is null
Integer Varray [4] []
Integer Varray [4] is null
Integer Varray [5] []
Integer Varray [5] is null

测试环境为：

BANNER
----------------------------------------------------------------
Oracle Database 10g Enterprise Edition Release 10.2.0.1.0 - Prod
PL/SQL Release 10.2.0.1.0 - Production
CORE 10.2.0.1.0 Production
TNS for 32-bit Windows: Version 10.2.0.1.0 - Production
NLSRTL Version 10.2.0.1.0 - Production