表 9.51显示了可以用于数组类型的操作符。
表 9.51. 数组操作符
| 操作符 | 描述 | 例子 | 结果 |
|---|---|---|---|
= |
等于 | ARRAY[1.1,2.1,3.1]::int[] = ARRAY[1,2,3] |
t |
<> |
不等于 | ARRAY[1,2,3] <> ARRAY[1,2,4] |
t |
< |
小于 | ARRAY[1,2,3] < ARRAY[1,2,4] |
t |
> |
大于 | ARRAY[1,4,3] > ARRAY[1,2,4] |
t |
<= |
小于等于 | ARRAY[1,2,3] <= ARRAY[1,2,3] |
t |
>= |
大于等于 | ARRAY[1,4,3] >= ARRAY[1,4,3] |
t |
@> |
包含 | ARRAY[1,4,3] @> ARRAY[3,1,3] |
t |
<@ |
被包含 | ARRAY[2,2,7] <@ ARRAY[1,7,4,2,6] |
t |
&& |
重叠（具有公共元素） | ARRAY[1,4,3] && ARRAY[2,1] |
t |
|| |
数组和数组串接 | ARRAY[1,2,3] || ARRAY[4,5,6] |
{1,2,3,4,5,6} |
|| |
数组和数组串接 | ARRAY[1,2,3] || ARRAY[[4,5,6],[7,8,9]] |
{{1,2,3},{4,5,6},{7,8,9}} |
|| |
元素到数组串接 | 3 || ARRAY[4,5,6] |
{3,4,5,6} |
|| |
数组到元素串接 | ARRAY[4,5,6] || 7 |
{4,5,6,7} |
数组排序操作符（<、>=等）对数组内容进行逐个元素的比较，使用默认的元素数据类型的B-tree比较函数，并根据第一个差值进行排序。
多维数组的元素按照行序进行访问（最后的下标变化最快）。如果两个数组的内容相同但维数不等，那么维度信息中的第一个不同将决定排序顺序（这是对 8.2 之前版本的修改：
老版本认为内容相同的两个数组相等，即使它们的维数或下标范围并不相同）。
数组包含操作符（<@和@>）认为，如果一个数组的每一个元素出现在另一个数组中，那么这个数组就被包含在另一个数组中。重复数组不做特殊处理，因此ARRAY[1]和ARRAY[1,1]分别被认为包含了另一个数组。
参阅第 8.15 节获取有关数组操作符行为的更多细节。有关哪些操作符支持被索引的操作，请参阅第 11.2 节。
表 9.52展示了可以用于数组类型的函数。 参阅第 8.15 节获取更多信息以及使用这些函数的例子。
表 9.52. 数组函数
| 函数 | 返回类型 | 描述 | 例子 | 结果 |
|---|---|---|---|---|
|
anyarray |
向一个数组的末端追加一个元素 | array_append(ARRAY[1,2], 3) |
{1,2,3} |
|
anyarray |
连接两个数组 | array_cat(ARRAY[1,2,3], ARRAY[4,5]) |
{1,2,3,4,5} |
|
int |
返回数组的维度数 | array_ndims(ARRAY[[1,2,3], [4,5,6]]) |
2 |
|
text |
返回数组的维度的文本表示 | array_dims(ARRAY[[1,2,3], [4,5,6]]) |
[1:2][1:3] |
|
anyarray |
返回一个用提供的值和维度初始化好的数组，可以选择下界不为 1 | array_fill(7, ARRAY[3], ARRAY[2]) |
[2:4]={7,7,7} |
|
int |
返回被请求的数组维度的长度 | array_length(array[1,2,3], 1) |
3 |
|
int |
返回被请求的数组维度的下界 | array_lower('[0:2]={1,2,3}'::int[], 1) |
0 |
|
int |
返回在该数组中从第三个参数指定的元素开始或者 第一个元素开始（数组必须是一维的）、第二个参数的 第一次出现的下标 | array_position(ARRAY['sun','mon','tue','wed','thu','fri','sat'],
'mon') |
2 |
|
int[] |
返回在第一个参数给定的数组（数组必须是一维的）中， 第二个参数所有出现位置的下标组成的数组 | array_positions(ARRAY['A','A','B','A'], 'A') |
{1,2,4} |
|
anyarray |
向一个数组的首部追加一个元素 | array_prepend(1, ARRAY[2,3]) |
{1,2,3} |
|
anyarray |
从数组中移除所有等于给定值的所有元素（数组必须是一维的） | array_remove(ARRAY[1,2,3,2], 2) |
{1,3} |
|
anyarray |
将每一个等于给定值的数组元素替换成一个新值 | array_replace(ARRAY[1,2,5,4], 5, 3) |
{1,2,3,4} |
|
text |
使用提供的定界符和可选的空串连接数组元素 | array_to_string(ARRAY[1, 2, 3, NULL, 5], ',',
'*') |
1,2,3,*,5 |
|
int |
返回被请求的数组维度的上界 | array_upper(ARRAY[1,8,3,7], 1) |
4 |
|
int |
返回数组中元素的总数，如果数组为空则返回 0 | cardinality(ARRAY[[1,2],[3,4]]) |
4 |
|
text[] |
使用提供的定界符和可选的空串将字符串划分成数组元素 | string_to_array('xx~^~yy~^~zz', '~^~', 'yy') |
{xx,NULL,zz} |
|
setof anyelement |
将一个数组扩展成一组行 | unnest(ARRAY[1,2]) |
1 2(2 rows) |
|
setof anyelement, anyelement [, ...] |
把多维数组（可能是不同类型）扩展成一个行的集合。 这只允许用在 FROM 子句中，见 第 7.2.1.4 节 | unnest(ARRAY[1,2],ARRAY['foo','bar','baz']) |
1 foo 2 bar NULL baz(3 rows) |
在array_position和array_positions中， 每一个数组元素都使用IS NOT
DISTINCT FROM 语义与要搜索的值比较。
在array_position中，如果值没有找到则返回 NULL。
在array_positions中，只有当数组为 NULL时才返回NULL，如果该值
没有在该数组中找到则返回一个空数组。
在string_to_array中，如果定界符参数为
NULL，输入字符串中的每一个字符将变成结果数组中的一个独立元素。如果定界符是一个空串，则整个输入字符串被作为一个单一元素的数组返回。否则输入字符串会被在每一个出现定界符字符串的位置分裂。
在string_to_array中，如果空值串参数被忽略或者为 NULL，输入中的子串不会被替换成
NULL。在array_to_string中，如果空值串参数被忽略或者为
NULL，该数组中的任何空值元素会被简单地跳过并且不会在输出串中被表示。
注意
string_to_array的行为中有两点与 9.1之前的版本不同。首先，当输入串的长度为零时，它将返回一个空（无元素）数组而不是
NULL。其次，如果定界符串为 NULL，该函数会将输入划分成独立字符，而不是像以前那样返回 NULL。
也可参见第 9.20 节了解用于数组的聚集函数array_agg。
