数组函数和操作符#

数组函数和操作符

表 数组操作符显示了可以用于数组类型的操作符。

数组操作符#

操作符

描述

例子

结果

=

等于

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比较函数，并根据第一个差值进行排序。 多维数组的元素按照行序进行访问（最后的下标变化最快）。如果两个数组的内容相同但维数不等，那么维度信息中的第一个不同将决定排序顺序（这是对 OushuDB 8.2 之前版本的修改： 老版本认为内容相同的两个数组相等，即使它们的维数或下标范围并不相同）。

数组包含操作符（<@和@>）认为，如果一个数组的每一个元素出现在另一个数组中，那么这个数组就被包含在另一个数组中。重复数组不做特殊处理，因此ARRAY[1]和ARRAY[1,1]分别被认为包含了另一个数组。

参阅数组获取有关数组操作符行为的更多细节 。

表 数组函数展示了可以用于数组类型的函数。 参阅数组获取更多信息以及使用这些函数的例子。

数组函数#

函数

返回类型

描述

例子

结果

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

unnest (anyarray, anyelement

[, …])

setof anyelement , anyelement [, ...]

把多维数组（可能是不同类型）扩展成一个行的集合。这只允许用在FROM子句中

unnest (ARRAY[1,2], ARRAY[‘foo’, ‘bar’,’baz’])

1 foo 2 bar NULL baz

在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的行为中有两点与OushuDB6.x 之前的版本不同。首先，当输入串的长度为零时，它将返回一个空（无元素）数组而不是 NULL。其次，如果定界符串为 NULL，该函数会将输入划分成独立字符，而不是像以前那样返回 NULL。

也可参见聚集函数了解用于数组的聚集函数array_agg。