1.2.1 高级 IR (HIR)

文档摘要

1.2.1 高级 IR (HIR) 在编译器的宇宙里，中间表示（Intermediate Representation, IR）不是一条单行道，而是一条分层演化的河流——它从源代码奔涌而出，经由层层抽象与规约，最终汇入目标机器的指令海洋。而高级 IR（High-Level IR, HIR），正是这条河流最靠近源头的激流段：它尚未剥离语义丰度，却已开始挣脱语法表象；它不执着于括号配对，却牢牢攥住变量作用域；它不关心寄存器分配，却必须回答“这个到底指代哪个声明”——HIR 的本质，是语义可信度与结构保真度之间一场精密的平衡术。你或许写过，也见过 clang -Xclang -ast-dump 输出那棵密密麻麻的树。