复合类型

第一种形式的CREATE TYPE创建一个复合类型。复合类型由属性名和数据类型的列表指定。它本质上与表的行类型相同，但如果想要的只是定义一种类型，使用CREATE TYPE可以避免创建一个实际的表。独立的复合类型可用作函数的参数类型或返回类型。

枚举类型

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

基础类型

第四种形式的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 数据项相比，它们会被优先保留在主表中。）

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

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

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

数组类型

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

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