C#基础：装箱与拆箱 | VyronLee's Notebook

type

status

date

slug

summary

基本概念

什么是装箱(Boxing)

装箱是指将值类型转换为引用类型的过程。在C#中，值类型（例如int、double、struct等）通常存储在栈上，而引用类型（例如object、string等）存储在堆上。当我们需要将一个值类型赋值给一个引用类型的变量时，就会发生装箱。这个过程涉及到在堆上创建一个新的对象，并将值类型的值复制到这个新对象中。

什么是拆箱(Unboxing)

拆箱是装箱的逆过程，它指的是将引用类型转换回值类型。拆箱操作首先检查引用类型的对象是否是之前装箱的值类型，如果是，则将其值复制回一个值类型的变量中。这个过程同样涉及到值的复制。

内在机制

装箱的过程分析

装箱过程的内部实现是这样的：当代码试图将值类型赋值给object类型或者任何该值类型隐式继承的接口类型时，公共语言运行库（Common Language Runtime, CLR）会在堆上分配内存，然后将值类型的内容复制到这块内存中。这块内存中不仅包含值的拷贝，还包含了类型信息和同步块索引等元数据。

拆箱的过程分析

拆箱操作则是在一个已装箱的对象上执行，首先验证该对象是否是预期的值类型，如果是，则将堆上的值复制回栈上的值类型变量。如果尝试拆箱到一个不匹配的类型，将会抛出InvalidCastException异常。

性能影响

在C#中，为了类型安全和性能优化，值类型和引用类型被设计为两种不同的数据类型。然而，在实际编程中，我们经常需要在这两种类型之间进行转换。这在一定程度上增加了语言的灵活性，但也带来了性能上的考量。

装箱和拆箱操作都涉及到内存的分配和数据的复制，这在大量或频繁执行时会导致性能问题。装箱操作会在堆上创建对象，增加了垃圾回收的压力；拆箱操作则可能引发类型检查和转换的开销。

为了避免不必要的性能损耗，应当尽量减少装箱和拆箱的操作。我们可以通过以下几种方式来实现：

尽量使用泛型集合而非非泛型集合，例如使用List<int>代替ArrayList。

避免将值类型和引用类型混合使用。

在可能的情况下，使用值类型的接口或抽象基类定义来避免装箱。

结论

C#中的装箱与拆箱机制是类型系统的重要组成部分，它们提供了值类型与引用类型之间的转换方法。然而，滥用装箱与拆箱会导致性能问题。因此，作为开发者，我们应该深入理解装箱与拆箱的原理和代价，以便在编程中做出明智的决策。