lisp - 引用用管道包围它的输出 - 为什么？

Question

我创建了一个表 daily-planet 如下:

(setf daily-planet '((olsen jimmy 123-76-4535 cub-reporter)
                     (kent  clark 089-52-6787 reporter)
                     (lane  lois  951-26-1438 reporter)
                     (white perry 355-16-7439 editor)))

现在我想通过运行 mapcar 来提取社会安全号码，如下所示:

(mapcar #'caddr daily-planet)

结果是:

(|123-76-4535| |089-52-6787| |951-26-1438| |355-16-7439|)

我本以为:

(123-76-4535 089-52-6787 951-26-1438 355-16-7439)

当我尝试运行更简单的

'(123-456)

我看到它也被评估为:

(|123-456|)

为什么？

Answer 1

与评价无关

CL-USER 84 > '123-456-789
|123-456-789|

CL-USER 85 > (type-of '123-456-789)
SYMBOL

123-456-789 是一个符号。打印机可能会将其打印为 |123-456-789|。 原因:它的名称中只有数字和 - 字符，这使得打印的表示形式如此-称为潜在号码。

管道字符是符号的转义字符。它包围着符号字符串，这将是符号名称。

CL-USER 86 > '|This is a strange symbol with digits, spaces and other characters --- !!!|
|This is a strange symbol with digits, spaces and other characters --- !!!|

CL-USER 87 > (symbol-name *)
"This is a strange symbol with digits, spaces and other characters --- !!!"

出于某种原因，打印机可能认为 123-456-789 应该被转义打印。但符号名称是相同的:

CL-USER 88 > (eq '123-456 '|123-456|)
T

转义允许符号具有任意名称。

一个没用的例子:

CL-USER 89 > (defun |Gravitation nach Einstein| (|Masse in kg|) (list |Masse in kg|))
|Gravitation nach Einstein|

CL-USER 90 > (|Gravitation nach Einstein| 10)
(10)

反斜杠是单个转义符(默认情况下字符会大写):

CL-USER 93 > 'foo\foo\ bar
|FOOfOO BAR|

旁注:

Common Lisp 有潜在数字的概念。有各种数字类型的数字语法:整数、 float 、比率、复数……但标准定义了扩展空间。例如 123-456-789 在扩展的 Common Lisp 中可能是一个数字!当打印机看到一个看起来可能是潜在数字的符号时，它会对该符号进行转义，以便它可以安全地作为一个符号读回...