第3章：值类型与引用类型、装箱拆箱、GC、异常处理
本章聚焦 C# 最核心的底层内存模型与异常机制。面试中超过 80% 的基础题都围绕“值类型 vs 引用类型”展开，并衍生出装箱/拆箱、GC 根引用排查、异常性能损耗等高频追问。掌握以下结构化回答框架，可一次性覆盖多个考点。
| 对比维度 | 值类型 (struct / enum / int 等) | 引用类型 (class / string / array / delegate 等) |
|---|---|---|
| 存储位置 | 栈（局部变量）或堆内（作为引用类型字段） | 托管堆 |
| 赋值行为 | 复制值（深拷贝语义） | 复制引用（浅拷贝） |
| 默认零值 | default(T) 为所有位清零 | null |
| 装箱触发点 | 转为 object / ValueType / 接口时 | 无需装箱（已是引用） |
| GC 影响 | 不触发 GC（栈回收） | 触发 GC 追踪、标记、压缩 |
📌 面试问题 1
问题：值类型和引用类型在内存中如何分配？string 是值类型还是引用类型？
面试官考察点：① 基础内存模型理解；② 特殊类型 (string) 的鉴别能力；③ 对“栈/堆”概念是否机械记忆。
回答框架：归类 → 存储位置 → 赋值行为 → 特殊强调（string 是引用但不可变）。
示例回答：值类型（如 int、struct）默认在栈上分配，赋值时复制值；引用类型（class、string）在托管堆分配，赋值复制引用。string 虽然行为像值类型（不可变、== 比较内容），但本质是引用类型，存储在堆上。
可能追问：struct 什么时候会分配在堆上？——作为引用类型的字段时。
避坑提醒：不要混淆“string 不可变”与“值类型”概念；也不要误以为所有 struct 都在栈上。
📌 面试问题 2
问题：解释装箱和拆箱，如何避免其性能开销？
面试官考察点：① 装箱的内存原理；② 实际编码中的优化意识；③ 泛型与集合的使用习惯。
回答框架：定义 → 内存过程 → 性能问题 → 避免方案（泛型 / 避免 object / 用 struct 实现接口时考虑）。
示例回答：装箱将值类型包装为引用类型，在堆上分配新对象并复制值；拆箱反之。避免建议：使用泛型集合 List<int> 而非 ArrayList；对经常装箱的 struct 实现接口时注意调用方式，或改用 ref 传递。
可能追问：拆箱后修改值会影响原对象吗？——不会，拆箱新建副本。
避坑提醒：不要一味否定装箱——少数场景（如老 API 必须用 object）不可避免；重点展示“知道何时发生”的能力。
📌 面试问题 3
问题：GC 在什么时候触发？异常处理中 finally 块内的代码是否保证执行？
面试官考察点：① GC 触发条件（代龄、内存压力、显式调用）；② 异常语义完整性理解；③ finally + GC 的组合场景（如资源释放）。
回答框架：GC 触发三条件 → 代龄晋升 → finally 执行保证（除非 Environment.FailFast或线程中止）→ 结合 Dispose 模式。
示例回答：GC 在 0 代内存满、系统内存不足或显式调用 GC.Collect() 时触发。finally 块几乎保证执行（除 StackOverflowException 等特殊异常），通常用于释放非托管资源。即使 catch 中再抛异常，finally 也会先完成。
可能追问：什么样的异常会导致 finally 不执行？——Environment.FailFast()、StackOverflowException、线程被 Thread.Abort 中止。
避坑提醒：不要在 finally 中抛出异常，会覆盖原始异常；也不要假定 finally 内操作一定能完全回滚状态（如异步操作）。
📁 项目案例：高性能实时交易中间件
| 项目名称 | RealTick — 金融订单路由系统 |
| 业务背景 | 对接交易所撮合引擎，要求毫秒级入库与状态推送，C# 后端负责协议解析、风控、日志。 |
| 规模指标 | 日均处理 2.3 亿笔订单；峰值 50 万 TPS；单机内存 64 GB，0 代 GC 触发频率 > 1000 次/秒。 |
| 技术栈 | .NET 8、MemoryPack、通道 Channel<T>、Span<byte>、struct 零拷贝设计、Redis、gRPC。 |
| 核心难点 | 装箱/拆箱导致的 GC 压力：原始代码使用 object 字段保存协议 ID，导致大量装箱。优化后改为泛型 + 联合体 struct。 |
| 面试高频追问 | 如何定位装箱热点？——PerfView 跟踪 GC 分配；Span<byte> 如何避免复制？——栈上切片；struct 实现接口一定装箱吗？——通过约束或 ref 调用可避免。 |
| 可迁移回答话术 | “我们使用泛型通道 Channel<T> 避免 object 传递；将热路径中的 class 改为 readonly struct，并通过 in 参数传递，减少 GC 复制。对于异常处理，采用 Result<T> 模式避免高频 try-catch，性能提升 40%。” |
💡 面试加分点：阐述值类型时主动提到 readonly ref struct 与 Span<T> 的关系，展示对 .NET 最新零拷贝特性的掌握。
⚠️ 避坑大项：不要在回答 GC 时只说“自动回收”，一定要提代龄 (Gen0/1/2)、大对象堆 (LOH)、以及如何通过 ETW 或 GC.GetTotalMemory 监控。