COMPOSITE TYPES 複合類型

第一種形式的 CREATE TYPE 創建一個複合類型。 複合類型是通過一列屬性名和數據類型聲明的。這樣實際上和一個表的行類型一樣， 但是如果我們只是想定義一個類型，那麼使用 CREATE TYPE 避免了直接創建實際的表。 一個獨立的複合類型對於一個函數的返回類型非常有用。

BASE TYPES 基本類型

第二種形式的CREATE TYPE創建一種新的基本類型（標量類型）。 參數可以以任意的順序出現，而不是上面顯示的那樣。並且大多數都是可選的。 它要求要在定義類型之前先註冊兩個函數（用CREATE FUNCTION命令）。 支持函數 input_function 和 output_function 是必須的， 而函數 receive_function 和 send_function 是可選的。 通常，這些函數必須用 C 或者其它低層語言編寫。

函數 input_function 將該類型的外部文本形式轉換成可以被對該類型操作的操作符和函數識別的內部形式。 output_function 用做相反用途。 輸入函數可以聲明爲接受一個類型爲 c_string 的參數，或者接受三個類型分別爲 c_string，oid，integer 的參數。 （第一個參數是 C 字串形式的輸入文本，第二個是在該類型爲數組類型時其元素的類型， 第三個是目標字段的typmod，如果已知的話。） 它應該返回一個該數據類型本身的數值。 輸出函數可以聲明爲接受一個類型爲新數據類型的參數， 或者接受兩個類型，第二個參數的類型是 oid。 第二個參數也是用於數組類型的數組元素類型。輸出函數應該返回類型 cstring。

可選的 receive_function 把該類型的外部二進制表現形式轉換成內部表現形式。 如果沒有提供這個函數，那麼該類型不能用二進制輸入。二進制格式應該選取那種轉換成內部格式比較容易的，同時還有一定移植性的。 （比如，標準的整數數據類型使用網絡字節序作爲外部的二進制表現形式，而內部表現形式是機器的本機字節序。） 接收函數應該聲明爲接受一個類型爲 internal 的參數，或者兩個類型分別爲 internal 和 oid 的參數。 它必須返回一個數據類型自身的數值。（第一個參數是一個指向一個 StringInfo 緩衝區的，保存接受字節串的指針； 可選的第二個參數是元素類型——如果類型是一個數組類型的話。）類似的，可選的 send_function 把類型轉換爲外部二進制表現形式。 如果沒有提供這些函數，那麼類型就不能用二進制方式輸出。發送函數可以聲明爲接收一個新數據類型， 或者接收兩個參數，第二個參數的類型是 oid。第二個參數仍然是用做數組類型的。 發送函數必須返回 bytea。

這個時候你應該覺得奇怪，就是輸入和輸出函數怎麼可以聲明爲返回新類型的結果或者是接受新類型的參數， 而且是在新類型創建之前就需要創建它們。 答案是輸入函數必須先創建，然後是輸出函數，最後是數據類型。 PostgreSQL 將首先把新數據類型的名字看作輸入函數的返回類型。 它將創建一個"殼"類型，這個類型只是在 pg_type裏面的一個佔位符，然後把輸入函數定義和這個殼類型連接起來。 類似的是輸出函數將連接到（現在已經存在）的殼類型。最後， CREATE TYPE 把這個殼類型替換成完整的類型定義，這樣就可以使用新類型了。

儘管新類型的內部表現形式只有 I/O 函數和其它你創建來使用該類型的函數了解， 但內部表現還是有幾個屬性必須爲 PostgreSQL 聲明。 這些中最重要的是 internallength。 基本數據類型可定義成爲定長，這時 internallength 是一個正整數，也可以是變長的，通過把 internallength 設置爲 VARIABLE 表示。（在內部，這個狀態 是通過將typlen設置爲 -1 實現的。）所有變長類型的內部形式都必須以一個四字節整數開頭，這個整數給出此類型這個數值的全長。

可選的標記 PASSEDBYVALUE 表明該類型的數值是用值傳遞的， 而不是用引用。你不能傳遞那些內部形式大於 Datum （大多數機器上是 4 字節，有些是 8 字節）類型的尺寸的數據類型的值。

alignment 參數聲明該數據類型要求的對齊存儲方式。 允許的數值等效於按照 1，2，4，或者 8 字節邊界對齊。請注意變長類型必須有至少 4 字節的對齊， 因爲它們必須包含一個 int4 作爲它們的第一個成份。

storage 參數允許爲變長數據類型選擇存儲策略。 （定長類型只允許使用 plain）。 plain 聲明該數據類型總是用內聯的方式而不是壓縮的方式存儲。 extended 聲明系統將首先試圖壓縮一個長的數據值，然後如果它仍然太長的話就將它的值移出主表的行， 但系統將不會壓縮它。 main 允許壓縮，但是不贊成把數值移動出主表。 （用這種存儲策略的數據項可能仍將移動出主表，如果不能放在一行裏的話， 但是它們將比 extended 和 external 項更願意呆在主表裏。）

如果用戶希望字段的數據類型缺省時不是 NULL，而是其它什麼東西， 那麼你可以聲明一個缺省值。 在 DEFAULT 關鍵字裏面聲明缺省值。 （這樣的缺省可以被附着在特定字段上的明確的 DEFAULT 子句覆蓋。）

要表示一個類型是數組，用 ELEMENT 關鍵字聲明數組元素的類型。 比如，要定義一個 4 字節整數(int4)的數組，聲明

ELEMENT = int4

。 有關數組類型的更多細節在下面描述。

要聲明用於這種類型數組的外部形式的數值之間的分隔符，可用 delimiter 聲明指定分隔符。缺省的分隔符是逗號（,）。 請注意分隔符是和數組元素類型相關聯，而不是數組類型本身。

ARRAY TYPES 數組類型

在創建用戶定義數據類型的時候，PostgreSQL 自動創建一個與之關聯的數組類型，其名字由該基本類型的名字前綴一個下劃線組成。 分析器理解這個命名傳統，並且把對類型爲 foo[] 的字段的請求轉換成對類型爲 _foo 的字段的請求。這個隱含創建的數組類型是變長並且使用內建的輸入和輸出函數 array_in 和 array_out。

你很可能會問如果系統自動製作正確的數組類型，那爲什麼有個 ELEMENT選項？使用 ELEMENT 有用的唯一的場合是在你製作的定長類型碰巧在內部是一個一定數目相同事物的數組， 而你又想允許這 N 個事物可以通過腳標直接關聯，以及那些你準備把該類型當做整體進行的操作。 比如，類型 name 就允許其構成 char 用這種方法關聯。 一個二維的 point 類型也可以允許其兩個構成浮點型按照類似 point[0] 和 point[1] 的方法關聯。 請注意這個功能只適用與那些內部形式是一個相同的定長域的序列的類型。 一個可以腳標化的變長類型必須有被 array_in 和 array_out 使用的一般化的內部表現形式。 出於歷史原因（也就是說，那些明顯錯誤但補救來得太遲的問題），定長數組類型的腳標從零開始，而不是象變長類型那樣的從一開始。