anyarray @> anyarray → boolean

第一个数组是否包含第二个数组， 也就是说， 第二个数组中出现的每个元素是否等于第一个数组的某个元素？ （重复项不会被特殊对待， 因此 ARRAY[1] 和 ARRAY[1,1] 都被认为包含对方。）

ARRAY[1,4,3] @> ARRAY[3,1,3] → t

anyarray <@ anyarray → boolean

第一个数组是否被包含在第二个之中？

ARRAY[2,2,7] <@ ARRAY[1,7,4,2,6] → t

anyarray && anyarray → boolean

这些数组是否重叠， 即是否有任何公共元素？

ARRAY[1,4,3] && ARRAY[2,1] → t

anycompatiblearray || anycompatiblearray → anycompatiblearray

连接这两个数组。 连接一个空数组或空操作 （no-op）； 否则这些数组必须具有相同的维数 （如第一个例子所示）， 或者维数相差一 （如第二个例子所示）。 如果这些数组的元素类型不完全相同， 它们会被强制转换为一种公共类型 （参见 Section 10.5）。

ARRAY[1,2,3] || ARRAY[4,5,6,7] → {1,2,3,4,5,6,7}

ARRAY[1,2,3] || ARRAY[[4,5,6],[7,8,9.9]] → {{1,2,3},{4,5,6},{7,8,9.9}}

anycompatible || anycompatiblearray → anycompatiblearray

把一个元素连接到一个数组的前面 （该数组必须是空的或一维的）。

3 || ARRAY[4,5,6] → {3,4,5,6}

anycompatiblearray || anycompatible → anycompatiblearray

把一个元素连接到一个数组的末尾 （该数组必须是空的或一维的）。

ARRAY[4,5,6] || 7 → {4,5,6,7}

array_append ( anycompatiblearray, anycompatible ) → anycompatiblearray

把一个元素追加到数组的末尾 （等同于 anycompatiblearray || anycompatible 操作符）。

array_append(ARRAY[1,2], 3) → {1,2,3}

array_cat ( anycompatiblearray, anycompatiblearray ) → anycompatiblearray

连接两个数组 （等同于 anycompatiblearray || anycompatiblearray 操作符）。

array_cat(ARRAY[1,2,3], ARRAY[4,5]) → {1,2,3,4,5}

array_dims ( anyarray ) → text

返回数组维度的文本表示。

array_dims(ARRAY[[1,2,3], [4,5,6]]) → [1:2][1:3]

array_fill ( anyelement, integer[] [, integer[] ] ) → anyarray

返回一个用给定值的副本填充的数组， 其维度由第二个参数指定的长度决定。 可选的第三个参数为每个维度提供下界值 （默认全为 1）。

array_fill(11, ARRAY[2,3]) → {{11,11,11},{11,11,11}}

array_fill(7, ARRAY[3], ARRAY[2]) → [2:4]={7,7,7}

array_length ( anyarray, integer ) → integer

返回被请求的数组维度的长度。 （对于空的或缺失的数组维度， 产生 NULL 而非 0。）

array_length(array[1,2,3], 1) → 3

array_length(array[]::int[], 1) → NULL

array_length(array['text'], 2) → NULL

array_lower ( anyarray, integer ) → integer

返回被请求的数组维度的下界。

array_lower('[0:2]={1,2,3}'::integer[], 1) → 0

array_ndims ( anyarray ) → integer

返回数组的维数。

array_ndims(ARRAY[[1,2,3], [4,5,6]]) → 2

array_position ( anycompatiblearray, anycompatible [, integer ] ) → integer

返回第二个参数在数组中第一次出现的下标， 如果不存在则返回 NULL。 如果给出了第三个参数， 则搜索从那个下标开始。 数组必须是一维的。 比较使用 IS NOT DISTINCT FROM 语义完成， 因此可以搜索 NULL。

array_position(ARRAY['sun', 'mon', 'tue', 'wed', 'thu', 'fri', 'sat'], 'mon') → 2

array_positions ( anycompatiblearray, anycompatible ) → integer[]

返回一个由所有出现的下标组成的数组， 这些出现是第二个参数在第一个参数给定的数组中的出现。 数组必须是一维的。 比较使用 IS NOT DISTINCT FROM 语义完成， 因此可以搜索 NULL。 只有当数组为 NULL 时才返回 NULL； 如果数组中找不到该值， 则返回一个空数组。

array_positions(ARRAY['A','A','B','A'], 'A') → {1,2,4}

array_prepend ( anycompatible, anycompatiblearray ) → anycompatiblearray

把一个元素置于一个数组的开头 （等同于 anycompatible || anycompatiblearray 操作符）。

array_prepend(1, ARRAY[2,3]) → {1,2,3}

array_remove ( anycompatiblearray, anycompatible ) → anycompatiblearray

从数组中移除所有等于给定值的元素。 数组必须是一维的。 比较使用 IS NOT DISTINCT FROM 语义完成， 因此可以移除 NULL。

array_remove(ARRAY[1,2,3,2], 2) → {1,3}

array_replace ( anycompatiblearray, anycompatible, anycompatible ) → anycompatiblearray

把数组中每个等于第二个参数的元素替换为第三个参数。

array_replace(ARRAY[1,2,5,4], 5, 3) → {1,2,3,4}

array_reverse ( anyarray ) → anyarray

反转数组的第一维。

array_reverse(ARRAY[[1,2],[3,4],[5,6]]) → {{5,6},{3,4},{1,2}}

array_sample ( array anyarray, n integer ) → anyarray

返回一个由从 array 中随机选择的 n 个项组成的数组。 n 不得超过 array 第一维的长度。 如果 array 是多维的， 那么一个 “项” 是具有给定第一下标的一个切片。

array_sample(ARRAY[1,2,3,4,5,6], 3) → {2,6,1}

array_sample(ARRAY[[1,2],[3,4],[5,6]], 2) → {{5,6},{1,2}}

array_shuffle ( anyarray ) → anyarray

随机打乱数组的第一维。

array_shuffle(ARRAY[[1,2],[3,4],[5,6]]) → {{5,6},{1,2},{3,4}}

array_sort ( array anyarray [, descending boolean [, nulls_first boolean ]] ) → anyarray

对数组的第一维进行排序。 排序顺序由数组元素类型的默认排序顺序决定； 不过， 如果元素类型是可排序的， 则可以通过向 array 参数添加一个 COLLATE 子句来指定要使用的排序规则。

如果 descending 为真， 则按降序排序， 否则按升序排序。 如果省略， 默认为升序。 如果 nulls_first 为真， 则空值出现在非空值之前， 否则空值出现在非空值之后。 如果省略， nulls_first 被取为与 descending 相同的值。

array_sort(ARRAY[[2,4],[2,1],[6,5]]) → {{2,1},{2,4},{6,5}}

array_to_string ( array anyarray, delimiter text [, null_string text ] ) → text

把每个数组元素转换为它的文本表示， 并用 delimiter 字符串分隔把它们串接起来。 如果给出了 null_string 并且它不是 NULL， 那么 NULL 的数组项将由该字符串表示； 否则它们会被省略。 另请参见 string_to_array。

array_to_string(ARRAY[1, 2, 3, NULL, 5], ',', '*') → 1,2,3,*,5

array_upper ( anyarray, integer ) → integer

返回被请求的数组维度的上界。

array_upper(ARRAY[1,8,3,7], 1) → 4

cardinality ( anyarray ) → integer

返回数组中元素的总数， 如果数组为空则返回 0。

cardinality(ARRAY[[1,2],[3,4]]) → 4

trim_array ( array anyarray, n integer ) → anyarray

通过移除最后 n 个元素来修剪一个数组。 如果数组是多维的， 则只修剪第一维。

trim_array(ARRAY[1,2,3,4,5,6], 2) → {1,2,3,4}

unnest ( anyarray ) → setof anyelement

把一个数组展开成一组行。 数组的元素按存储顺序读出。

unnest(ARRAY[1,2]) →

 1
 2

unnest(ARRAY[['foo','bar'],['baz','quux']]) →

 foo
 bar
 baz
 quux

unnest ( anyarray, anyarray [, ... ] ) → setof anyelement, anyelement [, ... ]

把多个数组 （可能是不同数据类型的） 展开成一组行。 如果这些数组的长度不完全相同， 较短的会用 NULL 填充。 这种形式只允许出现在查询的 FROM 子句中； 参见 Section 7.2.1.4。

select * from unnest(ARRAY[1,2], ARRAY['foo','bar','baz']) as x(a,b) →

 a |  b
---+-----
 1 | foo
 2 | bar
   | baz