4.2. 值表达式 · PostgreSQL 中文文档 9.3

# 4.2\. 值表达式值表达式用在各种语法环境中，比如在`SELECT`命令的目标列表中，在`INSERT`或`UPDATE`中用作新的列值，或者在许多命令的搜索条件中使用。我们有时候把值表达式的结果叫做_标量_，以便与一个表表达式的结果相区别(是一个表)。因此值表达式也叫做 _标量表达式_(或简称_表达式_)。表达式语法允许对来自基本部分的数值进行算术、逻辑、集合、和其它运算。值表达式是下列内容之一： * 一个常量或者字面值 * 一个字段引用 * 一个位置参数引用(在函数声明体中或预编写的语句中) * 一个下标表达式 * 一个字段选择表达式 * 一个操作符调用 * 一个函数调用 * 一个聚集表达式 * 一个窗口函数调用 * 一个类型转换 * 一个排序规则表达式 * 一个标量子查询 * 一个数组构造器 * 一个行构造器 * 一个在圆括弧里面的值表达式(可用于子表达式分组和覆盖优先级)。除了这个列表以外，还有许多构造可以归类为表达式，但是不遵循任何通用的语法规则。它们通常有函数或操作符的语义，并且在[Chapter 9](#calibre_link-455)里合适的位置描述。一个例子是`IS NULL`子句。我们已经在[Section 4.1.2](#calibre_link-698)里讨论过常量了。下面的节讨论剩下的选项。 ## 4.2.1\. 字段引用一个字段可以用下面的形式引用： ``` _correlation_._columnname_ ``` `_correlation_`是一个表的名字(可能有模式修饰)，或者是用`FROM`子句这样的方法定义的表的别名。如果在当前查询所使用的所有表中，该字段名字是唯一的，那么这个相关名字(correlation)和分隔用的点就可以省略(参见[Chapter 7](#calibre_link-485))。 ## 4.2.2\. 位置参数位置参数引用用于标识从外部给 SQL 语句的参数。参数用于 SQL 函数定义语句和预编写的查询。有些客户端库还支持在 SQL 命令字符串外边声明数据值，这种情况下参数用于引用 SQL 字符串行外的数据。一个参数的形式如下： ``` $_number_ ``` 比如下面这个`dept`函数的定义： ``` CREATE FUNCTION dept(text) RETURNS dept AS $$ SELECT * FROM dept WHERE name = $1 $$ LANGUAGE SQL; ``` 在函数被调用的时候这里的`$1`将引用第一个参数。 ## 4.2.3\. 下标如果一个表达式生成一个数组类型的数值，那么我们可以通过下面这样的表达式来提取数组中的元素 ``` _expression_[_subscript_] ``` 或者如果是多个相邻的元素("数组片断")可以用下面的方法抽取 ``` _expression_[_lower_subscript_:_upper_subscript_] ``` (这里的方括号`[ ]`按照字面文本的方式出现。) 每个`_subscript_`自己都是一个表达式，它必须生成一个整数值。通常，数组`_expression_`必须用圆括弧包围，但如果只是一个字段引用或者一个位置参数，那么圆括弧可以省略。同样，如果源数组是多维的，那么多个下标可以连接在一起。比如： ``` mytable.arraycolumn[4] mytable.two_d_column[17][34] $1[10:42] (arrayfunction(a,b))[42] ``` 最后一个例子里的圆括弧是必须的。参阅[Section 8.15](#calibre_link-1759)获取有关数组的更多信息。 ## 4.2.4\. 字段选择如果一个表达式生成一个复合类型(行类型)，那么用下面的方法可以抽取一个指定的字段 ``` _expression_._fieldname_ ``` 通常，行`_expression_`必须用圆括弧包围，但是如果要选取的表达式只是一个表引用或者位置参数，可以省略圆括弧。比如: ``` mytable.mycolumn $1.somecolumn (rowfunction(a,b)).col3 ``` 因此，一个全称的字段引用实际上只是一个字段选择语法的特例。一个重要的特殊情形是提取的表列是一个复合型的字段： ``` (compositecol).somefield (mytable.compositecol).somefield ``` 在这里，括号是必须的，用来指出`compositecol`是列名而不是表名， `mytable`是表名而不是模式名。在一个选择列表中（查看[Section 7.3](#calibre_link-483)），你可以通过使用`.*`来要求所有的组合值字段。 ``` (compositecol).* ``` ## 4.2.5\. 操作符调用操作符调用有三种语法： | `_expression_` `_operator_` `_expression_` (双目中缀操作符) | |:--- | | `_operator_` `_expression_` (单目前缀操作符) | | `_expression_` `_operator_` (单目后缀操作符) | 这里的`_operator_`记号遵循[Section 4.1.3](#calibre_link-1924)的语法规则，或者是记号`AND`，`OR`，`NOT`之一。或者是一个被修饰的操作符名： ``` OPERATOR(_schema_._operatorname_) ``` 具体存在哪个操作符以及它们是单目还是双目取决于系统或用户定义了什么操作符。 [Chapter 9](#calibre_link-455)描述了内置的操作符。 ## 4.2.6\. 函数调用函数调用的语法是合法函数名(可能有模式名修饰)，后面跟着包含参数列表的圆括弧： ``` _function_name_ ([`_expression_` [, `_expression_` ... ]] ) ``` 比如，下面的代码计算 2 的平方根： ``` sqrt(2) ``` 内置函数的列表在[Chapter 9](#calibre_link-455)里。其它函数可由用户添加。可选的可附加名字的参数，详细请参阅[Section 4.3](#calibre_link-733)。 > **Note:** 一个接受一个复合类型参数的函数，可以使用字段选择语法调用，相反的，字段选择可以用函数的风格写出来。也就是说，符号`col(table)` 和 `table.col`是可以互换的。这个行为不是SQL标准，但是由 PostgreSQL提供，因为它允许函数使用仿真"计算域"。获取更多信息，请参阅[Section 35.4.3](#calibre_link-912)。 ## 4.2.7\. 聚集表达式一个_聚集表达式_代表一个聚集函数对查询选出的行的处理。一个聚集函数把多个输入缩减为一个输出值，比如给输入求和或求平均。一个聚集表达式的语法是下列之一： ``` _aggregate_name_ (_expression_ [ , ... ] [ _order_by_clause_ ] ) _aggregate_name_ (ALL _expression_ [ , ... ] [ _order_by_clause_ ] ) _aggregate_name_ (DISTINCT _expression_ [ , ... ] [ _order_by_clause_ ] ) _aggregate_name_ ( * ) ``` 这里的`_aggregate_name_`是前面定义的聚集(可能是带有模式的全称)，而`_expression_`是一个本身不包含聚集表达式或一个窗口函数调用的任意值表达式。 `_order_by_clause_`是`ORDER BY` 子句的一个选项，下面会有描述。第一种形式的聚集表达式为每个输入行调用聚集。第二种形式与第一种等价(因为`ALL`是缺省值)。第三种形式为每个表达式中不同的值调用聚集（或者为多个表达式不同的值的集合）。最后一种形式为每个输入行调用一次聚集，因为没有声明特定的输入值，通常它只用于`count(*)`聚集函数。大多数的聚集函数忽略了NULL输入，因此在一个或多个表达式中产生NULL的行会被丢弃。对所有的内置聚集函数而言，这样做是可以的，除非另行说明。比如，`count(*)`生成输入行的总数；`count(f1)`生成 `f1`不为 NULL 的输入行数，因为`count`忽略NULL； `count(distinct f1)`生成`f1`唯一且非 NULL 的行数。一般情况下，输入行会以非特定顺序放入到聚集函数中。在许多情况下，这样做是没有影响的；如，无论以什么顺序输入，`min`输出相同的结果。然而，一些聚集函数（如`array_agg` 和 `string_agg`）并非如此。当使用这种聚集函数时，可以用`_order_by_clause_`选项指定输入的顺序。除了它的表达式仅仅只是表达式，并且不能输出列名或列数之外，`_order_by_clause_` 与`ORDER BY`查询子句有相同的语法结构，在[Section 7.5](#calibre_link-1466)中有描述，如： ``` 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; -- incorrect ``` 后者在语法上是有效的，但它表示的是，有两个`ORDER BY`关键字的单参数的聚集函数的调用（第二个是无用的，因为它是一个常量）。如果`_order_by_clause_`中声明了`DISTINCT`，那么所有的`ORDER BY`表达式必须匹配规则的聚集参数，也就是说，不能对没有包含在`DISTINCT`列表中的表达式进行排序。 > **Note:** 同时在一个聚集函数中声明`DISTINCT`和`ORDER BY`是PostgreSQL的一个扩展。预定义的聚集函数在[Section 9.20](#calibre_link-1641)里描述。其它聚集函数可以由用户增加。一个聚集表达式只能在`SELECT`命令的结果列表或者`HAVING`子句里出现。禁止在其它子句里出现(比如`WHERE`子句)，因为这些子句逻辑上在生成聚集结果之前计算。如果一个聚集表达式出现在一个子查询里(参阅[Section 4.2.11](#calibre_link-1953) 和[Section 9.22](#calibre_link-1795))，聚集通常是在子查询中进行计算。但是如果聚集的参数只包含外层查询的变量则例外：这个聚集会属于离他最近的外层查询，并且在该查询上进行计算。该聚集表达式整体上属于它出现的子查询对外层查询的引用，其作用相当于子查询每一次计算中的一个常量。前述限制(聚集表达式只能出现在结果列或者 `HAVING`子句中)只适用于聚集所属的查询层。 ## 4.2.8\. 窗口调用函数通过查询筛选出的行的某些部分，_窗口调用函数_实现了类似于聚集函数的功能。不同的是，窗口调用函数不需要将查询结果打包成一行输出—在查询输出中，每一行都是分开的。然而，窗口调用函数可以扫描所有的行，根据窗口调用函数的分组规范(`PARTITION BY`列)，这些行可能会是当前行所在组的一部分。一个窗口调用函数的语法是下列之一： ``` _function_name_ ([`_expression_` [, `_expression_` ... ]]) OVER ( _window_definition_ ) _function_name_ ([`_expression_` [, `_expression_` ... ]]) OVER _window_name_ _function_name_ ( * ) OVER ( _window_definition_ ) _function_name_ ( * ) OVER _window_name_ ``` 这里的`_window_definition_`具有如下语法： ``` [ _existing_window_name_ ] [ PARTITION BY _expression_ [, ...] ] [ ORDER BY _expression_ [ ASC | DESC | USING _operator_ ] [ NULLS { FIRST | LAST } ] [, ...] ] [ _frame_clause_ ] ``` 选项`_frame_clause_`可以是： ``` [ RANGE | ROWS ] _frame_start_ [ RANGE | ROWS ] BETWEEN _frame_start_ AND _frame_end_ ``` `_frame_start_` 和 `_frame_end_`可以是： ``` UNBOUNDED PRECEDING _value_ PRECEDING CURRENT ROW _value_ FOLLOWING UNBOUNDED FOLLOWING ``` 在这里，`_expression_` 表示的是任何自己不含窗口调用函数的值表达式。 `_window_name_`引用的是查询语句中`WINDOW` 子句定义的命名窗口规范。命名窗口规范通常只是用`OVER` `_window_name_` 来引用，但它也可以在括号里写一个窗口名，并且可以有选择的使用排序和/或框架(frame）子句（如果应用这些子句的话，那么被引用的窗口必须不能有这些子句）。后者语法遵循相同的规则（修改`WINDOW`子句中已有的窗口名）。参阅[SELECT](#calibre_link-104)查看更多资料。 `PARTITION BY`选项将查询的行分为一组进入_partitions_，这些行在窗口函数中单独处理。`PARTITION BY`和查询级别`GROUP BY` 子句做相似的工作，除了它的表达式只能作为表达式不能作为输出列的名字或数。没有`PARTITION BY`，所有由查询产生的行被视为一个单独的分区。`ORDER BY` 选项决定分区中的行被窗口函数处理的顺序。它和查询级别`ORDER BY`子句做相似的工作，但是同样的它不能作为输出列的名字或数。没有`ORDER BY`，行以一个不被预知的顺序处理。对这些窗口函数（在这个框架而不是整个分区上的）， `_frame_clause_`指定构成_window frame_的行，他们是当前分区的一个子集。框架可以用`RANGE` 或 `ROWS`模式声明；不管哪种情况，它的变化范围是从`_frame_start_`到`_frame_end_`。如果省略了`_frame_end_` 默认为`CURRENT ROW`。一个`_frame_start_`的`UNBOUNDED PRECEDING`意味着框架从分区中的第一行开始，相似的，一个`_frame_end_`的`UNBOUNDED FOLLOWING`意味着框架从分区中的最后一行结束。在`RANGE`模式中，`_frame_start_`的`CURRENT ROW` 意味着框架从当前行的第一个_peer_行开始（`ORDER BY` 认为等于当前行的行），而`_frame_end_`的`CURRENT ROW` 意味着框架从最后一个同等的行结束。在`ROWS`模式中， `CURRENT ROW` 简单的意味着当前行。 `_value_` `PRECEDING`和`_value_` `FOLLOWING` 当前只允许`ROWS`模式。这也就意味着，框架从当前行之前或之后指定的行数启动或结束。 `_value_`必须是整型表达式，而不能包含变量，聚集函数，或者窗口函数。该值不能为空或负，但可以是零，表示只选择当前行本身。默认的框架选项是`RANGE UNBOUNDED PRECEDING`，该选项与 `RANGE BETWEEN UNBOUNDED PRECEDING AND CURRENT ROW`相同。有`ORDER BY`，它设置框架从分区的开始一直到与当前行相同的最后一行。没有`ORDER BY`，那么就是当前分区的所有行都包含在框架中，因为所有行都会成为当前行的相同行。限制条件是`_frame_start_`不能为`UNBOUNDED FOLLOWING`， `_frame_end_`不能为`UNBOUNDED PRECEDING`，并且`_frame_end_` 选项不能在上面的列表中出现的比`_frame_start_`选项早—例如 `RANGE BETWEEN CURRENT ROW AND` `_value_` PRECEDING是不被允许的。内置窗口函数在[Table 9-48](#calibre_link-2162)中有描述。其他窗口函数，用户可以自己添加。同样，任意内置或用户自定义聚集函数可以同窗口函数一样使用。使用`*`的语法可以用来调用无参数的聚集函数为窗口函数，如 `count(*) OVER (PARTITION BY x ORDER BY y)`。星号(`*`) 通常不用于非聚集的窗口函数。与通常的聚集函数不同，聚集窗口函数不允许在函数参数列中使用 `DISTINCT`或`ORDER BY`。窗口调用函数只能在`SELECT`列，或者查询的`ORDER BY`子句中使用。更多关于窗口函数的信息可以参考： [Section 3.5](#calibre_link-1330), [Section 9.21](#calibre_link-1804), [Section 7.2.4](#calibre_link-1332). ## 4.2.9\. 类型转换一个类型转换声明一个从一种数据类型到另外一种数据类型的转换。 PostgreSQL接受两种等效的类型转换语法： ``` CAST ( _expression_ AS _type_ ) _expression_::_type_ ``` `CAST`语法遵循 SQL 标准；`::`语法是PostgreSQL历史用法。如果对一个已知类型的值表达式应用转换，它代表一个运行时类型转换。只有在已经定义了合适的类型转换操作的情况下，该转换才能成功。请注意这一点和用于常量的转换略有区别(如[Section 4.1.2.7](#calibre_link-788)所示)。一个应用于字符串文本的转换表示给该字符串文本的常数值赋予一个初始类型，因此它对于任何类型都会成功(如果字符串文本的内容符合该数据类型的输入语法)。如果一个值表达式的值对某类型而言不存在混淆的情况，那么我们可以省略明确的类型转换(比如，在给一个表字段赋值的时候)，而由系统自动执行类型转换。不过，自动转换只适用于那些系统表中标记着"OK to apply implicitly"的转换函数。其它转换函数必须用明确的转换语法调用。这些限制是为了避免一些怪异的转换被自动的应用。我们也可以用函数风格的语法声明一个类型转换： ``` _typename_ ( _expression_ ) ``` 不过，这个方法只能用于那些类型名同时也是有效函数名的类型。比如， `double precision`就不能这么用，但是等效的`float8` 可以。同样，`interval`，`time`和`timestamp` 如果加了双引号也只能这么用，因为存在语法冲突。因此，函数风格的类型转换会导致不一致，所以应该避免这么使用。 > **Note:** 函数风格语法实际上就是一个函数调用。如果使用两种标准转换语法做运行时转换，那么它将在内部调用一个已注册的函数执行转换。通常，这种转换函数和它们的输出类型同名，因此"函数风格语法"只不过是直接调用底层转换函数。但是可以移植的程序不能依赖这一点。详情请参阅[CREATE CAST](#calibre_link-556)。 ## 4.2.10\. 排序规则表达式 `COLLATE`子句重写了表达式的排序规则。它附加到要应用的表达式上： ``` _expr_ COLLATE _collation_ ``` 这里的`_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`子句到多个参数，是一个错误。更多详细信息请参阅[Section 22.2](#calibre_link-667)。）因此，下面的例子给出前一个例子相同的结果： ``` SELECT * FROM tbl WHERE a COLLATE "C" > 'foo'; ``` 但是这样做是错误的： ``` SELECT * FROM tbl WHERE (a > 'foo') COLLATE "C"; ``` 因为它尝试应用一个排序规则到`>`运算符的结果，而这个结果是非排序规则类型`boolean`。 ## 4.2.11\. 标量子查询一个标量子查询是一个放在圆括弧里只返回一行一列的普通`SELECT` 查询(参阅[Chapter 7](#calibre_link-485)获取有关书写查询的信息)。该`SELECT` 将被执行，而其返回值将在周围的值表达式中使用。把一个返回超过一行或者超过一列的查询用做标量查询是错误的。（不过，在一个特定的表达式中，子查询不返回行则不算错误；标量结果被认为是 NULL)。子查询可以引用外围查询的变量，这些变量在每次子查询中当做常量使用。参见[Section 9.22](#calibre_link-1795)以获取其它包含子查询的表达式。比如，下面的查询找出每个州中的最大人口数量的城市： ``` SELECT name, (SELECT max(pop) FROM cities WHERE cities.state = states.name) FROM states; ``` ## 4.2.12\. 数组构造器一个数组构造器是一个表达式，它从自身成员元素上构造一个数组值。一个简单的数组构造器由关键字`ARRAY`、一个左方括弧 `[`、一个或多个表示数组元素值的表达式(用逗号分隔)、一个右方括弧`]` 组成。比如： ``` SELECT ARRAY[1,2,3+4]; array --------- {1,2,7} (1 row) ``` 默认的，数组元素类型是成员表达式的公共类型，使用和`UNION`或 `CASE`构造一样的规则决定(参阅[Section 10.5](#calibre_link-454))。你可以通过明确地转换数组构造器为想要的类型来重写这个规则，例如： ``` SELECT ARRAY[1,2,22.7]::integer[]; array ---------- {1,2,23} (1 row) ``` 这和单独构造每个表达式为数组元素类型有相同的效果。关于构造的更多信息，请参阅[Section 4.2.9](#calibre_link-1793)。多维数组值可以通过嵌套数组构造器的方法来制作。内层构造器中的`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`建立的数组下标总是从1开始。有关数组的更多信息，参阅[Section 8.15](#calibre_link-1759)。 ## 4.2.13\. 行构造器行构造器是一个从提供给它的成员字段数值中构造行值(也叫复合类型值)的表达式。一个行构造器由关键字`ROW`、一个左圆括弧、零个或多个作为行字段值的表达式(用逗号分隔)、一个右圆括弧组成。比如： ``` SELECT ROW(1,2.5,'this is a test'); ``` 如果在列表里有多个表达式，那么关键字`ROW`是可选的。行构造器可以包含`_rowvalue_``.*`语法，它将被扩展为行值元素的列表，就像将`.*`语法用于一个`SELECT` 列表顶层一样。例如，如果表`t`有`f1`和`f2`两个字段，那么下面两句是等价的： ``` SELECT ROW(t.*, 42) FROM t; SELECT ROW(t.f1, t.f2, 42) FROM t; ``` > **Note:** 在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 ``` 更多的细节，请参阅[Section 9.23](#calibre_link-1529)。行构造器还可以用于连接子查询，这些在[Section 9.22](#calibre_link-1795)里面有详细讨论。 ## 4.2.14\. 表达式计算规则子表达式的计算顺序是未定义的。特别要指出的是，一个操作符或者函数的输入并不一定是按照从左向右的顺序或者以某种特定的顺序进行计算的。另外，如果一个表达式的结果可以通过只判断它的一部分就可以得到，那么其它子表达式就可以完全不计算了。比如，如果我们这么写： ``` SELECT true OR somefunc(); ``` 那么`somefunc()`就(可能)根本不会被调用。即使像下面这样写也是一样： ``` SELECT somefunc() OR true; ``` 请注意这和某些编程语言里从左向右"短路"布尔操作符是不一样的。因此，拿有副作用的函数作为复杂表达式的一部分是不明智的。在`WHERE`和`HAVING`子句里依赖副作用或者是计算顺序是特别危险的，因为这些子句都是作为生成一个执行规划的一部分进行了大量的再处理。在这些子句里的布尔表达式(`AND`/`OR`/`NOT` 的组合)可以用布尔代数运算律允许的任何方式进行识别。如果需要强制计算顺序，那么可以使用`CASE`构造(参阅[Section 9.17](#calibre_link-1839))。比如，下面是一种企图避免在`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`更好。