一个组合类型表示一行或一个记录的结构,它本质上就是一个域名和它们数据类型的列表。LightDB允许把组合类型用在很多能用简单类型的地方。例如,一个表的一列可以被声明为一种组合类型。
这里有两个定义组合类型的简单例子:
CREATE TYPE complex AS ( r double precision, i double precision ); CREATE TYPE inventory_item AS ( name text, supplier_id integer, price numeric );
该语法堪比CREATE TABLE
,不过只能指定域名和类型,当前不能包括约束(例如NOT NULL
)。注意AS
关键词是必不可少的,如果没有它,系统将认为用户想要的是一种不同类型的CREATE TYPE
命令,并且你将得到奇怪的语法错误。
定义了类型之后,我们可以用它们来创建表:
CREATE TABLE on_hand ( item inventory_item, count integer ); INSERT INTO on_hand VALUES (ROW('fuzzy dice', 42, 1.99), 1000);
或函数:
CREATE FUNCTION price_extension(inventory_item, integer) RETURNS numeric AS 'SELECT $1.price * $2' LANGUAGE SQL; SELECT price_extension(item, 10) FROM on_hand;
只要你创建了一个表,也会自动创建一个组合类型来表示表的行类型,它具有和表一样的名称。例如,如果我们说:
CREATE TABLE inventory_item ( name text, supplier_id integer REFERENCES suppliers, price numeric CHECK (price > 0) );
那么和上面所示相同的inventory_item
组合类型将成为一种副产品,并且可以按上面所说的进行使用。不过要注意当前实现的一个重要限制:因为没有约束与一个组合类型相关,显示在表定义中的约束不会应用于表外组合类型的值(要解决这个问题,可以在该组合类型上创建一个域,并且把想要的约束应用为这个域上的CHECK
约束)。
要把一个组合值写作一个文字常量,将该域值封闭在圆括号中并且用逗号分隔它们。你可以在任何域值周围放上双引号,并且如果该域值包含逗号或圆括号则必须这样做(更多细节见下文)。这样,一个组合常量的一般格式是下面这样的:
'(val1
,val2
, ... )'
一个例子是:
'("fuzzy dice",42,1.99)'
这将是上文定义的inventory_item
类型的一个合法值。要让一个域为 NULL,在列表中它的位置上根本不写字符。例如,这个常量指定其第三个域为 NULL:
'("fuzzy dice",42,)'
如果你写一个空字符串而不是 NULL,写上两个引号:
'("",42,)'
这里第一个域是一个非 NULL 空字符串,第三个是 NULL。
(这些常量实际上只是Section 5.1.2.8中讨论的一般类型常量的特殊类型。该常量最初被当做一个字符串并且被传递给组合类型输入转换例程。有必要用一次显式类型说明来告知要把该常量转换成何种类型。)。
ROW
表达式也能被用来构建组合值。在大部分情况下,比起使用字符串语法,这相当简单易用,因为你不必担心多层引用。我们已经在上文用过这种方法:
ROW('fuzzy dice', 42, 1.99) ROW('', 42, NULL)
只要在表达式中有多于一个域,ROW 关键词实际上就是可选的,因此这些可以被简化成:
('fuzzy dice', 42, 1.99) ('', 42, NULL)
Section 5.2.13中更加详细地讨论了ROW
表达式语法。
要访问一个组合列的一个域,可以写成一个点和域的名称,更像从一个表名中选择一个域。事实上,它太像从一个表名中选择,这样我们不得不使用圆括号来避免让解析器混淆。例如,你可能尝试从例子表on_hand
中选取一些子域:
SELECT item.name FROM on_hand WHERE item.price > 9.99;
这不会有用,因为名称item
会被当成是一个表名,而不是on_hand
的一个列名。你必须写成这样:
SELECT (item).name FROM on_hand WHERE (item).price > 9.99;
或者你还需要使用表名(例如在一个多表查询中),像这样:
SELECT (on_hand.item).name FROM on_hand WHERE (on_hand.item).price > 9.99;
现在加上括号的对象就被正确地解释为对item
列的引用,然后可以从中选出子域。
只要你从一个组合值中选择一个域,相似的语法问题就适用。例如,要从一个返回组合值的函数的结果中选取一个域,你需要这样写:
SELECT (my_func(...)).field FROM ...
如果没有额外的圆括号,这将生成一个语法错误。
特殊的域名称*
表示“所有的域”,Section 9.14.5中有进一步的解释。
这里有一些插入和更新组合列的正确语法的例子。首先,插入或者更新一整个列:
INSERT INTO mytab (complex_col) VALUES((1.1,2.2)); UPDATE mytab SET complex_col = ROW(1.1,2.2) WHERE ...;
第一个例子忽略ROW
,第二个例子使用它,我们可以用两者之一完成。
我们能够更新一个组合列的单个子域:
UPDATE mytab SET complex_col.r = (complex_col).r + 1 WHERE ...;
注意这里我们不需要(事实上也不能)把圆括号放在正好出现在SET
之后的列名周围,但是当在等号右边的表达式中引用同一列时确实需要圆括号。
并且我们也可以指定子域作为INSERT
的目标:
INSERT INTO mytab (complex_col.r, complex_col.i) VALUES(1.1, 2.2);
如果我们没有为该列的所有子域提供值,剩下的子域将用空值填充。
对于查询中的组合类型有各种特殊的语法规则和行为。这些规则提供了有用的捷径,但是如果你不懂背后的逻辑就会被此困扰。
在LightDB中,查询中对一个表名(或别名)的引用实际上是对该表的当前行的组合值的引用。例如,如果我们有一个如上所示的表inventory_item
,我们可以写:
SELECT c FROM inventory_item c;
这个查询产生一个单一组合值列,所以我们会得到这样的输出:
c ------------------------ ("fuzzy dice",42,1.99) (1 row)
不过要注意简单的名称会在表名之前先匹配到列名,因此这个例子可行的原因仅仅是因为在该查询的表中没有名为c
的列。
普通的限定列名语法table_name
.
column_name
可以理解为把字段选择应用在该表的当前行的组合值上(由于效率的原因,实际上不是以这种方式实现)。
当我们写
SELECT c.* FROM inventory_item c;
时,根据SQL标准,我们应该得到该表展开成列的内容:
name | supplier_id | price ------------+-------------+------- fuzzy dice | 42 | 1.99 (1 row)
就好像查询是
SELECT c.name, c.supplier_id, c.price FROM inventory_item c;
尽管如上所示,LightDB将对任何组合值表达式应用这种展开行为,但只要.*
所应用的值不是一个简单的表名,你就需要把该值写在圆括号内。例如,如果myfunc()
是一个返回组合类型的函数,该组合类型由列a
、b
和c
组成,那么这两个查询有相同的结果:
SELECT (myfunc(x)).* FROM some_table; SELECT (myfunc(x)).a, (myfunc(x)).b, (myfunc(x)).c FROM some_table;
LightDB实际上通过将第一种形式转换为第二种来处理列展开。因此,在这个例子中,用两种语法时对每行都会调用myfunc()
三次。如果它是一个开销很大的函数,你可能希望避免这样做,所以可以用一个这样的查询:
SELECT m.* FROM some_table, LATERAL myfunc(x) AS m;
把该函数放在一个LATERAL
FROM
项中会防止它对每一行被调用超过一次。m.*
仍然会被展开为m.a, m.b, m.c
,但现在那些变量只是对这个FROM
项的输出的引用(这里关键词LATERAL
是可选的,但我们在这里写上它是为了说明该函数从some_table
中得到x
)。
当composite_value
.*
出现在一个SELECT
输出列表的顶层中、INSERT
/UPDATE
/DELETE
中的一个RETURNING
列表中、一个VALUES
子句中或者一个行构造器中时,该语法会导致这种类型的列展开。在所有其他上下文(包括被嵌入在那些结构之一中时)中,把.*
附加到一个组合值不会改变该值,因为它表示“所有的列”并且因此同一个组合值会被再次产生。例如,如果somefunc()
接受一个组合值参数,这些查询是相同的:
SELECT somefunc(c.*) FROM inventory_item c; SELECT somefunc(c) FROM inventory_item c;
在两种情况中,inventory_item
的当前行被传递给该函数作为一个单一的组合值参数。即使.*
在这类情况中什么也不做,使用它也是一种好的风格,因为它说清了一个组合值的目的是什么。特别地,解析器将会认为c.*
中的c
是引用一个表名或别名,而不是一个列名,这样就不会出现混淆。而如果没有.*
,就弄不清楚c
到底是表示一个表名还是一个列名,并且在有一个名为c
的列时会优先选择按列名来解释。
另一个演示这些概念的例子是下面这些查询,它们表示相同的东西:
SELECT * FROM inventory_item c ORDER BY c; SELECT * FROM inventory_item c ORDER BY c.*; SELECT * FROM inventory_item c ORDER BY ROW(c.*);
所有这些ORDER BY
子句指定该行的组合值,导致根据Section 10.23.6中介绍的规则对行进行排序。不过,如果inventory_item
包含一个名为c
的列,第一种情况会不同于其他情况,因为它表示仅按那一列排序。给定之前所示的列名,下面这些查询也等效于上面的那些查询:
SELECT * FROM inventory_item c ORDER BY ROW(c.name, c.supplier_id, c.price); SELECT * FROM inventory_item c ORDER BY (c.name, c.supplier_id, c.price);
(最后一种情况使用了一个省略关键字ROW
的行构造器)。
另一种与组合值相关的特殊语法行为是,我们可以使用函数记法来抽取一个组合值的字段。解释这种行为的简单方式是记法
和field
(table
)
是可以互换的。例如,这些查询是等效的:
table
.field
SELECT c.name FROM inventory_item c WHERE c.price > 1000; SELECT name(c) FROM inventory_item c WHERE price(c) > 1000;
此外,如果我们有一个函数接受单一的组合类型参数,我们可以以任意一种记法来调用它。这些查询全都是等效的:
SELECT somefunc(c) FROM inventory_item c; SELECT somefunc(c.*) FROM inventory_item c; SELECT c.somefunc FROM inventory_item c;
这种函数记法和字段记法之间的等效性使得我们可以在组合类型上使用函数来实现“计算字段”。
一个使用上述最后一种查询的应用不会直接意识到somefunc
不是一个真实的表列。
由于这种行为,让一个接受单一组合类型参数的函数与该组合类型的任意字段具有相同的名称是不明智的。出现歧义时,如果使用了字段名语法,则字段名解释将被选择,而如果使用的是函数调用语法则会选择函数解释。
一个组合值的外部文本表达由根据域类型的 I/O 转换规则解释的项,外加指示组合结构的装饰组成。装饰由整个值周围的圆括号((
和)
),外加相邻项之间的逗号(,
)组成。圆括号之外的空格会被忽略,但是在圆括号之内空格会被当成域值的一部分,并且根据域数据类型的输入转换规则可能有意义,也可能没有意义。例如,在
'( 42)'
中,如果域类型是整数则空格会被忽略,而如果是文本则空格不会被忽略。
如前所示,在写一个组合值时,你可以在任意域值周围写上双引号。如果不这样做会让域值迷惑组合值解析器,你就必须这么做。特别地,包含圆括号、逗号、双引号或反斜线的域必须用双引号引用。要把一个双引号或者反斜线放在一个被引用的组合域值中,需要在它前面放上一个反斜线(还有,一个双引号引用的域值中的一对双引号被认为是表示一个双引号字符,这和 SQL 字符串中单引号的规则类似)。另一种办法是,你可以避免引用以及使用反斜线转义来保护所有可能被当作组合语法的数据字符。
一个全空的域值(在逗号或圆括号之间完全没有字符)表示一个 NULL。要写一个空字符串值而不是 NULL,可以写成""
。
如果域值是空串或者包含圆括号、逗号、双引号、反斜线或空格,组合输出例程将在域值周围放上双引号(对空格这样处理并不是不可缺少的,但是可以提高可读性)。嵌入在域值中的双引号及反斜线将被双写。
记住你在一个 SQL 命令中写的东西将首先被解释为一个字符串,然后才会被解释为一个组合。这就让你所需要的反斜线数量翻倍(假定使用了转义字符串语法)。例如,要在组合值中插入一个含有一个双引号和一个反斜线的text
域,你需要写成:
INSERT ... VALUES ('("\"\\")');
字符串处理器会移除一层反斜线,这样在组合值解析器那里看到的就会是("\"\\")
。接着,字符串被交给text
数据类型的输入例程并且变成"\
(如果我们使用的数据类型的输入例程也会特别处理反斜线,例如bytea
,在命令中我们可能需要八个反斜线用来在组合域中存储一个反斜线)。美元引用(见Section 5.1.2.4)可以被用来避免双写反斜线。
当在 SQL 命令中书写组合值时,ROW
构造器语法通常比组合文字语法更容易使用。在ROW
中,单个域值可以按照平时不是组合值成员的写法来写。