复合类型

第一种形式的CREATE TYPE创建复合类型。复合类型由属性名和数据类型列表指定。如果某个属性的数据类型支持排序规则，还可以指定该属性的排序规则。复合类型本质上与表的行类型相同，但如果目的只是定义一种类型，使用CREATE TYPE 就不必实际创建表。例如，独立的复合类型可用作函数的参数类型或返回类型。

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

枚举类型

如第 8.7 节中所述，第二种形式的 CREATE TYPE创建枚举（enum）类型。枚举类型接受一个带引号标签的列表，其中每个标签的长度都必须小于 NAMEDATALEN字节（在标准 PostgreSQL构建中为 64 字节）。

范围类型

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

范围类型的subtype可以是任何带有关联 B-树操作符类的类型（该操作符类用于确定范围类型值的顺序）。通常使用子类型默认的 B-树操作符类来确定顺序；若要使用非默认操作符类，可用subtype_opclass指定其名称。如果子类型支持排序规则，而你希望在范围排序中使用非默认排序规则，可用 collation选项指定所需排序规则。

可选的canonical函数必须接受一个正在定义的范围类型值作为参数，并返回同一类型的值。在适用时，它用于将范围值转换为规范形式。更多信息见第 8.16.8 节。创建 canonical函数有些棘手，因为它必须在声明范围类型之前定义。为此，必须先创建一种 shell 类型，它除了名称和拥有者外没有任何属性，只是一个占位符类型。这可通过执行不带任何附加参数的命令CREATE TYPE name完成。然后就可以把该 shell 类型用作参数类型和结果类型来声明该函数，最后再用同一名称声明范围类型。这样会自动用有效的范围类型替换 shell 类型条目。

可选的subtype_diff 函数必须接受两个subtype类型的值作为参数，并返回一个表示这两个给定值之差的double precision值。虽然这是可选的，但提供该函数可显著提高该范围类型列上 GiST 索引的效率。详见第 8.16.8 节。

基础类型

第四种形式的CREATE TYPE创建一种新的基础类型（标量类型）。要创建新的基础类型，你必须是超级用户。（这样限制是因为错误的类型定义可能使服务器陷入混乱，甚至导致其崩溃。）

这些参数可以按任意顺序出现，不必局限于上面展示的顺序，而且大多数都是可选的。在定义该类型之前，必须先注册两个或更多函数（使用 CREATE FUNCTION）。支持函数 input_function和 output_function是必需的；receive_function、send_function、type_modifier_input_function、type_modifier_output_function、analyze_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 值不会调用发送函数。

读到这里，你可能会问：既然新类型本身还没创建，输入和输出函数怎么能声明为返回或接受这个新类型呢？答案是，应先把该类型定义为一种 shell 类型，它除了名称和拥有者外没有任何属性，只是一个占位符类型。这可通过执行不带任何附加参数的命令 CREATE TYPE name 完成。然后就可以定义引用该 shell 类型的 I/O 函数。最后，再用带完整定义的CREATE TYPE替换该 shell 条目，生成一个完整且有效的类型定义，此后新类型就能正常使用。

如果该类型支持修饰符，也就是附加在类型声明上的可选约束，例如 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 为该数据类型的列执行类型专用的统计信息收集。默认情况下，如果该类型有默认的 B-树操作符类，ANALYZE将尝试使用该类型的“equals”和“less-than”操作符收集统计信息。对于非标量类型，这种行为很可能不合适，因此可以通过指定自定义分析函数来覆盖。分析函数必须声明为接受一个 internal参数并返回boolean结果。分析函数的详细 API 见src/include/commands/vacuum.h。

虽然新类型内部表示的细节只有 I/O 函数以及你为该类型编写的其他函数才知道，但仍有若干内部表示属性必须向 PostgreSQL声明。其中最重要的是 internallength。基础类型可以是定长的，此时internallength为正整数；也可以是变长的，此时将internallength设为 VARIABLE。（在内部，这通过把 typlen设为 -1 表示。）所有变长类型的内部表示都必须以一个 4 字节整数开头，用来给出该类型该值的总长度。

可选标志PASSEDBYVALUE表示该数据类型的值按值传递，而不是按引用传递。内部表示大于Datum类型大小（多数机器上为 4 字节，少数为 8 字节）的类型不能按值传递。

alignment参数指定该数据类型所需的存储对齐方式。允许的值分别对应按 1、2、4 或 8 字节边界对齐。注意，变长类型的对齐至少必须为 4，因为它们的第一个组成部分必然是一个int4。

storage参数允许为变长数据类型选择存储策略。（定长类型只允许 plain。）plain表示该类型数据始终内联存储且不压缩。extended表示系统会先尝试压缩较长的数据值，如果仍然过长，就把该值移出主表行。external允许把值移出主表，但系统不会尝试压缩它。main允许压缩，但不鼓励把值移出主表。（采用这种存储策略的数据项在没有其他办法让一行适配时仍可能被移出主表，但与extended和external 数据项相比，它们会被优先保留在主表中。）

like_type参数提供了指定数据类型基本表示属性的另一种方法：从某个现有类型复制这些属性。internallength、passedbyvalue、alignment和 storage的值都从指定类型复制而来。（虽然可以通过同时给出LIKE子句和这些选项来覆盖其中某些值，但通常不建议这样做。）当新类型的底层实现以某种方式“借用”现有类型时，以这种方式指定表示属性尤其有用。

category和 preferred参数可用于在存在歧义时帮助控制应用哪一种隐式类型转换。每种数据类型都属于一个由单个 ASCII 字符命名的类别，并且在其类别内要么是“首选”的，要么不是。当这一规则有助于解析重载函数或操作符时，解析器会优先转换为首选类型（但只会从同一类别中的其他类型转换）。更多细节见第 10 章。对于与任何其他类型之间都没有隐式类型转换的类型，保持这些设置的默认值就足够了。不过，对于一组彼此存在隐式类型转换的相关类型，把它们都标记为属于同一类别，并选择一两个“最通用”的类型作为该类别的首选类型，通常会有帮助。category参数在将用户定义类型加入现有内置类别（例如数值类型或字符串类型）时尤其有用。不过，也可以创建全新的纯用户定义类型类别。为这种类别命名时，可选择任一非大写字母的 ASCII 字符。

如果用户希望该数据类型列的默认值不是空值，可以指定默认值。用 DEFAULT关键字指定默认值。（该默认值可以被附加到具体列上的显式DEFAULT子句覆盖。）

若要表明一种类型是数组类型，可用ELEMENT 关键字指定数组元素的类型。例如，要定义由 4 字节整数（int4）构成的数组，可指定 ELEMENT = int4。更多关于数组类型的细节见下文。

若要指定该类型数组在外部表示中用于分隔各值的分隔符，可把 delimiter设为特定字符。默认分隔符是逗号（,）。注意，这个分隔符关联的是数组元素类型，而不是数组类型本身。

如果可选的布尔参数 collatable为真，则该类型的列定义和表达式可以通过COLLATE子句携带排序规则信息。是否实际使用这些排序规则信息取决于操作该类型的函数实现；仅仅把类型标记为支持排序规则并不会自动实现这一点。

数组类型

每当创建用户定义类型时，PostgreSQL 都会自动创建一个关联的数组类型，其名称由元素类型名前加一个下划线组成；必要时还会截断，以保持其长度小于 NAMEDATALEN字节。（如果这样生成的名称与现有类型名冲突，就会重复这一过程，直到找到不冲突的名称。）这种隐式创建的数组类型是变长的，并使用内置输入/输出函数 array_in和array_out。该数组类型会跟踪其元素类型的拥有者或模式的任何变化，并在元素类型被删除时一并删除。

如果系统会自动创建正确的数组类型，你可能会合理地问，为什么还需要ELEMENT选项。ELEMENT唯一有用的情况是：你正在创建一种定长类型，而它在内部恰好是若干相同元素组成的数组，并且除了为整个类型提供的操作之外，你还希望允许通过下标直接访问这些元素。例如，类型point在内部就表示为两个浮点数，可以用point[0]和 point[1]访问。注意，这种机制只适用于内部形式恰好是一串相同定长字段的定长类型。可用下标访问的变长类型必须采用array_in和array_out使用的通用内部表示。由于历史原因（也就是说这显然不对，但现在改已经太晚了），定长数组类型的下标从零开始，而变长数组则从一开始。