# 数组类型的使用
在使用数组之前，需要自定义一个数组类型。
在存储过程中紧跟AS关键字后面定义数组类型。定义方法如下。
```
TYPE array_type IS VARRAY(size) OF data_type;
```
其中：
- array_type：要定义的数组类型名。
- VARRAY：表示要定义的数组类型。
- size：取值为正整数，表示可以容纳的成员的最大数量。
- data_type：要创建的数组中成员的类型。
![](https://support.huaweicloud.com/centralized-devg-v3-gaussdb/public_sys-resources/note_3.0-zh-cn.png)
- 在GaussDB中，数组会自动增长，访问越界会返回一个NULL，不会报错，打开varray_compat参数后，会增加对下标的检查，访问越界会进行报错
- 在存储过程中定义的数组类型，其作用域仅在该存储过程中。
- size信息会记录到pg_type系统表中，打开varray_compat参数后，对数组的操作都会进行长度以及下标的检查，未开参数时则不使用size信息。
- data_type也可以为存储过程中定义的record类型（匿名块不支持）、集合类型，但不可以为存储过程中定义的数组类型、游标类型。
- data_type为集合类型时，不支持使用多维数组。
- 不支持NOT NULL语法。
- array类型的构造器仅支持在A兼容模式下使用。
- array类型的构造器不支持作为函数或存储过程参数的默认值。
- 当数组是集合类型的元素并且数组的data_type为varchar、numeric等可以定义长度和精度的类型时，要校验该数组的元素长度或者将元素转换成对应的精度，需要开启tableof_elem_constraints参数（设置behavior_compat_options参数值为tableof_elem_constraints）。
- 开启varray_compat参数后（设置behavior_compat_options参数值为varray_compat），在匿名块中定义的数组类型，匿名块执行ROLLBACK或发生EXCEPTION后，数组类型将无法继续使用。
- 设置enable_recordtype_check_strict参数值为on后，成员是record类型，且record类型有列具有not null属性或default属性，在存储过程或PACKAGE编译时会报错。
 
GaussDB支持使用圆括号来访问数组元素，且还支持一些特有的函数，如extend、count、first、last、prior、exists、trim、next、delete来访问数组的内容。
![](https://support.huaweicloud.com/centralized-devg-v3-gaussdb/public_sys-resources/note_3.0-zh-cn.png)
- 存储过程中如果有DML语句（SELECT、UPDATE、INSERT、DELETE），DML语句推荐使用中括号来访问数组元素，使用小括号默认识别为数组访问，若数组不存在，则识别为函数表达式。
- 如果clob类型大于1GB，则存储过程中的table of类型、record类型、clob作为出入参、游标、raise info等功能不支持。
 
#### 示例
```
--演示在存储过程中对数组进行操作。
gaussdb=# CREATE OR REPLACE PROCEDURE array_proc AS
DECLARE 
       TYPE ARRAY_INTEGER IS VARRAY(1024) OF INTEGER;--定义数组类型
       ARRINT ARRAY_INTEGER := ARRAY_INTEGER();  --声明数组类型的变量 
BEGIN 
       ARRINT.extend(10);  
       FOR I IN 1..10 LOOP  
               ARRINT(I) := I; 
       END LOOP; 
       DBE_OUTPUT.PRINT_LINE(ARRINT.COUNT);  
       DBE_OUTPUT.PRINT_LINE(ARRINT(1));  
       DBE_OUTPUT.PRINT_LINE(ARRINT(10)); 
       DBE_OUTPUT.PRINT_LINE(ARRINT(ARRINT.FIRST)); 
       DBE_OUTPUT.PRINT_LINE(ARRINT(ARRINT.LAST));
       DBE_OUTPUT.PRINT_LINE(ARRINT(ARRINT.NEXT(ARRINT.FIRST)));
       DBE_OUTPUT.PRINT_LINE(ARRINT(ARRINT.PRIOR(ARRINT.LAST)));
       ARRINT.TRIM();
       
       IF ARRINT.EXISTS(10) THEN
           DBE_OUTPUT.PRINT_LINE('Exist 10th element');
       ELSE
           DBE_OUTPUT.PRINT_LINE('Not exist 10th element');
       END IF;
       DBE_OUTPUT.PRINT_LINE(ARRINT.COUNT);
       DBE_OUTPUT.PRINT_LINE(ARRINT(ARRINT.FIRST)); 
       DBE_OUTPUT.PRINT_LINE(ARRINT(ARRINT.LAST));
       ARRINT.DELETE();
END;  
/
--调用该存储过程显示结果。
gaussdb=# CALL array_proc();
10
1
10
1
10
2
9
Not exist 10th element
9
1
9
 array_proc
------------
(1 row)
--删除存储过程。
gaussdb=# DROP PROCEDURE array_proc;
```