编译之桥

编译殿的门楣上刻着六个字："意不可直达。"你怀里揣着一张源意符——上面写着一段你亲手写的代码，是你的"意图"。殿中央悬着一台巨大的黑色法器，形如漏斗，六层。

诺依曼老祖

「这叫编译器。你的意图在顶，机器在底。中间隔着六层翻译。」

语义之渊

「赌一局。你的意图过了这六层，还剩几分？我赌——剩不了多少。」

石径尽头是一面刻满字符的石壁，字符流如瀑布般向下淌。诺依曼老祖递给你一柄断词刃。

诺依曼老祖

「把这串字符切成 Token。规则你自己定。」

语义之渊

「按空格切嘛。名字里都有'空格'了，它不会骗你的。」

石壁后是一座陈列阁，阁中悬浮着无数发光的符文模式——正则表达式。诺依曼老祖递给你一面透镜。

诺依曼老祖

「你想让断词刃自动切词？先给它一套规则。正则表达式就是规则的语言。但——每种语言都有它说不出的东西。」

语义之渊

「正则万能嘛。写个模式匹配一切——你信吗？我赌你信。」

语法殿中央是一棵悬浮的光树——语法分析树，节点是 Token，枝干是产生式规则。诺依曼老祖递给你一卷文法。

诺依曼老祖

「把 Token 流种进去，让它长成树。规则在这里——上下文无关文法。」

语义之渊

「树长出来就唯一了？你确定？」

工坊里有两台法器：左台刻"自顶向下"，右台刻"自底向上"。诺依曼老祖站在两台之间。

诺依曼老祖

「树歧义是因为文法有二义性。换一种分析方法——让它从根往下长（LL），或者从叶往上拼（LR）。但每种方法都有它嚼不动的文法。」

语义之渊

「LL(1) 和 LR 都试一遍，总有一个能通吃？你赌哪个？我赌——都没有万能的。」

语义殿里悬着一架天平——类型天平。殿壁上挂着一面巨大的符号表，密密麻麻记着每个名字的类型与作用域。

诺依曼老祖

「语法树只管结构对不对。'int 加 float 等于什么'——这归语义管。」

语义之渊

「类型检查抓错，天经地义——它怎么会改你的程序？」

中间码殿里有一座桥——桥这头是语法树，桥那头是机器码。诺依曼老祖指着桥面。

诺依曼老祖

「树太高级，机器太低级。中间需要一座桥——中间代码。但过桥要交费——你的 if-else、for 循环，全要被展平成跳转和赋值。」

优化殿中央是一台巨大的熔炉——优化器。炉壁上刻着"更快、更小、更好"。语义之渊盘在熔炉上，声音甜得发腻。

语义之渊

「优化只提速不改义，这不是明摆着吗？把代码丢进去。」

诺依曼老祖

「先丢几段看起来无害的试试。别急。」

殿中央的六层漏斗重新亮起，这一次你看得更清楚了——每一层都是一个独立的变换阶段。

诺依曼老祖

「你走过的每一层，拼起来就是完整的编译流水线。看一遍——源代码怎么一步步变成机器码。」

优化殿的熔炉火力全开。三只旋钮浮在炉口：优化级别、浮点重排、UB利用。诺依曼老祖退后一步，看着你。

语义之渊

「旋钮都给你了。-O3、-ffast-math，拉满它。更快就是更好，不是吗？」