受支持版本: 当前版本 (18) / 17 / 16 / 15 / 14
开发版本: devel

9.24. 行和数组比较 #

本节描述几个特殊的结构,用于在值的组之间进行多重比较。这些形式语法上和前面一节的子查询形式相关,但是不涉及子查询。 这种形式涉及的数组子表达式是PostgreSQL的扩展; 其它的是SQL兼容的。所有本节记录的表达式形式都返回布尔(Boolean)结果(真/假)。

9.24.1. IN #

expression IN (value [, ...])

右侧是一个用括号括起来的表达式列表。如果左侧表达式的结果等于右侧任何一个表达式的结果,则结果为true。 这是一个简写表示法,如下所示:

expression = value1expression = value2
或
...

请注意如果左手边表达式得到空值,或者没有相等的右手边值并且至少有一个右手边的表达式得到空值,那么IN结构的结果将为空值,而不是假。这符合 SQL 处理空值的布尔组合的一般规则。

9.24.2. NOT IN #

expression NOT IN (value [, ...])

右侧是一个用括号括起来的表达式列表。如果左侧表达式的结果与所有右侧表达式都不相等,则结果为true。 这是一个简写表示法,用于

expression <> value1
AND
expression <> value2
AND
...

请注意,如果左手边表达式得到空值,或者没有相等的右手边值,并且至少有一个右手边表达式得到空值,那么NOT IN结构的结果将为空值,而不是人们可能想当然认为的真值。这符合 SQL 处理空值布尔组合的一般规则。

Tip

x NOT IN y在所有情况下都等效于NOT (x IN y)。但是,在处理空值的时候,用NOT IN比用IN更可能迷惑新手。最好尽可能用正逻辑来表达你的条件。

9.24.3. ANY/SOME (array) #

expression operator ANY (array expression)
expression operator SOME (array expression)

右侧是一个用括号括起来的表达式,它必须产生一个数组值。左侧表达式会被求值,并使用给定的operator与数组的每个元素进行比较,该操作符必须产生布尔结果。如果得到了任何真值结果,那么ANY的结果是。如果没有找到真值结果(包括数组有零个元素的情况),那么结果是

如果数组表达式的结果是 NULL 数组,那么ANY的结果将为 NULL。如果左手边表达式的结果为 NULL,ANY通常也为 NULL(尽管非严格比较操作符可能得到不同结果)。此外,如果右手边数组包含任何 NULL 元素,并且没有得到真值比较结果,那么ANY的结果将为 NULL,而不是假(同样假设这里使用的是严格比较操作符)。这符合 SQL 处理 NULL 值布尔组合的一般规则。

SOMEANY的同义词。

9.24.4. ALL (array) #

expression operator ALL (array expression)

右侧是一个用括号括起来的表达式,它必须产生一个数组值。左侧表达式会被求值,并使用给定的operator与数组的每个元素进行比较,该操作符必须产生布尔结果。如果所有比较都得到真值结果,那么ALL的结果是(包括数组有零个元素的情况)。如果有任何假值结果,那么结果是

如果数组表达式的结果是 NULL 数组,那么ALL的结果将为 NULL。如果左手边表达式的结果为 NULL,ALL通常也为 NULL(尽管非严格比较操作符可能得到不同结果)。此外,如果右手边数组包含任何 NULL 元素,并且没有得到假值比较结果,那么ALL的结果将为 NULL,而不是真(同样假设这里使用的是严格比较操作符)。这符合 SQL 处理 NULL 值布尔组合的一般规则。

9.24.5. 行构造器比较 #

row_constructor operator row_constructor

每一边都是一个行构造器, 如在Section 4.2.13中描述的那样。 这两个行构造器必须具有相同数量的字段。 给定的operator应用于每一对 对应的字段。(由于字段可能是不同类型的,这意味着每对可能选择不同的具体操作符。) 所有选定的操作符必须是某个B树操作符类的成员,或者是B树操作符类的=成员的否定形式, 这意味着只有当operator=<><<=>>=时才可能进行行构造器比较, 或者具有类似于这些操作符的语义。

=<>情况略有不同。如果两行的所有对应成员都是非空且相等则这两行被认为相等;如果任何对应成员是非空但是不相等则这两行不相等;否则行比较的结果为未知(空值)。

对于<<=>>=这几种情况,会从左到右比较各行元素,一旦找到一对不相等或含有 NULL 的元素就立即停止。如果这对元素中的任意一个为 NULL,那么行比较的结果就是未知(NULL);否则,这对元素的比较结果决定整个行比较的结果。例如,ROW(1,2,NULL) < ROW(1,3,0)的结果为真,而不是 NULL,因为第三对元素不会被考虑。

Note

PostgreSQL 8.2 之前,<<=>>=这几种情况并不是按照 SQL 规范处理的。像ROW(a,b) < ROW(c,d)这样的比较会被实现为a < c AND b < d,而正确行为应当等价于a < c OR (a = c AND b < d)

row_constructor IS DISTINCT FROM row_constructor

这个结构与<>行比较相似,但是它对于空值输入不会得到空值。任何空值被认为和任何非空值不相等(有区别),并且任意两个空值被认为相等(无区别)。因此结果将总是为真或为假,永远不会是空值。

row_constructor IS NOT DISTINCT FROM row_constructor

这个结构与=行比较相似,但是它对于空值输入不会得到空值。任何空值被认为和任何非空值不相等(有区别),并且任意两个空值被认为相等(无区别)。因此结果将总是为真或为假,永远不会是空值。

9.24.6. 复合类型比较 #

record operator record

SQL 规范要求在结果依赖于比较两个 NULL 值或者一个 NULL 与一个非 NULL 时逐行比较返回 NULL。 PostgreSQL只有在比较两个行构造器(如Section 9.24.5)的结果或者比较一个行构造器与一个子查询的输出时才这样做(如Section 9.23中所述)。 在其他比较两个复合类型值的环境中,两个 NULL 域值被认为相等,并且一个 NULL 被认为大于一个非 NULL。 为了得到复合类型的一致的排序和索引行为,这样做是必要的。

每一边都会被计算并且它们会被逐行比较。当operator=<><<=>或者 >=时或者具有与这些类似的语义时,允许复合类型的比较(更准确地说,如果一个操作符是一个 B-树操作符类的成员,或者是一个 B-树操作符类的=成员的否定词,它就可以是一个行比较操作符)。 上述操作符的行为与用于行构造器(见Section 9.24.5)的IS [ NOT ] DISTINCT FROM相同。

为了支持包含无默认 B-树操作符类的元素的行匹配,为复合类型比较定义了下列操作符: *=*<>*<*<=*>以及 *>=。 这些操作符比较两行的内部二进制表达。即使两行用相等操作符的比较为真,两行也可能具有不同的二进制表达。 行在这些比较操作符之下的排序是决定性的,其他倒没什么意义。 这些操作符在内部被用于物化视图并且可能对其他如复制和B-树复制(参见 Section 2.4.3)之类的特殊功能有用,但是它们并不打算用在书写查询这类普通用途中。

提交更正

如果您发现文档中有不正确的内容、与您使用特定功能的经验不符或需要进一步说明,请使用此表单来报告文档问题。