值表达式被用于各种各样的环境中,例如在SELECT
命令的目标列表中、作为INSERT
或UPDATE
中的新列值或者若干命令中的搜索条件。为了区别于一个表表达式(是一个表)的结果,一个值表达式的结果有时候被称为一个标量。值表达式因此也被称为标量表达式(或者甚至简称为表达式)。表达式语法允许使用算数、逻辑、集合和其他操作从原始部分计算值。
一个值表达式是下列之一:
在这个列表之外,还有一些结构可以被分类为一个表达式,但是它们不遵循任何一般语法规则。这些通常具有一个函数或操作符的语义并且在第 9 章中的合适位置解释。一个例子是IS NULL
子句。
我们已经在第 4.1.2 节中讨论过常量。下面的小节会讨论剩下的选项。
一个列可以以下面的形式被引用:
correlation
.columnname
correlation
是一个表(有可能以一个模式名限定)的名字,或者是在FROM
子句中为一个表定义的别名。如果列名在当前索引所使用的表中都是唯一的,关联名称和分隔用的句点可以被忽略(另见第 7 章)。
一个位置参数引用被用来指示一个由 SQL 语句外部提供的值。参数被用于 SQL 函数定义和预备查询中。某些客户端库还支持独立于 SQL 命令字符串来指定数据值,在这种情况中参数被用来引用那些线外数据值。一个参数引用的形式是:
$number
例如,考虑一个函数dept
的定义:
CREATE FUNCTION dept(text) RETURNS dept AS $$ SELECT * FROM dept WHERE name = $1 $$ LANGUAGE SQL;
这里$1
引用函数被调用时第一个函数参数的值。
如果一个表达式得到了一个数组类型的值,那么可以抽取出该数组值的一个特定元素:
expression
[subscript
]
或者抽取出多个相邻元素(一个“数组切片”):
expression
[lower_subscript
:upper_subscript
]
(这里,方括号[ ]
表示其字面意思)。每一个下标
自身是一个表达式,它必须得到一个整数值。
通常,数组表达式
必须被加上括号,但是当要被加下标的表达式只是一个列引用或位置参数时,括号可以被忽略。还有,当原始数组是多维时,多个下标可以被连接起来。例如:
mytable.arraycolumn[4] mytable.two_d_column[17][34] $1[10:42] (arrayfunction(a,b))[42]
最后一个例子中的圆括号是必需的。详见第 8.15 节。
如果一个表达式得到一个组合类型(行类型)的值,那么可以抽取该行的指定域
expression
.fieldname
通常行表达式
必须被加上括号,但是当该表达式是仅从一个表引用或位置参数选择时,圆括号可以被忽略。例如:
mytable.mycolumn $1.somecolumn (rowfunction(a,b)).col3
(因此,一个被限定的列引用实际上只是域选择语法的一种特例)。一种重要的特例是从一个组合类型的表列中抽取一个域:
(compositecol).somefield (mytable.compositecol).somefield
这里需要圆括号来显示compositecol
是一个列名而不是一个表名,在第二种情况中则是显示mytable
是一个表名而不是一个模式名。
你可以通过书写.*
来请求一个组合值的所有域:
(compositecol).*
这种表示法根据上下文而表现不同;有关详细信息,请参见第 8.16.5 节。
对于一次操作符调用,有三种可能的语法:
expression operator expression (二元中缀操作符) |
operator expression (一元前缀操作符) |
expression operator (一元后缀操作符) |
其中operator
记号遵循第 4.1.3 节的语法规则,或者是关键词AND
、OR
和NOT
之一,或者是一个如下形式的受限定操作符名:
OPERATOR(
schema
.
operatorname
)
哪个特定操作符存在以及它们是一元的还是二元的取决于由系统或用户定义的那些操作符。第 9 章描述了内建操作符。
一个函数调用的语法是一个函数的名称(可能受限于一个模式名)后面跟上封闭于圆括号中的参数列表:
function_name
([expression
[,expression
... ]] )
例如,下面会计算 2 的平方根:
sqrt(2)
内建函数的列表在第 9 章中。其他函数可以由用户增加。
参数可以有选择地被附加名称。详见第 4.3 节。
一个采用单一组合类型参数的函数可以被有选择地称为域选择语法,并且反过来域选择可以被写成函数的风格。也就是说,记号col(table)
和table.col
是可以互换的。这种行为是非 SQL 标准的但是在PostgreSQL中被提供,因为它允许函数的使用来模拟“计算域”。详见第 8.16.5 节。
一个聚合表达式表示在由一个查询选择的行上应用一个聚合函数。一个聚合函数将多个输入减少到一个单一输出值,例如对输入的求和或平均。一个聚合表达式的语法是下列之一:
aggregate_name
(expression
[ , ... ] [order_by_clause
] ) [ FILTER ( WHEREfilter_clause
) ]aggregate_name
(ALLexpression
[ , ... ] [order_by_clause
] ) [ FILTER ( WHEREfilter_clause
) ]aggregate_name
(DISTINCTexpression
[ , ... ] [order_by_clause
] ) [ FILTER ( WHEREfilter_clause
) ]aggregate_name
( * ) [ FILTER ( WHEREfilter_clause
) ]aggregate_name
( [expression
[ , ... ] ] ) WITHIN GROUP (order_by_clause
) [ FILTER ( WHEREfilter_clause
) ]
这里aggregate_name
是一个之前定义的聚合(可能带有一个模式名限定),并且expression
是任意自身不包含聚合表达式的值表达式或一个窗口函数调用。可选的order_by_clause
和filter_clause
描述如下。
第一种形式的聚合表达式为每一个输入行调用一次聚合。第二种形式和第一种相同,因为ALL
是默认选项。第三种形式为输入行中表达式的每一个可区分值(或者对于多个表达式是值的可区分集合)调用一次聚合。第四种形式为每一个输入行调用一次聚合,因为没有特定的输入值被指定,它通常只对于count(*)
聚合函数有用。最后一种形式被用于有序集聚合函数,其描述如下。
大部分聚合函数忽略空输入,这样其中一个或多个表达式得到空值的行将被丢弃。除非另有说明,对于所有内建聚合都是这样。
例如,count(*)
得到输入行的总数。count(f1)
得到输入行中f1
为非空的数量,因为count
忽略空值。而count(distinct f1)
得到f1
的非空可区分值的数量。
一般地,交给聚合函数的输入行是未排序的。在很多情况中这没有关系,例如不管接收到什么样的输入,min
总是产生相同的结果。但是,某些聚合函数(例如array_agg
和string_agg
)依据输入行的排序产生结果。当使用这类聚合时,可选的order_by_clause
可以被用来指定想要的顺序。order_by_clause
与查询级别的ORDER BY
子句(如第 7.5 节所述)具有相同的语法,除非它的表达式总是仅有表达式并且不能是输出列名称或编号。例如:
SELECT array_agg(a ORDER BY b DESC) FROM table;
在处理多参数聚合函数时,注意ORDER BY
出现在所有聚合参数之后。例如,要这样写:
SELECT string_agg(a, ',' ORDER BY a) FROM table;
而不能这样写:
SELECT string_agg(a ORDER BY a, ',') FROM table; -- 不正确
后者在语法上是合法的,但是它表示用两个ORDER BY
键来调用一个单一参数聚合函数(第二个是无用的,因为它是一个常量)。
如果在order_by_clause
之外指定了DISTINCT
,那么所有的ORDER BY
表达式必须匹配聚合的常规参数。也就是说,你不能在DISTINCT
列表没有包括的表达式上排序。
在一个聚合函数中指定DISTINCT
以及ORDER BY
的能力是一种PostgreSQL扩展。
如上所述,如果通用和统计聚合中排序是可选的,
在要为它排序输入行时可以在该聚合的常规参数
列表中放置ORDER BY
。有一个聚合函数的子集叫
做有序集聚合,它要求一个
order_by_clause
,通常是因为
该聚合的计算只对其输入行的特定顺序有意义。有序集聚合的典
型例子包括排名和百分位计算。按照上文的最后一种语法,对于
一个有序集聚合,
order_by_clause
被写在
WITHIN GROUP (...)
中。
order_by_clause
中的表达式
会像常规聚合参数一样对每一个输入行计算一次,按照每个
order_by_clause
的要求排序并
且交给该聚合函数作为输入参数(这和非
WITHIN GROUP
order_by_clause
的情况不同,在其中表达
式的结果不会被作为聚合函数的参数)。如果有在
WITHIN GROUP
之前的参数表达式,会把它们称
为直接参数以便与列在
order_by_clause
中的
聚合参数相区分。与常规聚合参数不同,针对
每次聚合调用只会计算一次直接参数,而不是为每一个输入行
计算一次。这意味着只有那些变量被GROUP BY
分组时,它们才能包含这些变量。这个限制同样适用于根本不在
一个聚合表达式内部的直接参数。直接参数通常被用于百分数
之类的东西,它们只有作为每次聚合计算用一次的单一值才有意
义。直接参数列表可以为空,在这种情况下,写成()
而不是(*)
(实际上
PostgreSQL接受两种拼写,但是只有第一
种符合 SQL 标准)。
SELECT percentile_cont(0.5) WITHIN GROUP (ORDER BY income) FROM households; percentile_cont ----------------- 50489
这会从表households
的
income
列得到第 50 个百分位或者中位的值。
这里0.5
是一个直接参数,对于百分位部分是一个
在不同行之间变化的值的情况它没有意义。
如果指定了FILTER
,那么只有对filter_clause
计算为真的输入行会被交给该聚合函数,其他行会被丢弃。例如:
SELECT count(*) AS unfiltered, count(*) FILTER (WHERE i < 5) AS filtered FROM generate_series(1,10) AS s(i); unfiltered | filtered ------------+---------- 10 | 4 (1 row)
预定义的聚合函数在第 9.20 节中描述。其他聚合函数可以由用户增加。
一个聚合表达式只能出现在SELECT
命令的结果列表或是HAVING
子句中。在其他子句(如WHERE
)中禁止使用它,因为那些子句的计算在逻辑上是在聚合的结果被形成之前。
当一个聚合表达式出现在一个子查询中(见第 4.2.11 节和第 9.22 节),聚合通常在该子查询的行上被计算。但是如果该聚合的参数(以及filter_clause
,如果有)只包含外层变量则会产生一个异常:该聚合则属于最近的那个外层,并且会在那个查询的行上被计算。该聚合表达式从整体上则是对其所出现于的子查询的一种外层引用,并且在那个子查询的任意一次计算中都作为一个常量。只出现在结果列表或HAVING
子句的限制适用于该聚合所属的查询层次。
一个窗口函数调用表示在一个查询选择的行的某个部分上应用一个聚合类的函数。和非窗口聚合调用不同,这不会被约束为将被选择的行分组为一个单一的输出行 — 在查询输出中每一个行仍保持独立。
但是,根据窗口函数调用的分组规范(PARTITION BY
列表),
窗口函数可以访问将成为当前行组的一部分的所有行。
一个窗口函数调用的语法是下列之一:
function_name
([expression
[,expression
... ]]) [ FILTER ( WHEREfilter_clause
) ] OVERwindow_name
function_name
([expression
[,expression
... ]]) [ FILTER ( WHEREfilter_clause
) ] OVER (window_definition
)function_name
( * ) [ FILTER ( WHEREfilter_clause
) ] OVERwindow_name
function_name
( * ) [ FILTER ( WHEREfilter_clause
) ] OVER (window_definition
)
其中window_definition
的语法是
[existing_window_name
] [ PARTITION BYexpression
[, ...] ] [ ORDER BYexpression
[ ASC | DESC | USINGoperator
] [ NULLS { FIRST | LAST } ] [, ...] ] [frame_clause
]
而可选的frame_clause
是下列之一
{ RANGE | ROWS }frame_start
{ RANGE | ROWS } BETWEENframe_start
ANDframe_end
其中frame_start
和frame_end
可以是下面形式中的一种
UNBOUNDED PRECEDINGvalue
PRECEDING CURRENT ROWvalue
FOLLOWING UNBOUNDED FOLLOWING
这里,expression
表示任何自身不含有窗口函数调用的值表达式。
window_name
是对定义在查询的WINDOW
子句中的一个命名窗口声明的引用。还可以使用在WINDOW
子句中定义命名窗口的相同语法在圆括号内给定一个完整的window_definition
,详见SELECT参考页。值得指出的是,OVER wname
并不严格地等价于OVER (wname ...)
,后者表示复制并修改窗口定义,并且在被引用窗口声明包括一个帧子句时会被拒绝。
PARTITION BY
子句将查询的行分组成为分区,窗口函数会独立地处理它们。PARTITION BY
工作起来类似于一个查询级别的GROUP BY
子句,不过它的表达式总是只是表达式并且不能是输出列的名称或编号。如果没有PARTITION BY
,该查询产生的所有行被当作一个单一分区来处理。ORDER BY
子句决定被窗口函数处理的一个分区中的行的顺序。它工作起来类似于一个查询级别的ORDER BY
子句,但是同样不能使用输出列的名称或编号。如果没有ORDER BY
,行将被以未指定的顺序被处理。
frame_clause
指定构成窗口帧的行集合,它是当前分区的一个子集,窗口函数将作用在该帧而不是整个分区。 帧可以被指定为RANGE
或ROWS
模式,在两种情况中它都从frame_start
运行到frame_end
。如果frame_end
被忽略,它默认运行到CURRENT ROW
。
UNBOUNDED PRECEDING
的一个frame_start
表示该帧开始于分区的第一行,类似地UNBOUNDED FOLLOWING
的一个frame_end
表示该帧结束于分区的最后一行。
在RANGE
模式下, CURRENT ROW
的一个frame_start
表示该帧开始于当前行的第一个平级行(一个被ORDER BY
认为与当前行等效的行),而CURRENT ROW
的一个frame_end
表示该帧结束于最后一个等效的ORDER BY
平级行。在ROWS
模式下,CURRENT ROW
仅表示当前行。
value
PRECEDING
和value
FOLLOWING
情况当前只在ROWS
模式中被允许。它们指示帧开始或结束于当前行之前或之后的指定数量的行。value
必须是一个不包含任何变量、聚合函数或窗口函数的整数表达式。该值不能为空或负,但是可以为零,零表示只选择当前行。
默认的帧选项是RANGE UNBOUNDED PRECEDING
,它和RANGE BETWEEN UNBOUNDED PRECEDING AND CURRENT ROW
相同。如果使用ORDER BY
,这会把该帧设置为从分区开始一直到当前行的最后一个ORDER BY
平级行的所有行。如果不使用ORDER BY
,分区中所有的行都被包括在窗口帧中,因为所有行都成为了当前行的平级行。
限制是frame_start
不能为UNBOUNDED FOLLOWING
、frame_end
不能为UNBOUNDED PRECEDING
并且在上述列表中frame_end
的选择不能早于frame_start
的选择出现 — 例如RANGE BETWEEN CURRENT ROW AND
是不被允许的。
value
PRECEDING
如果指定了FILTER
,那么只有对filter_clause
计算为真的输入行会被交给该窗口函数,其他行会被丢弃。只有是聚合的窗口函数才接受FILTER
。
内建的窗口函数在表 9.57中描述。 用户可以增加其他的窗口函数。还有,任何内建或用户定义的通用或统计聚合 函数可以被用作窗口函数。(有序聚合和假设集聚合目前不能用作窗口函数。)
使用*
的语法被用来把参数较少的聚合函数当作窗口函数调用,
例如count(*) OVER (PARTITION BY x ORDER BY y)
。
星号(*
)通常通常不用于窗口特定的函数。窗口特定的函数不允许在函数参数列表中使用DISTINCT
或ORDER BY
。
只有在SELECT
列表和查询的ORDER BY
子句中才允许窗口函数调用。
一个类型造型指定从一种数据类型到另一种数据类型的转换。PostgreSQL接受两种等价的类型造型语法:
CAST (expression
AStype
)expression
::type
CAST
语法遵从 SQL,而用::
的语法是PostgreSQL的历史用法。
当一个造型被应用到一种未知类型的值表达式上时,它表示一种运行时类型转换。只有已经定义了一种合适的类型转换操作时,该造型才会成功。注意这和常量的造型(如第 4.1.2.7 节中所示)使用不同。应用于一个未修饰串文字的造型表示一种类型到一个文字常量值的初始赋值,并且因此它将对任意类型都成功(如果该串文字的内容对于该数据类型的输入语法是可接受的)。
如果一个值表达式必须产生的类型没有歧义(例如当它被指派给一个表列),通常可以省略显式类型造型,在这种情况下系统会自动应用一个类型造型。但是,只有对在系统目录中被标记为“OK to apply implicitly”的造型才会执行自动造型。其他造型必须使用显式造型语法调用。这种限制是为了防止出人意料的转换被无声无息地应用。
还可以用像函数的语法来指定一次类型造型:
typename
(expression
)
不过,这只对那些名字也作为函数名可用的类型有效。例如,double precision
不能以这种方式使用,但是等效的float8
可以。还有,如果名称interval
、time
和timestamp
被用双引号引用,那么由于语法冲突的原因,它们只能以这种风格使用。因此,函数风格的造型语法的使用会导致不一致性并且应该尽可能被避免。
函数风格的语法事实上只是一次函数调用。当两种标准造型语法之一被用来做一次运行时转换时,它将在内部调用一个已注册的函数来执行该转换。简而言之,这些转换函数具有和它们的输出类型相同的名字,并且因此“函数风格的语法”无非是对底层转换函数的一次直接调用。显然,一个可移植的应用不应当依赖于它。详见CREATE CAST。
COLLATE
子句会重载一个表达式的排序规则。它被追加到它适用的表达式:
expr
COLLATEcollation
这里collation
可能是一个受模式限定的标识符。COLLATE
子句比操作符绑得更紧,需要时可以使用圆括号。
如果没有显式指定排序规则,数据库系统会从表达式所涉及的列中得到一个排序规则,如果该表达式没有涉及列,则会默认采用数据库的默认排序规则。
COLLATE
子句的两种常见使用是重载ORDER BY
子句中的排序顺序,例如:
SELECT a, b, c FROM tbl WHERE ... ORDER BY a COLLATE "C";
以及重载具有区域敏感结果的函数或操作符调用的排序规则,例如:
SELECT * FROM tbl WHERE a > 'foo' COLLATE "C";
注意在后一种情况中,COLLATE
子句被附加到我们希望影响的操作符的一个输入参数上。COLLATE
子句被附加到该操作符或函数调用的哪个参数上无关紧要,因为被操作符或函数应用的排序规则是考虑所有参数得来的,并且一个显式的COLLATE
子句将重载所有其他参数的排序规则(不过,附加非匹配COLLATE
子句到多于一个参数是一种错误。详见第 23.2 节)。因此,这会给出和前一个例子相同的结果:
SELECT * FROM tbl WHERE a COLLATE "C" > 'foo';
但是这是一个错误:
SELECT * FROM tbl WHERE (a > 'foo') COLLATE "C";
因为它尝试把一个排序规则应用到>
操作符的结果,而它的数据类型是非可排序数据类型boolean
。
一个标量子查询是一种圆括号内的普通SELECT
查询,它刚好返回一行一列(关于书写查询可见第 7 章)。SELECT
查询被执行并且该单一返回值被使用在周围的值表达式中。将一个返回超过一行或一列的查询作为一个标量子查询使用是一种错误(但是如果在一次特定执行期间该子查询没有返回行则不是错误,该标量结果被当做为空)。该子查询可以从周围的查询中引用变量,这些变量在该子查询的任何一次计算中都将作为常量。对于其他涉及子查询的表达式还可见第 9.22 节。
例如,下列语句会寻找每个州中最大的城市人口:
SELECT name, (SELECT max(pop) FROM cities WHERE cities.state = states.name) FROM states;
一个数组构造器是一个能构建一个数组值并且将值用于它的成员元素的表达式。一个简单的数组构造器由关键词ARRAY
、一个左方括号[
、一个用于数组元素值的表达式列表(用逗号分隔)以及最后的一个右方括号]
组成。例如:
SELECT ARRAY[1,2,3+4]; array --------- {1,2,7} (1 row)
默认情况下,数组元素类型是成员表达式的公共类型,使用和UNION
或CASE
结构(见第 10.5 节)相同的规则决定。你可以通过显式将数组构造器造型为想要的类型来重载,例如:
SELECT ARRAY[1,2,22.7]::integer[]; array ---------- {1,2,23} (1 row)
这和把每一个表达式单独地造型为数组元素类型的效果相同。关于造型的更多信息请见第 4.2.9 节。
多维数组值可以通过嵌套数组构造器来构建。在内层的构造器中,关键词ARRAY
可以被忽略。例如,这些语句产生相同的结果:
SELECT ARRAY[ARRAY[1,2], ARRAY[3,4]]; array --------------- {{1,2},{3,4}} (1 row) SELECT ARRAY[[1,2],[3,4]]; array --------------- {{1,2},{3,4}} (1 row)
因为多维数组必须是矩形的,处于同一层次的内层构造器必须产生相同维度的子数组。任何被应用于外层ARRAY
构造器的造型会自动传播到所有的内层构造器。
多维数组构造器元素可以是任何得到一个正确种类数组的任何东西,而不仅仅是一个子-ARRAY
结构。例如:
CREATE TABLE arr(f1 int[], f2 int[]); INSERT INTO arr VALUES (ARRAY[[1,2],[3,4]], ARRAY[[5,6],[7,8]]); SELECT ARRAY[f1, f2, '{{9,10},{11,12}}'::int[]] FROM arr; array ------------------------------------------------ {{{1,2},{3,4}},{{5,6},{7,8}},{{9,10},{11,12}}} (1 row)
你可以构造一个空数组,但是因为无法得到一个无类型的数组,你必须显式地把你的空数组造型成想要的类型。例如:
SELECT ARRAY[]::integer[]; array ------- {} (1 row)
也可以从一个子查询的结果构建一个数组。在这种形式中,数组构造器被写为关键词ARRAY
后跟着一个加了圆括号(不是方括号)的子查询。例如:
SELECT ARRAY(SELECT oid FROM pg_proc WHERE proname LIKE 'bytea%'); array ----------------------------------------------------------------------- {2011,1954,1948,1952,1951,1244,1950,2005,1949,1953,2006,31,2412,2413} (1 row)
子查询必须返回一个单一列。如果子查询的输出列是非数组类型, 结果的一维数组将为该子查询结果中的每一行有一个元素, 并且有一个与子查询的输出列匹配的元素类型。 如果子查询的输出列是一种数组类型,结果将是同类型的一个数组, 但是要高一个维度。在这种情况下,该子查询的所有行必须产生同样维度的数组, 否则结果就不会是矩形形式。
用ARRAY
构建的一个数组值的下标总是从一开始。更多关于数组的信息,请见第 8.15 节。
一个行构造器是能够构建一个行值(也称作一个组合类型)并用值作为其成员域的表达式。一个行构造器由关键词ROW
、一个左圆括号、用于行的域值的零个或多个表达式(用逗号分隔)以及最后的一个右圆括号组成。例如:
SELECT ROW(1,2.5,'this is a test');
当在列表中有超过一个表达式时,关键词ROW
是可选的。
一个行构造器可以包括语法rowvalue
.*
,
它将被扩展为该行值的元素的一个列表,就像在一个顶层SELECT
列表中使用.*
时(参阅第 8.16.5 节)发生的事情一样。例如,如果表t
有列f1
和f2
,那么这些是相同的:
SELECT ROW(t.*, 42) FROM t; SELECT ROW(t.f1, t.f2, 42) FROM t;
在PostgreSQL 8.2 以前,.*
语法在行构造函数中不会被扩展,
这样写ROW(t.*, 42)
会创建一个有两个域的行,其第一个域是另一个行值。新的行为通常更有用。如果你需要嵌套行值的旧行为,写内层行值时不要用.*
,例如ROW(t, 42)
。
默认情况下,由一个ROW
表达式创建的值是一种匿名记录类型。如果必要,它可以被造型为一种命名的组合类型 — 或者是一个表的行类型,或者是一种用CREATE TYPE AS
创建的组合类型。为了避免歧义,可能需要一个显式造型。例如:
CREATE TABLE mytable(f1 int, f2 float, f3 text); CREATE FUNCTION getf1(mytable) RETURNS int AS 'SELECT $1.f1' LANGUAGE SQL; -- 不需要造型因为只有一个 getf1() 存在 SELECT getf1(ROW(1,2.5,'this is a test')); getf1 ------- 1 (1 row) CREATE TYPE myrowtype AS (f1 int, f2 text, f3 numeric); CREATE FUNCTION getf1(myrowtype) RETURNS int AS 'SELECT $1.f1' LANGUAGE SQL; -- 现在我们需要一个造型来指示要调用哪个函数: SELECT getf1(ROW(1,2.5,'this is a test')); ERROR: function getf1(record) is not unique SELECT getf1(ROW(1,2.5,'this is a test')::mytable); getf1 ------- 1 (1 row) SELECT getf1(CAST(ROW(11,'this is a test',2.5) AS myrowtype)); getf1 ------- 11 (1 row)
行构造器可以被用来构建存储在一个组合类型表列中的组合值,或者被传递给一个接受组合参数的函数。还有,可以比较两个行值,或者用IS NULL
或IS NOT NULL
测试一个行,例如:
SELECT ROW(1,2.5,'this is a test') = ROW(1, 3, 'not the same'); SELECT ROW(table.*) IS NULL FROM table; -- detect all-null rows
子表达式的计算顺序没有被定义。特别地,一个操作符或函数的输入不必按照从左至右或其他任何固定顺序进行计算。
此外,如果一个表达式的结果可以通过只计算其一部分来决定,那么其他子表达式可能完全不需要被计算。例如,如果我们写:
SELECT true OR somefunc();
那么somefunc()
将(可能)完全不被调用。如果我们写成下面这样也是一样:
SELECT somefunc() OR true;
注意这和一些编程语言中布尔操作符从左至右的“短路”不同。
因此,在复杂表达式中使用带有副作用的函数是不明智的。在WHERE
和HAVING
子句中依赖副作用或计算顺序尤其危险,因为在建立一个执行计划时这些子句会被广泛地重新处理。这些子句中布尔表达式(AND
/OR
/NOT
的组合)可能会以布尔代数定律所允许的任何方式被重组。
当有必要强制计算顺序时,可以使用一个CASE
结构(见第 9.17 节)。例如,在一个WHERE
子句中使用下面的方法尝试避免除零是不可靠的:
SELECT ... WHERE x > 0 AND y/x > 1.5;
但是这是安全的:
SELECT ... WHERE CASE WHEN x > 0 THEN y/x > 1.5 ELSE false END;
一个以这种风格使用的CASE
结构将使得优化尝试失败,因此只有必要时才这样做(在这个特别的例子中,最好通过写y > 1.5*x
来回避这个问题)。
不过,CASE
不是这类问题的万灵药。上述技术的一个限制是,
它无法阻止常量子表达式的提早计算。如第 37.6 节
中所述,当查询被规划而不是被执行时,被标记成
IMMUTABLE
的函数和操作符可以被计算。因此
SELECT CASE WHEN x > 0 THEN x ELSE 1/0 END FROM tab;
很可能会导致一次除零失败,因为规划器尝试简化常量子表达式。即便是
表中的每一行都有x > 0
(这样运行时永远不会进入到
ELSE
分支)也是这样。
虽然这个特别的例子可能看起来愚蠢,没有明显涉及常量的情况可能会发生
在函数内执行的查询中,因为因为函数参数的值和本地变量可以作为常量
被插入到查询中用于规划目的。例如,在PL/pgSQL函数
中,使用一个IF
-THEN
-ELSE
语句来
保护一种有风险的计算比把它嵌在一个CASE
表达式中要安全得多。
另一个同类型的限制是,一个CASE
无法阻止其所包含的聚合表达式
的计算,因为在考虑SELECT
列表或HAVING
子句中的
其他表达式之前,会先计算聚合表达式。例如,下面的查询会导致一个除零错误,
虽然看起来好像已经这种情况加以了保护:
SELECT CASE WHEN min(employees) > 0 THEN avg(expenses / employees) END FROM departments;
min()
和avg()
聚合会在所有输入行上并行地计算,
因此如果任何行有employees
等于零,在有机会测试
min()
的结果之前,就会发生除零错误。取而代之的是,可以使用
一个WHERE
或FILTER
子句来首先阻止有问题的输入行到达
一个聚合函数。