2.3 一张坐标系看清诸门派
2.3 一张坐标系看清诸门派
本节摘要：时间轴与能力轴交叉，构成给所有元技术发放身份证的定位平面。本节把反射、宏、模板、元类、eval、代码生成等主流设施逐一放上坐标，展示"报坐标、谈特性"的思维方式，并用两次实战演练示范：面对没见过的语言特性，如何独立完成定位并推断其能力边界。
带着坐标去考察
先把两根轴复习成口诀：横轴是时机（编译期、链接期、加载期、运行期），纵轴是能力（内省、干预、构造）。任何一种元设施落位之后，它的优劣与适用场景基本就能推出来——因为位置本身已经包含了它"看得见什么、改得动什么、错误何时暴露"的全部信息。
图：主流元技术在坐标系中的落位
一、报坐标、谈特性：定位表的正确用法
把上图翻译成表格，每种技术的工程特性都可以从坐标直接推导。请不要背表——遮住右侧两列，只看坐标自己推导，推完再对照，这比背快得多。
| 元技术 | 时机 | 能力 | 由坐标推出的核心优势 | 由坐标推出的核心代价 |
|---|---|---|---|---|
| C++ 模板 | 编译期 | 构造 | 零运行时开销，类型安全 | 编译慢、报错晦涩 |
| 文本宏 | 编译期之前 | 干预 | 实现极简，语言无关 | 不识语法，事故频发 |
| Zig 编译期求值 | 编译期 | 构造 | 普通语法即可编译期算 | 只能用于编译期已知量 |
| Rust 声明宏 | 编译期 | 干预 | 模式匹配、类型检查兜底 | 模式表达能力有限 |
| Rust 过程宏 | 编译期 | 构造 | 操作完整语法树 | 引入独立编译单元，构建变慢 |
| Lisp 宏 | 编译或加载期 | 构造 | 与语言同构、表达力极强 | 滥用会造出"方言" |
| 字节码织入 | 加载期 | 干预 | 全局增强且早于流量 | 技术门槛高，调试难 |
| 猴子补丁 | 运行期 | 干预 | 即时生效，热修神器 | 真相散落，难以追溯 |
| 运行期反射 | 运行期 | 内省 | 零侵入了解结构 | 查询开销，泄漏风险 |
| 元类与 eval | 运行期 | 构造 | 极致动态，DSL 友好 | 安全面大，性能差 |
两张推导规则值得点破。其一，时机决定错误暴露点：编译期列的全部技术，闯祸都在构建阶段；运行期列的，闯祸都在线上。其二，能力决定审批强度：构造级技术能凭空造出类型与方法，代码评审时必须追问生成产物的可读性与测试覆盖。这两条规则合起来，就是后面第六章工程化讨论的地基。
二、演练：给两个陌生特性定位
演练一：某团队维护的 Go 项目用了代码生成方案——写一个程序，读取描述结构体定义的清单文件，输出序列化与反序列化函数，再把这些生成函数纳入构建。请定位。
按口诀走：生成发生在构建阶段（人工触发生成器，产物随源码一起编译），能力是把清单从无到有变成函数——所以是"编译期 × 构造"，落位接近过程宏那一格。差异在输入表示：Go 生成器读的是清单或带指令注释的源码，不像过程宏直接拿语法树。由此可推它的特性：报错友好（产物是普通代码，可直接阅读调试）、但流程多一步"生成 → 提交产物"的同步负担，清单与产物不同步就是缺陷温床。这个推论与 Go 社区普遍的工程抱怨完全吻合——定位法奏效。
演练二：某脚本语言的 ORM 用到"字段描述符"——模型类里写 field = IntegerColumn()，访问 obj.field 时会触发列类型转换与校验。请定位描述符机制。
描述符本身不改结构也不造结构，它是属性访问路径上的挂钩：访问发生时，语言运行时按协议把普通属性查找转交给描述符对象处理。落位是"运行期 × 干预"里较轻的一档——拦截访问但不增删成员。可推特性：单看类定义看不出字段的真实读写行为，可读性受损；但拦截点是运行时协议的一部分，比散落的猴子补丁规矩得多。它常与元类配合（元类负责扫描字段声明并登记），这正是下一章动态代码生成一节的引子。
两次演练的共同点：拿到陌生特性，先问"何时"，再问"何为"，最后由坐标推特性——定位法把"学一种新技术"压缩成"往坐标系里放一个点"。
三、坐标系的使用边界
坐标系是地图不是领土，有两处已知失真要交代。第一，某些技术横跨多格：Java 注解处理器在编译期读注解（内省），生成代码又是构造，一个特性占两格——遇到时分别对两格推导即可，结论取两格并集。第二，坐标系不回答"该不该用"：它告诉你一种技术的风险形状，但具体的收益核算要看场景，那是第四章到第六章反复演练的内容。
还有一条实用提醒：坐标会随语言版本漂移。C++ 在模板之外补了 constexpr，Java 也在为运行时补充编译期友好的注解处理通道，语言设计者一直在调整自家元能力在平面上的分布。所以每隔一段时间回头重画自己技术栈的定位图，本身就是一次不错的体系化复习。
用坐标系给团队代码库做一次自评
把定位法用在团队自己的代码库上，是一次很值得做的练习。拿一张白纸画出定位平面，把团队正在使用的每个元机制放上去：被框架封装起来的（路由装饰器、ORM 字段映射）、自己写的（生成脚本、内部宏）、以及历史遗留的（某个没人敢动的元类）。画完通常会看到两类信号。
信号一：右下角堆积。大量"运行期 × 干预"的点（猴子补丁、运行期拼逻辑）说明团队在用最贵的窗口干最便宜的活，对照 2.1 的频率匹配原则逐个检查，多数能上移到编译期或加载期。信号二：能力越档。出现在"构造"行的点，逐个追问"低一档能力能不能干"——登记类需求退回钩子，改写类需求退回拦截。两张信号清单合起来，就是一份现成的技术债盘点表。第六章的"滥用信号灯"会从另一个角度收敛同样的判断，两套工具可以配合使用。
本节要点回顾
- 定位平面：横轴时机、纵轴能力，落位即得特性——报坐标是讨论元技术的最快语言。
- 两条推导规则：时机决定错误暴露点，能力决定审批强度。
- 演练法：何时、何为、推特性，陌生特性三步归位。
- 使用边界：横跨多格的特性取并集，坐标系不替代场景化的收益核算。
- 动态维护：语言版本迭代会移动坐标，定期重画定位图是有效的复习方式。
坐标系就位，工具箱齐了。下一章进入真正的机械拆解：反射、宏、抽象语法树、动态代码生成，逐一打开看内部构造。