如第 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 命令的描述。