2. 垃圾回收原理、内存分配、GC分代与优化
C# 的自动垃圾回收（GC）是面试高频区，考察候选人对 内存分配、分代回收、触发机制 的底层理解。高级开发需掌握 GC 调优方向、大对象堆（LOH）特性以及 非托管资源管理。本章围绕三个核心问答，配合回答框架图与追问路径图，帮助构建结构化应答。
💡 学习提示：先理解分代模型的“弱代假设”——对象越新、生命周期越短；GC 在 Gen0 回收最频繁，Gen2 回收最少。
分代特性汇总表
| 代 | 大小 | 回收频率 | 典型对象 | GC 开销 |
|---|---|---|---|---|
| Gen0 | ~256KB | 高（最频繁） | 临时变量 | 低 |
| Gen1 | ~2MB | 中 | 短期缓冲 | 中等 |
| Gen2 | ~几十MB | 低（极少） | 长生命周期对象 | 高 |
| LOH | ≥85KB | 随 Gen2 | 大数组、缓冲区 | 高（不压缩） |
核心原则：GC 总开销 = 回收 Gen0 次数 × Gen0 耗时 + 回收 Gen1 次数 × Gen1 耗时 + 回收 Gen2 次数 × Gen2 耗时。优化方向就是降低 Gen2 回收频率或单次耗时。
📌 面试问题 1：请解释 .NET GC 的工作原理，并说明分代回收机制。
面试官考察点：
- 是否理解“根对象-标记-清除/压缩”三阶段核心流程
- 对分代模型（Gen0/1/2）的晋升策略与内存布局的认知
- 能否主动提及 LOH 和 SOH 的区别
回答框架：
- 起点：从根对象（静态字段、栈、寄存器）出发，通过图遍历标记所有可达对象。
- 回收：对不可达对象进行清除（LOH）或压缩（SOH），减少碎片。
- 分代：弱代假设——新对象存活率低，Gen0 回收最频繁，存活对象晋升到 Gen1，再到 Gen2。
简短示例回答：
GC 从根对象开始标记可达图，清除不可达对象。分代基于弱代假设：Gen0 存放短期临时对象，回收最快；存活对象晋升到 Gen1，再下次晋升至 Gen2。LOH 仅清除不压缩，避免大对象移动开销。GC 触发由 Gen0 内存满或显式调用引起。
可能追问：
- Gen0 内存大小是如何确定的？
- 压缩过程具体如何移动对象？对性能有什么影响？
- 为什么 LOH 不压缩？如何改善 LOH 碎片？
⚠️ 避坑提醒：不要只背诵“标记-清除-压缩”口诀，必须结合分代晋升路径具体说明。避免混淆 Garbage Collection 与 Dispose 模式；GC 只管理托管内存，非托管资源需手动释放。
📌 面试问题 2：什么是 GC 的根对象？如何标记可达对象？描述完整清除过程。
面试官考察点：
- 对“安根”机制（GC Root）的精准定义
- 标记算法的实现细节：是否理解 BFS/DFS 以及同步点（Safe Point）
- 能否区分“清除”与“压缩”的不同场景
回答框架：
- 根对象列表：全局静态引用、线程栈局部变量、CPU 寄存器引用、对象句柄表（GCHandle）。
- 标记阶段：GC 挂起线程（Safe Point），从根出发 BFS/DFS 遍历堆，标记所有可达对象位。
- 清除阶段：SOH 压缩存活对象，更新引用地址；LOH 仅释放不可达对象内存，形成空闲列表。
简短示例回答：
根对象包括静态字段、线程栈、寄存器以及强 GC 句柄。GC 首先到达 Safe Point，从根出发广度优先遍历对象图，标记存活标记位。之后遍历堆，将未标记的对象视为垃圾，SOH 区域复制存活对象以压缩内存，LOH 仅释放但保留碎片。
可能追问：
- 标记过程中如何处理循环引用？
- Safe Point 是如何实现的？GC 如何保证线程安全？
- GCHandle.Alloc 中的 GCHandleType 有几种？各自作用？
⚠️ 避坑提醒：循环引用不影响 GC（GC 基于可达性而非引用计数），这是与引用计数 GC 的本质区别。不要回答“GC 会清理循环引用对象”，正确表述是“循环引用对象如果没有根可达，仍会被标记为垃圾”。
📌 面试问题 3：如何优化 GC 性能？有哪些常见调优手段？
面试官考察点：
- 是否掌握 GC 模式（工作站/服务器）、延迟模式（低延迟/批处理）
- 实际项目中的调优案例：减少第 2 代回收、避免大对象堆碎片
- 能否给出可衡量的优化指标（GC 次数、CPU 时间、暂停时长）
回答框架：
- 减少分配量：使用对象池、结构体代替类（值类型不触发 GC）、缓存重用。
- 调整 GC 模式：服务端应用使用 Server GC；低延迟场景使用
GCSettings.LatencyMode。 - 处理 LOH：避免 85KB 左右的大对象频繁分配；可选择
GCSettings.LargeObjectHeapCompactionMode压缩。 - 监控与诊断：使用 PerfView、dotnet-counters、ETW 事件分析 GC 耗时。
简短示例回答：
优化核心是“少分配、少晋升”。我用对象池缓存高频临时对象，将大数组拆分为分段结构避免 LOH 压力。生产环境通过 PerfView 发现 Gen2 回收占比过高后，将 Server GC 禁用并调整延迟模式为 LowLatency，暂停时间从 200ms 降至 20ms。
可能追问：
- Server GC 与 Workstation GC 在并发和回收策略上的具体差异？
- 如何在代码中强制压缩 LOH？有什么副作用？
- 对引用对象的固定（Pinning）如何影响 GC 压缩效率？
⚠️ 避坑提醒：不要过度优化。过早使用
System.GC.Collect() 或 LowLatency 会导致更频繁的阻塞回收。推荐的思路是先测量（PerfView），再针对性调优。另外，记住 using 只释放非托管资源，并不触发 GC。