9.18. 数组函数和操作符 #
表 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-树比较函数，逐个元素比较数组内容，并根据第一个差异决定排序顺序。多维数组的元素按行优先顺序访问（最后一个下标变化最快）。如果两个数组的内容相同，但维度信息不同，则由维度信息中的第一个差异决定排序顺序。（这与 PostgreSQL 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 | 使用给定分隔符和可选的 null 替代字符串串接数组元素 | 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[] | 使用给定分隔符和可选的 null 替代字符串将字符串拆分为数组元素 | 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，则不会将任何输入子串替换为 NULL。在 array_to_string 中，如果省略 null 替代字符串参数，或该参数为 NULL，则直接跳过数组中的所有 null 元素，不在输出字符串中表示它们。
注意
string_to_array 的行为与 PostgreSQL 9.1 之前的版本有两点不同。首先，当输入字符串长度为零时，它返回空数组（零元素），而不是 NULL。其次，如果分隔符字符串为 NULL，该函数会将输入拆分为单独的字符，而不是像以前那样返回 NULL。
也可参见第 9.20 节了解用于数组的聚合函数 array_agg。