如第 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，我們將 piggy-back 在 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 型別。 首先，我們將其宣告為 shell 型別

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 指令的描述。