تابع cons

اگرچه سلول‌های cons برای نگهداری زوج‌های مرتب داده استفاده می‌شوند، اما معمولاً از آن‌ها برای ساخت ساختمان داده‌های مرکب پیچیده استفاده می‌شود، به ویژه برای فهرست و درخت دودویی.

جفت‌های مرتب

برای مثال، عبارت لیسپ (cons 1 2) یک سلول جدید را می‌سازد، که عدد ۱ را در نیمه سمت چپ نگهداری می‌کند (به اصطلاح میدان car) و عدد ۲ را در نیمه سمت راست (میدان cdr) نگهداری می‌کند. در نمادسازی لیسپ، مقدار (cons 1 2) به این صورت است:

(1. 2)

به نقطه بین ۱ و ۲ توجه کنید؛ این نقطه نشان‌دهنده آن است که عبارت-S یک «جفت نقطه‌دار» (به اصطلاح "cons pair")، و نه یک "لیست" است.

لیست‌ها

(cons 42 (cons 69 (cons 613 nil)))

(list 42 69 613)

در لیسپ، لیست‌ها روی زوج‌های cons پیاده‌سازی می‌شوند. به صورت بخصوص، هر ساختار فهرست در لیسپ،

1. یا لیست خالی () است، که یک شیء خاص است که معمولاً به آن nil گفته می‌شود.
2. یا یک سلول cons است که در آن car اولین عنصر لیست است، و cdr خودش یک لیست است که شامل مابقی عناصر است.

درخت‌ها

درخت‌های دودویی که داده را فقط در برگ‌هایش نگهداری می‌کند نیز توسط cons ساخته می‌شوند. برای مثال کد:

(cons (cons 1 2) (cons 3 4))

منجر به درخت زیر می‌شود:

((1. 2). (3. 4))

یا به عبارت دیگر:

 *
 \ /
 * *
\ / \ /
1 2 3 4

به دلیل آنکه لیسپ توابع کلاس-اول دارد، همه ساختمان داده‌ها (که شامل سلول‌های cons است)، قابل پیاده‌سازی توسط توابع هستند. برای مثال در اسکیم:

(define (cons x y)
  (lambda (m) (m x y)))
(define (car z)
  (z (lambda (p q) p)))
(define (cdr z)
  (z (lambda (p q) q)))

این فن کدگذاری چرچ نام دارد.

مشارکت‌کنندگان ویکی‌پدیا. «cons». در دانشنامهٔ ویکی‌پدیای انگلیسی، بازبینی‌شده در ۱ اردیبهشت ۱۴۰۰.