基本数据类型，例如 integer，是在语言级别（通常是用 C 等低级语言）实现的。SQL它们通常对应于经常被称为抽象数据类型的东西。PostgreSQL 只能通过用户提供的函数来操作这些类型，并且只理解用户描述的这些类型的行为。内置的基本数据类型在第 8 章中描述。

枚举 (enum) 类型可以被认为是基本数据类型的一个子类别。主要区别在于它们可以使用命令创建，而无需任何低级编程。有关更多信息，请参阅第 8.7 节。SQL

PostgreSQL 有三种类型的“容器”数据类型，这些数据类型包含其他类型的多个值。它们是数组、复合类型和范围类型。

数组可以包含多个类型都相同的元素。每个基本类型、复合类型、范围类型和域类型都自动创建了对应的数组类型。但是，没有数组的数组。就类型系统而言，多维数组与一维数组相同。有关更多信息，请参阅第 8.15 节。

复合类型（或行类型）在用户创建表时创建。也可以使用 CREATE TYPE 定义没有关联表的“独立”复合类型。复合类型只是具有关联字段名称的类型列表。复合类型的值是字段值的记录。

有关更多信息，请参阅第 8.16 节。

范围类型可以包含相同类型的两个值，它们是范围的下限和上限。范围类型是用户创建的，尽管存在一些内置的范围类型。有关更多信息，请参阅第 8.17 节。

域基于特定的底层类型，并且在许多方面可以与底层类型互换。但是，域可以具有约束，将有效值限制为底层类型允许值的一个子集。域使用命令 CREATE DOMAIN 创建。有关更多信息，请参阅第 8.18 节。SQL

有一些用于特殊目的的“伪数据类型”。伪数据类型不能作为表的列或容器类型的一部分出现，但可以用它们声明函数的参数和返回值类型。这在类型系统中提供了一种识别特殊函数类的方法。表 8.27 列出了现有的伪数据类型。

一些特别感兴趣的伪数据类型是 *多态数据类型*，它们用于声明 *多态函数*。此功能强大，允许单个函数定义操作许多不同的数据类型，在特定调用中，实际传递给它的数据类型将决定具体的数据类型。表 36.1 显示了多态数据类型。第 36.5.11 节显示了一些使用它们的示例。

多态参数和结果彼此关联，并在解析调用多态函数的查询时解析为特定数据类型。当有多个多态参数时，输入值的实际数据类型必须如以下描述匹配。如果函数的结果类型是多态的，或者它有输出参数的多态类型，则这些结果的类型将从多态输入的实际类型中推断出来，如以下描述所示。

对于“简单”系列的多态类型，匹配和推导规则如下：

声明为 anyelement 的每个位置（参数或返回值）都允许有任何特定实际数据类型，但在任何给定调用中它们都必须是相同的实际类型。声明为 anyarray 的每个位置都可以有任意数组数据类型，但同样它们必须是同一类型。同样，声明为 anyrange 的位置必须是同一范围类型。对于 anymultirange 也一样。

此外，如果存在声明为 anyarray 的位置和声明为 anyelement 的其他位置，则 anyarray 位置中的实际数组类型必须是一个数组，其元素与出现在 anyelement 位置的类型相同。anynonarray 与 anyelement 完全相同，但增加了实际类型不能是数组类型的附加约束。anyenum 与 anyelement 完全相同，但增加了实际类型必须是枚举类型的附加约束。

类似地，如果存在声明为 anyrange 的位置和声明为 anyelement 或 anyarray 的其他位置，则 anyrange 位置中的实际范围类型必须是一个范围，其子类型与出现在 anyelement 位置的类型相同，并且与 anyarray 位置的元素类型相同。如果存在声明为 anymultirange 的位置，则它们实际的多范围类型必须包含与声明为 anyrange 的参数匹配的范围以及与声明为 anyelement 和 anyarray 的参数匹配的基本元素。

因此，当声明有多个参数位置具有多态类型时，最终结果是只有某些实际参数类型组合是允许的。例如，声明为 equal(anyelement, anyelement) 的函数将接受任何两个输入值，只要它们是相同的数据类型。

当函数的返回值声明为多态类型时，必须至少有一个参数位置也是多态的，用于多态参数的实际数据类型决定了该调用的实际结果类型。例如，如果没有现有的数组下标机制，可以定义一个实现下标功能的函数，如下：subscript(anyarray, integer) returns anyelement。此声明约束实际第一个参数为数组类型，并允许解析器从实际第一个参数的类型推断出正确的结果类型。另一个例子是，声明为f(anyarray) returns anyenum的函数，只接受枚举类型的数组。

在大多数情况下，解析器可以从属于同一类型的不同多态类型的参数中推断出多态结果类型的实际数据类型；例如，anyarray 可以从 anyelement 推断出来，反之亦然。一个例外是，类型为anyrange的多态结果需要类型为anyrange的参数；它不能从anyarray或anyelement参数中推断出来。这是因为可能有多个范围类型具有相同的子类型。

请注意，anynonarray和anyenum不代表单独的类型变量；它们与anyelement相同，只是具有额外的约束。例如，声明函数为f(anyelement, anyenum) 等同于声明为f(anyenum, anyenum)：两个实际参数都必须是相同的枚举类型。

对于““通用””族多态类型，匹配和推导规则与““简单””族大致相同，有一个主要区别：参数的实际类型不必相同，只要它们可以隐式转换为单个通用类型。通用类型的选择遵循与UNION及相关构造相同的规则（请参阅第 10.5 节）。通用类型的选择考虑anycompatible和anycompatiblenonarray输入的实际类型、anycompatiblearray输入的数组元素类型、anycompatiblerange输入的范围子类型以及anycompatiblemultirange输入的多范围子类型。如果存在anycompatiblenonarray，则通用类型必须是非数组类型。一旦确定了通用类型，anycompatible和anycompatiblenonarray位置的参数将自动转换为该类型，anycompatiblearray位置的参数将自动转换为该类型的数组类型。

由于无法仅根据其子类型来选择范围类型，因此使用anycompatiblerange和/或anycompatiblemultirange需要所有声明为该类型的参数具有相同的实际范围类型和/或多范围类型，并且该类型的子类型与选择的通用类型一致，以便无需对范围值进行转换。与anyrange和anymultirange一样，将anycompatiblerange和anymultirange用作函数结果类型需要存在anycompatiblerange或anycompatiblemultirange参数。

请注意，没有anycompatibleenum类型。此类类型不会非常有用，因为通常没有到枚举类型的隐式转换，这意味着无法为不同的枚举输入解析通用类型。

““简单””和““通用””多态族代表两组独立的类型变量。例如，考虑

CREATE FUNCTION myfunc(a anyelement, b anyelement,
                       c anycompatible, d anycompatible)
RETURNS anycompatible AS ...

在实际调用此函数时，前两个输入必须完全相同。后两个输入必须可提升到一个通用类型，但该类型不必与前两个输入的类型有任何关系。结果将具有后两个输入的通用类型。

可变参数函数（如第 36.5.6 节中所示，接受可变数量的参数）可以是多态的：这是通过将最后一个参数声明为VARIADIC anyarray或VARIADIC anycompatiblearray来实现的。为了匹配参数和确定实际结果类型，此类函数的行为方式与您编写适当数量的anynonarray或anycompatiblenonarray参数相同。