5.1.2 强类型系统与类型擦除

文档摘要

5.1.2 强类型系统与类型擦除在 LLVM 的世界里，类型从来不是装饰性的标签，而是内存布局的契约、指令语义的锚点、优化器推理的基石——它是一份写给编译器的、不可撕毁的法律文书。当你写下，Clang 不会把它草率地翻译成“某个整数”，而是精确生成一条类型的常量定义：。这行 IR 看似平淡，却已悄然启动了 LLVM 强类型系统的全部齿轮：决定了它的位宽（32）、符号性（有符号）、对齐要求（4 字节）、可参与的运算集（合法，编译期报错），甚至决定了后端如何将其映射到 x86-64 的或 ARM64 的寄存器。这不是语法糖，这是铁律；不是约定，而是约束；不是可选配置，而是 IR 的呼吸本身。