如第 36.2 节中所述，PostgreSQL 可以扩展以支持新的数据类型。本节介绍如何定义新的基本类型，这些类型是在低于SQL语言级别的级别定义的。创建新的基本类型需要用低级语言（通常是 C）实现操作该类型的函数。

本节中的示例可以在源代码分发版的 src/tutorial 目录下的 complex.sql 和 complex.c 文件中找到。有关运行示例的说明，请参见该目录下的 README 文件。

用户定义类型必须始终具有输入和输出函数。这些函数决定了类型在字符串中（供用户输入和输出给用户）的显示方式以及类型在内存中的组织方式。输入函数接收一个以 null 结尾的字符字符串作为参数，并返回类型的内部（内存中）表示。输出函数接收类型的内部表示作为参数，并返回一个以 null 结尾的字符字符串。如果我们希望对类型进行除存储之外的任何操作，就必须提供额外的函数来执行我们希望为该类型提供的任何操作。

假设我们要定义一个表示复数的 complex 类型。在内存中表示复数的一种自然方式是使用以下 C 结构：

typedef struct Complex {
    double      x;
    double      y;
} Complex;

我们将需要使其成为一个通过引用传递的类型，因为它太大，无法放入单个 Datum 值中。

作为类型的外部字符串表示，我们选择 (x,y) 形式的字符串。

输入和输出函数通常不难编写，特别是输出函数。但在定义类型的外部字符串表示时，请记住您最终必须编写一个完整且健壮的解析器来处理该表示形式作为您的输入函数。例如：

PG_FUNCTION_INFO_V1(complex_in);

Datum
complex_in(PG_FUNCTION_ARGS)
{
    char       *str = PG_GETARG_CSTRING(0);
    double      x,
                y;
    Complex    *result;

    if (sscanf(str, " ( %lf , %lf )", &x, &y) != 2)
        ereport(ERROR,
                (errcode(ERRCODE_INVALID_TEXT_REPRESENTATION),
                 errmsg("invalid input syntax for type %s: \"%s\"",
                        "complex", str)));

    result = (Complex *) palloc(sizeof(Complex));
    result->x = x;
    result->y = y;
    PG_RETURN_POINTER(result);
}

输出函数可以简单地是：

PG_FUNCTION_INFO_V1(complex_out);

Datum
complex_out(PG_FUNCTION_ARGS)
{
    Complex    *complex = (Complex *) PG_GETARG_POINTER(0);
    char       *result;

    result = psprintf("(%g,%g)", complex->x, complex->y);
    PG_RETURN_CSTRING(result);
}

您应该注意确保输入和输出函数互为逆运算。如果不是这样，当您需要将数据转储到文件然后读回时，您将遇到严重的问题。当涉及浮点数时，这是尤其常见的问题。

可选地，用户定义类型可以提供二进制输入和输出例程。二进制 I/O 通常比文本 I/O 更快，但可移植性较差。与文本 I/O 一样，定义外部二进制表示的完全取决于您。大多数内置数据类型都尝试提供与机器无关的二进制表示。对于 complex，我们将利用 float8 类型的二进制 I/O 转换器。

PG_FUNCTION_INFO_V1(complex_recv);

Datum
complex_recv(PG_FUNCTION_ARGS)
{
    StringInfo  buf = (StringInfo) PG_GETARG_POINTER(0);
    Complex    *result;

    result = (Complex *) palloc(sizeof(Complex));
    result->x = pq_getmsgfloat8(buf);
    result->y = pq_getmsgfloat8(buf);
    PG_RETURN_POINTER(result);
}

PG_FUNCTION_INFO_V1(complex_send);

Datum
complex_send(PG_FUNCTION_ARGS)
{
    Complex    *complex = (Complex *) PG_GETARG_POINTER(0);
    StringInfoData buf;

    pq_begintypsend(&buf);
    pq_sendfloat8(&buf, complex->x);
    pq_sendfloat8(&buf, complex->y);
    PG_RETURN_BYTEA_P(pq_endtypsend(&buf));
}

一旦我们编写了 I/O 函数并将其编译为共享库，我们就可以在 SQL 中定义 complex 类型。首先，我们将其声明为一个空壳类型：

CREATE TYPE complex;

这充当了一个占位符，允许我们在定义其 I/O 函数时引用该类型。现在我们可以定义 I/O 函数了：

CREATE FUNCTION complex_in(cstring)
    RETURNS complex
    AS 'filename'
    LANGUAGE C IMMUTABLE STRICT;

CREATE FUNCTION complex_out(complex)
    RETURNS cstring
    AS 'filename'
    LANGUAGE C IMMUTABLE STRICT;

CREATE FUNCTION complex_recv(internal)
   RETURNS complex
   AS 'filename'
   LANGUAGE C IMMUTABLE STRICT;

CREATE FUNCTION complex_send(complex)
   RETURNS bytea
   AS 'filename'
   LANGUAGE C IMMUTABLE STRICT;

最后，我们可以提供数据类型的完整定义：

CREATE TYPE complex (
   internallength = 16,
   input = complex_in,
   output = complex_out,
   receive = complex_recv,
   send = complex_send,
   alignment = double
);

当您定义一个新的基本类型时，PostgreSQL 会自动为该类型的数组提供支持。数组类型通常与基本类型同名，并在前面加上下划线字符（_）。

一旦数据类型存在，我们就可以声明额外的函数来提供对数据类型的有用操作。然后可以在函数之上定义运算符，如果需要，还可以创建运算符类来支持数据类型的索引。这些附加层将在后续章节中讨论。

如果数据类型的内部表示为可变长度，则其内部表示必须遵循可变长度数据的标准布局：前四个字节必须是一个 char[4] 字段，该字段永远不会被直接访问（通常命名为 vl_len_）。您必须使用 SET_VARSIZE() 宏将数据总大小（包括长度字段本身）存储在此字段中，并使用 VARSIZE() 来检索它。（这些宏存在是因为长度字段可能根据平台进行编码。）

有关更多详细信息，请参阅 CREATE TYPE 命令的描述。