4.3 同像性语言体系
4.3 同像性语言体系
本节摘要：Lisp 家族把"代码即数据"做成了语言的物理事实：程序与数据共用 S 表达式表示，宏因此不是特殊机制，而是一个"输入代码、输出代码"的普通函数。本节实操 quote 与求值的开关关系，亲手写一个控制流宏，并解释这个最古老的体系为什么至今没有过时。
代码即数据的老祖宗
前两节的语言为了元编程专门造了机制：Python 造装饰器协议，Rust 造宏编译单元。Lisp 不需要造——它从第一天起就只有一种结构：S 表达式，即带括号的嵌套列表。程序是它，数据也是它。这个设计决策（同像性，homoiconicity）带来一个惊人的简化：操纵代码所需的一切知识，就是操纵列表的知识，而后者是这门语言使用者的日常。
一、quote 与 eval：代码世界的两个开关
理解同像性只需要两个原语。quote（常写作 '）把表达式"冻结"成数据；eval 把数据"解冻"成代码执行：
;; 解冻状态：求值器把 + 当函数、1 和 2 当参数 (+ 1 2) ; => 3 ;; 冻结状态：整串字符成为一个三元素列表 '(+ 1 2) ; => (+ 1 2) ;; 在冻结的数据上做普通列表操作 (first '(+ 1 2)) ; => + （这是个符号） (length '(+ 1 2)) ; => 3 ;; 解冻回去，列表重新变成程序 (eval (list '+ 1 2)) ; => 3
操作→结果：同一串结构，加引号是数据、去引号是程序，eval 是两个世界的旋转门。解读：注意 (first '(+ 1 2)) 返回的 + 是符号——一个可以被求值器解析成函数的名字。这意味着"取一段代码的第一个元素、检查它是不是某操作、替换成另一个操作"这类变换，写起来与处理购物清单没有区别。变式：eval 的能力远超日常需要，工程上更受控的做法是"变换后再交给编译器"，这正是宏干的事。
二、亲手写宏：给语言补一个 unless
Lisp 社区的传统入门练习是给自己语言补一个 unless（条件为假才执行）——它展示了宏的完整工作流：
;; 宏定义：参数不解值，收到的是代码本身 (defmacro unless (condition &rest body) `(if ,condition ; 反引号：模板开始，整体不求值 nil ; 逗号：这一处要填入调用者传来的条件 (progn ,@body))) ; 逗号加艾特：展开处解包整段函数体列表 ;; 使用处——读起来像语言原生语法 (unless (file-exists-p path) (create-file path) (log "created"))
操作→结果：调用处的代码被展开为等价的 if 表达式，然后走完全正常的编译。解读：反引号（quasiquote）机制是宏书写的工程化形态——模板加空洞：整体是字面模板，逗号处填入外部代码，与 3.2 Rust 声明宏的"模式加模板"神似，只是这里的模板本身还是数据。宏作者的全部工作就是列表变换，语言不设任何额外门槛。
这个例子还隐藏着同像性最深的红利：宏可以让语言"长出新语法"。unless、迭代结构、异步原语、乃至整门内嵌 DSL，都是同一套列表变换写出来的。其他语言里"语法是语法、库是库"，Lisp 里语法与库的界限是可协商的。
三、代价与治理：自由的双面账
同像性的账单同样清晰。第一笔：括号可读性——S 表达式对机器完美，对人需要编辑器辅助（括号高亮、结构编辑），这形成了 Lisp 社区独特的工具文化。第二笔：方言化风险——当每个团队都能随手造语法，代码库会裂变成方言堆栈，新人上手成本飙升。治理手段与 3.2 的红线一致：造语法要过评审，宏的命名与语义必须贴近已有习惯。第三笔：历史遗留的卫生问题——不卫生的宏会意外捕获调用者变量，现代 Lisp（Racket 为代表）已内置卫生宏机制从根上解决，但这个历史包袱提醒我们：宏的"安全护栏"不是天生的，是设计者后来补的。
值得说明的是，同像性思想早已溢出 Lisp 边界。JavaScript 的模板字符串标签函数、Elixir 把宏建在 AST 上的设计、乃至各语言代码格式化工具对统一中间表示的追求，都是同一个直觉的回声：给代码一个程序可直接操纵的规范表示。学 Lisp 不是为了转投它，而是为了在别的语言里认出这个思想的变体。
现代直系后代：看一眼 Elixir 的宏
作为 Lisp 思想的当代直系后代，Elixir 值得单独看一眼——它把"代码即数据"搬到了现代工程语境：宏的输入输出是带元数据的三元组结构（形式、名字、参数与元信息），比裸列表多了位置与别名信息，报错与工具支持因此好得多：
defmodule Guard do defmacro require_admin do quote do # 模板加空洞，与 Lisp 的反引号同源 if not current_user().admin? do raise "需要管理员权限" end end end end defmodule AdminPanel do import Guard require_admin # 一个调用，模块编译时织入权限检查 end
操作→结果：require_admin 在使用模块的编译期展开为权限检查代码，调用处读起来像声明了一个语言级注解。解读：Elixir 的启示在于，同像性路线完全可以与现代工具链共存——统一表示保证宏的表达力，结构化元数据保证报错与调试体验。它验证了本节的核心判断：古老思想的现代版本，弱点和优点都继承自"表示统一"这一个源头。
本节要点回顾
- 同像性：程序与数据共用 S 表达式，操纵代码的知识等于操纵列表的知识。
- 两个开关：quote 冻结、eval 解冻，变换在冻结态做、执行在解冻态做。
- 宏即函数：模板加空洞（quasiquote）书写，输入代码输出代码，语法与库的界限可协商。
- 三笔账单：括号工具依赖、方言化风险、历史卫生问题——治理靠评审纪律与现代宏机制。
- 思想外溢：统一代码表示的直觉早已散布到各语言生态，认出它是学本节的真正回报。
三种"代码身份"到此集齐。下一节把四条路线拉到同一个需求下正面对决，让选型从感觉变成决策。