复合类型

CREATE TYPE 的第一种形式创建一个复合类型。复合类型由属性名称和数据类型列表指定。如果属性的数据类型可排序，还可以指定属性的排序规则。复合类型本质上与表的行类型相同，但使用 CREATE TYPE 无需创建实际表，而只需定义类型即可。独立的复合类型很有用，例如，作为函数的参数或返回类型。

要能够创建复合类型，您必须对所有属性类型拥有 USAGE 权限。

枚举类型

CREATE TYPE 的第二种形式创建一个枚举 (enum) 类型，如 第 8.7 节 中所述。枚举类型采用带引号的标签列表，每个标签的长度必须小于 NAMEDATALEN 字节（在标准 PostgreSQL 构建中为 64 字节）。（可以创建一个没有标签的枚举类型，但此类类型在使用 ALTER TYPE 添加至少一个标签之前无法用来保存值。）

范围类型

CREATE TYPE 的第三种形式创建一个新的范围类型，如 第 8.17 节 中所述。

范围类型的 subtype 可以是任何具有关联的 b 树操作符类的类型（用于确定范围类型值的顺序）。通常使用子类型的默认 b 树操作符类来确定顺序；要使用非默认操作符类，请使用 subtype_opclass 指定其名称。如果子类型可排序，并且您希望在范围的顺序中使用非默认排序规则，请使用 collation 选项指定所需的排序规则。

可选的 canonical 函数必须采用一个正在定义的范围类型的参数，并返回相同类型的数值。这用于在适用时将范围值转换为规范形式。有关详细信息，请参见 第 8.17.8 节。创建 canonical 函数有点棘手，因为它必须在声明范围类型之前定义。为此，您必须首先创建一个外壳类型，这是一个占位符类型，除了名称和所有者之外没有其他属性。这可以通过发出命令 CREATE TYPE name 来完成，无需其他参数。然后可以使用外壳类型作为参数和结果来声明函数，最后可以使用相同的名称来声明范围类型。这将自动用有效的范围类型替换外壳类型条目。

可选的 subtype_diff 函数必须采用 subtype 类型的两个值作为参数，并返回一个 double precision 值，表示给定两个值之间的差值。虽然这是可选的，但提供它可以极大地提高范围类型列上的 GiST 索引的效率。有关详细信息，请参见 第 8.17.8 节。

可选的 multirange_type_name 参数指定相应的多范围类型的名称。如果未指定，则此名称将自动选择如下。如果范围类型名称包含子字符串 range，则通过在范围类型名称中用 multirange 替换 range 子字符串来形成多范围类型名称。否则，通过向范围类型名称追加 _multirange 后缀来形成多范围类型名称。

基本类型

第四种形式的 CREATE TYPE 创建一个新的基本类型（标量类型）。要创建新的基本类型，您必须是超级用户。（做出此限制是因为错误的类型定义可能会混淆甚至使服务器崩溃。）

这些参数可以按任意顺序出现，而不仅仅是上面说明的顺序，并且大多数参数都是可选的。在定义类型之前，您必须注册两个或更多个函数（使用 CREATE FUNCTION）。支持函数 input_function 和 output_function 是必需的，而函数 receive_function、send_function、type_modifier_input_function、type_modifier_output_function、analyze_function 和 subscript_function 是可选的。通常，这些函数必须用 C 或其他低级语言编写。

input_function 将类型的外部文本表示形式转换为由为该类型定义的操作符和函数使用的内部表示形式。 output_function 执行相反的转换。可以将输入函数声明为采用一个 cstring 类型的参数，或采用三个 cstring、oid、integer 类型的参数。第一个参数是作为 C 字符串的输入文本，第二个参数是类型自己的 OID（数组类型除外，数组类型接收其元素类型的 OID），第三个参数（如果已知）是目标列的 typmod（如果未知，将传递 -1）。输入函数必须返回数据类型本身的值。通常，应将输入函数声明为 STRICT；如果不是，则在读取 NULL 输入值时将使用第一个参数 NULL 调用该函数。在这种情况下，该函数仍必须返回 NULL，除非引发错误。（此情况主要用于支持域输入函数，这些函数可能需要拒绝 NULL 输入。）输出函数必须声明为采用新数据类型的一个参数。输出函数必须返回 cstring 类型。不会为 NULL 值调用输出函数。

可选的 receive_function 将类型的外部二进制表示形式转换为内部表示形式。如果未提供此函数，则该类型不能参与二进制输入。应选择二进制表示形式，以便可以廉价地转换为内部形式，同时具有合理的移植性。（例如，标准整数数据类型使用网络字节顺序作为外部二进制表示形式，而内部表示形式采用机器的本机字节顺序。）接收函数应执行充分的检查以确保该值有效。可以将接收函数声明为采用一个 internal 类型的参数，或采用三个 internal、oid、integer 类型的参数。第一个参数是指向包含已接收字节字符串的 StringInfo 缓冲区的指针；可选参数与文本输入函数相同。接收函数必须返回数据类型本身的值。通常，应将接收函数声明为 STRICT；如果不是，则在读取 NULL 输入值时将使用第一个参数 NULL 调用该函数。在这种情况下，该函数仍必须返回 NULL，除非引发错误。（此情况主要用于支持域接收函数，这些函数可能需要拒绝 NULL 输入。）类似地，可选的 send_function 从内部表示形式转换为外部二进制表示形式。如果未提供此函数，则该类型不能参与二进制输出。发送函数必须声明为采用新数据类型的一个参数。发送函数必须返回 bytea 类型。不会为 NULL 值调用发送函数。

此时你应该会疑惑，当必须在创建新类型之前创建输入和输出函数时，如何才能声明这些函数具有新类型的结果或参数。答案是，首先应将类型定义为外壳类型，这是一种占位符类型，除了名称和所有者之外没有任何属性。通过发出命令 CREATE TYPE name 来完成此操作，无需其他参数。然后，可以定义 C I/O 函数来引用外壳类型。最后，带有完整定义的 CREATE TYPE 将外壳条目替换为完整、有效的类型定义，之后可以正常使用新类型。

如果类型支持修饰符（附加到类型声明中的可选约束，例如 char(5) 或 numeric(30,2)），则需要可选的 type_modifier_input_function 和 type_modifier_output_function。 PostgreSQL 允许用户定义类型将一个或多个简单常量或标识符作为修饰符。但是，此信息必须能够打包到单个非负整数值中，以存储在系统目录中。以 cstring 数组的形式将声明的修饰符传递给 type_modifier_input_function。它必须检查值的有效性（如果值错误则抛出错误），如果正确，则返回一个非负 integer 值，该值将作为列 “typmod” 存储。如果类型没有 type_modifier_input_function，则将拒绝类型修饰符。 type_modifier_output_function 将内部整数 typmod 值转换回正确的形式以供用户显示。它必须返回一个 cstring 值，该值是要附加到类型名称的确切字符串；例如，numeric 的函数可能返回 (30,2)。允许省略 type_modifier_output_function，在这种情况下，默认显示格式只是用括号括起来的已存储的 typmod 整数值。

可选的 analyze_function 为数据类型的列执行特定类型的统计信息收集。默认情况下，ANALYZE 将尝试使用该类型的 “equals” 和 “less-than” 运算符收集统计信息（如果该类型有默认的 b 树运算符类）。对于非标量类型，此行为可能不合适，因此可以通过指定自定义分析函数来覆盖它。分析函数必须声明为接受一个 internal 类型的参数，并返回一个 boolean 结果。分析函数的详细 API 载于 src/include/commands/vacuum.h。

可选的 subscript_function 允许在 SQL 命令中对数据类型进行下标引用。指定此函数不会导致该类型被视为 “true” 数组类型；例如，它不会成为 ARRAY[] 构造的结果类型的候选者。但是，如果对该类型的值进行下标引用是从中提取数据的自然表示法，那么可以编写 subscript_function 来定义其含义。下标引用函数必须声明为接受一个 internal 类型的参数，并返回一个 internal 结果，该结果是一个实现下标引用的方法（函数）的结构体的指针。下标引用函数的详细 API 载于 src/include/nodes/subscripting.h。阅读 src/backend/utils/adt/arraysubs.c 中的数组实现或 contrib/hstore/hstore_subs.c 中的更简单的代码也可能很有用。更多信息载于下文的 数组类型。

虽然新类型的内部表示的详细信息只为 I/O 函数和其他用于处理该类型的函数所知，但必须向 PostgreSQL 声明内部表示的几个属性。其中最重要的是 internallength。基本数据类型可以是固定长度的，在这种情况下，internallength 是一个正整数，或者可变长度的，通过将 internallength 设置为 VARIABLE 来表示。（在内部，这是通过将 typlen 设置为 -1 来表示的。）所有可变长度类型的内部表示都必须以一个 4 字节整数开头，该整数给出该类型值的总长度。（请注意，长度字段通常是编码的，如 第 73.2 节 中所述；直接访问它是不明智的。）

可选标志 PASSEDBYVALUE 表示该数据类型的值按值传递，而不是按引用传递。按值传递的类型必须是固定长度的，并且它们的内部表示不能大于 Datum 类型的长度（在某些机器上为 4 字节，在其他机器上为 8 字节）。

alignment 参数指定数据类型所需的存储对齐方式。允许的值等同于在 1、2、4 或 8 字节边界上的对齐方式。请注意，可变长度类型必须至少有 4 的对齐方式，因为它们必然包含一个 int4 作为其第一个组件。

storage 参数允许为可变长度数据类型选择存储策略。（对于固定长度类型，只允许 plain。）plain 指定该类型的数据将始终以行内方式存储，并且不会压缩。extended 指定系统将首先尝试压缩长数据值，如果它仍然太长，则会将该值移出主表行。external 允许将该值移出主表，但系统不会尝试压缩它。main 允许压缩，但会阻止将该值移出主表。（具有此存储策略的数据项在没有其他方法使行适合的情况下仍可能被移出主表，但它们将优先于 extended 和 external 项保留在主表中。）

除了 plain 之外的所有其他 storage 值都意味着数据类型的函数可以处理已烤制的值，如 第 73.2 节 和 第 38.13.1 节 中所述。给出的特定其他值仅仅确定可烤制数据类型列的默认 TOAST 存储策略；用户可以使用 ALTER TABLE SET STORAGE 为各个列选择其他策略。

like_type 参数提供了一种指定数据类型基本表示属性的替代方法：从某些现有类型中复制它们。internallength、passedbyvalue、alignment 和 storage 的值从命名类型中复制。（虽然通常不希望这样做，但可以通过使用 LIKE 子句指定这些值来覆盖其中一些值。）以这种方式指定表示在以下情况下特别有用：新类型 “搭载” 的底层实现以某种方式基于现有类型。

category 和 preferred 参数可用于帮助控制在模棱两可的情况下应用哪种隐式转换。每个数据类型都属于由单个 ASCII 字符命名的类别，并且每个类型在其类别中要么是 “preferred”，要么不是。当此规则有助于解决重载函数或运算符时，解析器将优先转换为首选类型（但仅从同一类别中的其他类型）。有关更多详细信息，请参阅 第 10 章。对于没有到或来自任何其他类型的隐式转换的类型，将这些设置保留为默认值就足够了。但是，对于具有一组隐式转换的相关类型，通常将它们全部标记为属于一个类别，并将一个或两个 “最通用” 类型标记为该类别中的首选类型。当将用户定义类型添加到现有的内置类别（例如数字或字符串类型）时，category 参数特别有用。但是，还可以创建全新的用户定义类型类别。选择大写字母以外的任何 ASCII 字符来命名此类类别。

如果用户希望数据类型的列默认为非空值，则可以指定默认值。使用 DEFAULT 关键字指定默认值。（此类默认值可以被附加到特定列的显式 DEFAULT 子句覆盖。）

要指示类型为固定长度数组类型，请使用 ELEMENT 关键字指定数组元素的类型。例如，要定义 4 字节整数数组（int4），请指定 ELEMENT = int4。有关更多详细信息，请参阅下面的 数组类型。

要指示在此类型的数组的外部表示中值之间使用的分隔符，可以将 delimiter 设置为特定字符。默认分隔符是逗号（,）。请注意，分隔符与数组元素类型相关，而不是与数组类型本身相关。

如果可选布尔参数 collatable 为真，则该类型的列定义和表达式可以通过使用 COLLATE 子句携带校对信息。由操作该类型的函数的实现来实际使用校对信息；仅仅通过将类型标记为可校对并不会自动发生这种情况。

数组类型

每当创建用户定义类型时，PostgreSQL 都会自动创建一个关联的数组类型，其名称由元素类型的名称加上下划线组成，并在必要时截断以使其长度小于 NAMEDATALEN 字节。（如果这样生成的名称与现有类型名称冲突，则重复此过程，直到找到非冲突的名称。）此隐式创建的数组类型是可变长度的，并使用内置的输入和输出函数 array_in 和 array_out。此外，此类型是系统用于用户定义类型上的 ARRAY[] 等构造的类型。数组类型会跟踪其元素类型的拥有者或架构中的任何更改，如果元素类型被删除，则数组类型也会被删除。

系统自动生成正确的数组类型，因此你可能会合理地询问为什么会有 ELEMENT 选项。使用 ELEMENT 最有用的主要情况是，当你要制作一个定长类型时，该类型恰好是内部包含多个相同事物的数组，并且除了你计划为整个类型提供的任何操作之外，你还希望允许通过下标直接访问这些事物。例如，类型 point 仅表示为两个浮点数，可以使用 point[0] 和 point[1] 访问它们。请注意，此功能仅适用于内部形式完全是相同定长字段序列的定长类型。出于历史原因（即，这显然是错误的，但现在更改为时已晚），定长数组类型的下标从零开始，而不是像可变长数组那样从一开始。

指定 SUBSCRIPT 选项允许对数据类型进行下标，即使系统不将其视为数组类型。针对定长数组刚刚描述的行为实际上是由 SUBSCRIPT 处理程序函数 raw_array_subscript_handler 实现的，如果你为定长类型指定 ELEMENT 而没有同时编写 SUBSCRIPT，则会自动使用该函数。

在指定自定义 SUBSCRIPT 函数时，无需指定 ELEMENT，除非 SUBSCRIPT 处理程序函数需要查阅 typelem 以找出要返回的内容。请注意，指定 ELEMENT 会导致系统假设新类型包含元素类型或在某种程度上物理依赖于元素类型；因此，例如，如果存在任何从属类型的列，则不允许更改元素类型的属性。