9.18. 数组函数和操作符
表 9-47显示了可以用于数组类型的操作符。
表 9-47. 数组操作符
| 操作符 | 描述 | 例子 | 结果 |
|---|---|---|---|
| = | 等于 | 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] | t |
| <@ | 被包含 | ARRAY[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 在元素数据类型上的比较函数对数组内容按元素逐一进行。 多维数组的元素按照行序进行访问（最后的下标变化最快）。如果两个数组的内容相同但维数不等，那么维度信息中的第一个不同将决定排序顺序（这是对PostgreSQL 8.2 之前版本的修改： 老版本认为内容相同的两个数组相等，即使它们的维数或下标范围并不相同）。
参阅第 8.15 节获取有关数组操作符行为的更多细节。有关哪些操作符支持被索引的操作，请参阅第 11.2 节。
表 9-48展示了可以用于数组类型的函数。 参阅第 8.15 节获取更多信息以及使用这些函数的例子。
表 9-48. 数组函数
| 函数 | 返回类型 | 描述 | 例子 | 结果 |
|---|---|---|---|---|
array_append(anyarray, anyelement)
|
anyarray | 向一个数组的末端追加一个元素 | array_append(ARRAY[1,2], 3) | {1,2,3} |
array_cat(anyarray, anyarray)
|
anyarray | 连接两个数组 | array_cat(ARRAY[1,2,3], ARRAY[4,5]) | {1,2,3,4,5} |
array_ndims(anyarray)
|
int | 返回数组的维度数 | array_ndims(ARRAY[[1,2,3], [4,5,6]]) | 2 |
array_dims(anyarray)
|
text | 返回数组的维度的文本表示 | array_dims(ARRAY[[1,2,3], [4,5,6]]) | [1:2][1:3] |
array_fill(anyelement, int[],
[, int[]])
|
anyarray | 返回一个用提供的值和维度初始化好的数组，可以选择下界不为 1 | array_fill(7, ARRAY[3], ARRAY[2]) | [2:4]={7,7,7} |
array_length(anyarray, int)
|
int | 返回被请求的数组维度的长度 | array_length(array[1,2,3], 1) | 3 |
array_lower(anyarray, int)
|
int | 返回被请求的数组维度的下界 | array_lower('[0:2]={1,2,3}'::int[], 1) | 0 |
array_position(anyarray, anyelement [, int])
|
int | 返回数组中第二个参数第一次出现的下标。 起始于第三个参数或第一个元素指示的元素位置（数组必须是一维的) | array_position(ARRAY['sun','mon','tue','wed','thu','fri','sat'], 'mon') | 2 |
array_positions(anyarray, anyelement)
|
int[] | 返回作为第一个参数的数组中第二个参数出现的数组下标（数组必须是一维的) | array_positions(ARRAY['A','A','B','A'], 'A') | {1,2,4} |
array_prepend(anyelement, anyarray)
|
anyarray | 向一个数组的首部追加一个元素 | array_prepend(1, ARRAY[2,3]) | {1,2,3} |
array_remove(anyarray, anyelement)
|
anyarray | 从数组中移除所有等于给定值的所有元素（数组必须是一维的） | array_remove(ARRAY[1,2,3,2], 2) | {1,3} |
array_replace(anyarray, anyelement, anyelement)
|
anyarray | 将每一个等于给定值的数组元素替换成一个新值 | array_replace(ARRAY[1,2,5,4], 5, 3) | {1,2,3,4} |
array_to_string(anyarray, text [, text])
|
text | 使用提供的定界符和可选的空串连接数组元素 | array_to_string(ARRAY[1, 2, 3, NULL, 5], ',', '*') | 1,2,3,*,5 |
array_upper(anyarray, int)
|
int | 返回被请求的数组维度的上界 | array_upper(ARRAY[1,8,3,7], 1) | 4 |
cardinality(anyarray)
|
int | 返回数组中元素的总数，如果数组为空则返回 0 | cardinality(ARRAY[[1,2],[3,4]]) | 4 |
string_to_array(text, text [, text])
|
text[] | 使用提供的定界符和可选的空串将字符串划分成数组元素 | string_to_array('xx~^~yy~^~zz', '~^~', 'yy') | {xx,NULL,zz} |
unnest(anyarray)
|
setof anyelement | 将一个数组扩展成一组行 | unnest(ARRAY[1,2]) |
1 2(2 rows) |
unnest(anyarray, anyarray [, ...])
|
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的行为中有两点与PostgreSQL 9.1之前的版本不同。首先，当输入串的长度为零时，它将返回一个空（无元素）数组而不是 NULL。其次，如果定界符串为 NULL，该函数会将输入划分成独立字符，而不是像以前那样返回 NULL。
也可参见第 9.20 节了解用于数组的聚集函数array_agg。