https://amatsuzero.github.io/LastStand/tags/sil/Recent content in SIL on Last StandHugozh-cnTue, 16 Jun 2026 09:06:27 +0800https://amatsuzero.github.io/LastStand/posts/swiftinterviewsourcecode/compiler-runtime/Tue, 16 Jun 2026 09:06:27 +0800https://amatsuzero.github.io/LastStand/posts/swiftinterviewsourcecode/compiler-runtime/<h1 id="swift-面试编译流程runtime-与元数据源码解析">Swift 面试：编译流程、Runtime 与元数据源码解析</h1> <p>Swift 面试里问编译流程和 Runtime，通常不是想听一串名词，而是想看你能不能把 <strong>源码 -&gt; AST -&gt; SIL -&gt; 优化 -&gt; IRGen -&gt; LLVM -&gt; Runtime Metadata</strong> 串起来。</p> <p>这篇文章按面试题展开，把答案落到 Swift 编译器源码里的 SILGen、SILOptimizer、IRGen、Metadata、Value Witness Table、Protocol Witness Table 和 HeapObject。</p> <h2 id="面试高频问题">面试高频问题</h2> <ul> <li>Swift 源码从 <code>.swift</code> 到机器码经历哪些阶段？</li> <li>AST、SIL、LLVM IR 分别负责什么？</li> <li>为什么 Swift 需要 SIL，而不是直接生成 LLVM IR？</li> <li>SILGen 做什么？SILOptimizer 做什么？</li> <li>IRGen 为什么要生成 Metadata 和 Witness Table？</li> <li>Swift Runtime Metadata 保存了哪些信息？</li> <li>Value Witness Table 是什么？</li> <li>Protocol Witness Table 和 class vtable 有什么区别？</li> <li>class、struct、enum 在 Runtime 表示上有什么差异？</li> <li>HeapObject 和 Metadata 有什么关系？</li> </ul> <h2 id="30-秒回答版">30 秒回答版</h2> <p>Swift 编译流程可以简化为：</p>