复合类型

第一种形式的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使用的通用内部表示。由于历史原因（也就是说这显然 不对，但现在改已经太晚了），定长数组类型的下标从零开始，而变长数 组则从一开始。