如 Section 36.2 所述，PostgreSQL 可以被扩展以支持新的数据类型。本节介绍如何定义新的基础类型，即定义在 SQL 语言层级之下的数据类型。创建新的基础类型需要用低层级语言（通常是 C）实现对类型进行操作的函数。

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

用户定义类型必须始终具备输入与输出函数。这些函数决定类型在字符串中的表现形式（供用户输入与向用户输出），以及类型在内存中的组织方式。输入函数把一个以空字符结尾的字符串作为参数，返回该类型的内部（内存中）表示。输出函数把该类型的内部表示作为参数，返回一个以空字符结尾的字符串。如果我们想对这个类型做的不仅仅是存储它，就必须提供额外的函数来实现我们希望该类型支持的任何操作。

假设我们想定义一个表示复数的类型 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() 宏把 datum 的总尺寸（包括长度字段自身）存入该字段，并使用 VARSIZE() 检索它。（存在这些宏是因为长度字段可能依平台而采用不同的编码。）

更多细节请参见 CREATE TYPE 命令的描述。