C# 中的装箱(Boxing)和拆箱(Unboxing)是什么 - 值类型与引用类型的转换开销

装箱是将值类型转换为引用类型,需在堆上分配内存并复制数据,拆箱则是反向操作且需类型检查与数据拷贝,两者均产生性能开销;常见于传值类型给object参数、使用非泛型集合等场景;可通过优先使用泛型集合、泛型方法和接口、以及ref struct等手段减少或避免开销。

装箱是把值类型转成引用类型(比如 object 或接口),拆箱是反过来,把 object 或实现了某接口的引用类型还原回原来的值类型。这个过程看似简单,但背后有内存分配、类型检查和拷贝操作,会产生实际开销,尤其在高频场景下容易成为性能瓶颈。

装箱:值类型 → 引用类型,会分配堆内存

当一个值类型(如 int、struct)被赋值给 object 类型或某个接口类型时,CLR 会在托管堆上分配一块新内存,把该值类型的副本复制过去,并返回指向它的引用。这意味着:

  • 每次装箱都触发一次堆内存分配,可能引发 GC 压力
  • 原值类型变量和装箱后的对象内容独立,修改一方不影响另一方
  • 装箱后对象具有完整对象头(同步块索引、类型指针),占用比原始值更大的空间

拆箱:引用类型 → 值类型,需类型匹配且拷贝数据

拆箱不是简单“取地址”,而是从装箱生成的对象中提取原始值类型的副本。它要求:

  • 被拆箱的对象必须是非 null 的、且确实是由对应值类型装箱而来
  • 运行时会检查对象的实际类型,不匹配则抛出 InvalidCastException
  • 即使类型匹配,也要把堆上的数据复制回栈(或寄存器),存在拷贝开销

常见触发装箱/拆箱的场景

这些写法看着自然,但暗藏转换:

  • 把 int、DateTime 等传给接受 object 的方法(如 Console.WriteLine(object))
  • 使用非泛型集合(ArrayList、Hashtable)存值类型
  • 将值类型强制转换为接口(如把 int 转成 IComparable)
  • 在 string.Format 或插值字符串中混用值类型和占位符

如何避免或减少开销

核心思路是绕过 object 和非泛型抽象:

  • 优先使用泛型集合(List、Dictionary)代替 ArrayList、Hashtable
  • 用泛型方法替代接收 object 的方法(比如自己封装一个 Write(T value))
  • 对常用值类型实现接口时,考虑用泛型接口(IComparable)而非 IComparable
  • 在高性能路径中,用 ref struct 或 Span 避免堆分配,间接规避装箱需求

基本上就这些。装箱拆箱不是语法错误,但它是 C# 中少数几个“看起来没问题、跑起来掉性能”的隐式行为之一。