为何Common Lisp中单引号是终止宏字符而非非终止宏字符？

一、设计决策的文档依据 #

Common Lisp的这个设定并非随意决定，而是有明确的历史和标准化依据：

• 《Common Lisp the Language》（CLtL）作为核心参考文档，直接将单引号'定义为终止宏字符——这是对Maclisp等早期Lisp方言的继承，在这些祖先方言里，'是创建字面量的基础语法糖（'foo等价于(quote foo)），是Lisp开发者最常用的语法之一。
• 当年负责Common Lisp标准化的X3J13委员会，在讨论标识符字符范围时，最终保留'的终止宏字符属性，核心原因就是要兼容当时已存在的海量Lisp代码，避免打破开发者多年的使用习惯。

二、修改'的语法类型会直接破坏核心语法 #

如果强行把'改成非终止宏字符，Common Lisp的基础语法会彻底崩溃，几个关键场景：

1. 所有quote字面量失效：
   原本的'foo会被当成一个叫'foo的变量名，而不是(quote foo)；'(1 2 3)也不再是列表字面量，会被解析成一个奇怪的标识符'(1，后面跟着语法错误——这会让几乎所有现有Lisp代码无法运行。
2. 语法歧义无法消除：
   假设允许f'作为标识符，那代码里的f'x到底是一个标识符f'x，还是f加上'x（也就是f和(quote x)）？这种歧义会彻底破坏代码解析的确定性，而语法无歧义是Common Lisp的核心设计原则之一。
3. 连带破坏准引用语法：
   Common Lisp的反引号`、逗号, 等准引用语法，解析逻辑都是基于'作为终止字符的规则设计的，修改'的属性会直接让这些常用语法失效。

三、和Scheme实现的差异说明 #

部分Scheme实现（比如scheme48）允许标识符带'，但这是因为Scheme的标准（如R5RS）对标识符字符的限制更宽松，而且部分Scheme实现是靠特殊解析规则来规避歧义的——比如你例子里的(+ f' 1)被解析成(+ f '1)，说明解析器在这里优先把'当成quote宏字符处理，而非标识符的一部分，这本身就存在歧义。而Common Lisp选择的是放弃标识符的小范围灵活性，换语法的绝对确定性和历史兼容性。

内容的提问来源于stack exchange，提问作者cjs