8.16. 复合类型

8.16.1. 声明复合类型

下面是两个定义复合类型的简单例子：

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复合类型也会作为副产品创建， 并且可以和上面一样使用。不过，需要注意当前实现的一个重要限制： 因为现在还没有对复合类型实现约束，所以在表定义中显示的约束并不适用 于表之外的复合类型值。（一个部分绕开的办法是使用域类型作为复合类型的成员。）

8.16.2. 复合类型值输入

要以文本常量书写复合类型值，在圆括弧里包围字段值并且用逗号分隔他们。 你可以在任何字段值周围放上双引号，如果值本身包含逗号或者圆括弧， 你必须用双引号括起(更多细节见下面)。因此，复合类型常量的一般格式如下：

'( val1 , val2 , ... )'

一个例子是:

'("fuzzy dice",42,1.99)'

如果inventory_item类型在前面已经定义了，那么这是一个合法的数值。 要让一个字段值是 NULL ，那么在列表里它的位置上不要写任何字符。比如， 下面这个常量在第三个字段声明一个 NULL ：

'("fuzzy dice",42,)'

如果你想要一个空字符串，而不是 NULL ，写一对双引号：

'("",42,)'

这里的第一个字段是一个非 NULL 的空字符串，第三个字段是 NULL

(这些常量实际上只是我们在Section 4.1.2.7 讨论的一般类型常量的一个特殊例子。这些常量一开始只是当作字符串， 然后传递给复合类型输入转换器。一个明确的类型声明可能是必须的。)

我们也可以用ROW表达式语法来构造复合类型值。 在大多数场合下，这种方法都比用字符串文本的语法更简单，因为你不用操心多重引号。 我们已经在上面使用了这种方法了：

ROW('fuzzy dice', 42, 1.99)
ROW('', 42, NULL)

只要你在表达式里有超过一个字段，那么关键字 ROW 就实际上是可选的， 所以可以简化为:

('fuzzy dice', 42, 1.99)
('', 42, NULL)

ROW表达式语法在Section 4.2.13里有更详细的讨论。

8.16.3. 访问复合类型

要访问复合类型字段的一个域，我们写出一个点以及域的名字， 非常类似从一个表名字里选出一个字段。实际上，因为实在太像从表名字中选取字段， 所以我们经常需要用圆括弧来避免分析器混淆。比如，你可能需要从on_hand 例子表中选取一些子域，像下面这样：

SELECT item.name FROM on_hand WHERE item.price > 9.99;

这样将不能工作，因为根据 SQL 语法，item是从一个表名字选取的， 而不是一个字段名字。你必须像下面这样写：

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 ...

如果没有额外的圆括弧，会产生一个语法错误。

8.16.4. 修改复合类型

下面是一些插入和更新复合类型字段的正确语法。首先，插入或者更新整个字段：

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);

如果我们没有为字段的所有子域提供数值，那么剩下的子域将用 NULL 填充。

8.16.5. 复合类型输入和输出语法

一个复合类型的文本表现形式包含那些根据独立的子域类型各自 I/O 转换规则解析的项， 加上一些表明这是复合结构的修饰。这些修饰由整个数值周围的圆括弧(( 和 ))加上相邻域之间的逗号(,)组成。圆括弧外面的空白被忽略， 但是在圆括弧里面，它被当作子域数值的一部分，根据对该子域数据类型的输入转换规则， 这些空白可能有用，也可能没用。比如，在：

'(  42)'

里，如果子域类型是整数，那么空白将被忽略，但是如果是文本，那么就不会忽略。

如前面显示的那样，在给一个复合类型写数值的时候，你可以在独立的子域数值周围用双引号包围。 如果子域数值会导致复合数值分析器产生歧义，那么你必须这么做。 特别是子域包含圆括弧、逗号、双引号或反斜杠的场合。要想在双引号括起来的复合字段值里面放双引号或反斜杠， 那么你需要在它前面放一个反斜杠。（同样，在一个双引号括起的子域数值里面的一对双引号表示一个双引号字符， 就像 SQL 字符串文本的单引号规则一样。）另外， 你可以避免引用和用反斜杠转义的方法保护所有可能会当作复合类型语法的数据字符。

一个完全空的子域数值(在逗号或者逗号与圆括弧之间没有字符)表示一个 NULL 。 要写一个空字符串，而不是一个 NULL ，写""。

假如子域数值是空字符串或者包含圆括弧、逗号、双引号、反斜杠、空白， 复合类型输出程序会在子域数值周围放上双引号。（这么处理空白不是必须的， 但是可以增强易读性。）在一个子域数值里面嵌入的双引号和反斜杠将会写成两份。