使用
雖然 cons單元可用於儲存有序的數據對,但它們更常用於組合為更複雜的複合數據結構,特別是列表和二叉樹。
有序對
例如 LISP 表達式(cons 1 2)產生一個有序的單元,在左半部存放 1,而右半部存放 2 。
左右次序不能互換((1 2)跟(2 1)不同)。在 LISP 表示法中,(cons 1 2)結果會印出如下:
須注意 1 和 2 之間的句點;這個 S 表達式是特殊的“點對”(所謂的 cons對),並不是普通的“列表”。
列表
列表(42 69 613)的 Cons單元圖,以cons構造函式寫成:
此外可用list函式寫成:
LISP 編程中的列表實作在 cons對之上。具體地說,每個列表的結構都是:
一個空列表(),通常被稱為nil的特殊物件。
一個cons單元,car代表這列表的第一個元素,而cdr則是包含其餘元素的一個子列表。
1.一個空列表(),通常被稱為nil的特殊物件。
2.一個cons單元,car代表這列表的第一個元素,而cdr則是包含其餘元素的一個子列表。
這形成了簡單基本的列表,而cons,car和cdr函式可以操作列表的內容。
注意,nil是個特殊的空列表,並不是cons對。考慮元素為 1,2 和 3 的列表為例。
這樣的列表經由三個步驟產生:
CONS3 到nil空列表之上
CONS2 到上一步的結果之上
CONS1 到上一步的結果,產生最後的結果
1.CONS3 到nil空列表之上
2.CONS2 到上一步的結果之上
3.CONS1 到上一步的結果,產生最後的結果
這相當於單一表達式:
或可用list函式節略如下:
最終結果是一個列表,形式如右:(1 . (2 . (3 . nil)))
因此cons操作會在既有列表的最前頭,添加一個元素。例如,如果x是上面定義的列表,
那么(cons 5 x)將產生列表:(5 1 2 3)。另一個有用的函式是append, 用於合併兩個列表。
Use in conversation
與指令式編程中使用的類型的破壞性操作不同,相反地 CONS 函式可以參考成記憶體分配的一般過程。例如: I sped up the code a bit by putting in side effects instead of having it cons like crazy.
函式式實作
由於 LISP 具有一階函式,所以所有數據結構,包括 cons 單元,都可以使用函式實現。例如,在 Scheme 中:
這種技術被稱為邱奇編碼。它重新實現cons,car 和cdr 操作,使用一個函式作為 “cons cell”。邱奇編碼是一種常用的方法,在純λ演算中定義數據結構,抽象的理論計算模型與 Scheme 密切相關。這種實現雖然在學術上是有趣的,但不切實際,因為它使得單元與任何其他方案過程不可區分,以及引入不必要的計算低效。然而,相同種類的編碼可以用於具有變體的更複雜的代數數據類型,其中它甚至可能變得比其他類型的編碼更有效。這種編碼還具有可以在不具有變體的靜態類型語言(例如 Java)中實現的優點,使用接口而不是 lambdas。