关于C#理解装箱与拆箱-C#/.NET开发

这篇文章主要介绍了关于C语言理解装箱与拆箱的相关资料,需要的朋友可以参考下面文章内容

1.理解装箱

简单地说，装箱就是将一个值类型的数据存储在一个引用类型的变量中。

假设你一个方法中创建了一个 int 类型的本地变量，你要将这个值类型表示为一个引用类型，那么就表示你对这个值进行了装箱操作，如下所示：


static void SimpleBox() 
{ 
  int myInt = 25; 
 
  // 装箱操作 
  object boxedInt = myInt; 
}

确切地说，装箱的过程就是将一个值类型分配给 Object 类型变量的过程。当你装箱一个值时，CoreCLR 会在堆上分配一个新的对象，并将该值类型的值复制到该对象实例。返回给你的是一个在托管堆中新分配的对象的引用。

2.理解拆箱

反过来，将 Object 引用类型变量的值转换回栈中相应的值类型的过程则称为拆箱。

从语法上讲，拆箱操作看起来就像一个正常的转换操作。然而，其语义是完全不同的。CoreCLR 首先验证接收的数据类型是否等同于被装箱的类型，如果是，它就把值复制回基于栈存储的本地变量中。

例如，如果下面的 boxedInt 的底层类型确实是 int，那就完成了拆箱操作：


static void SimpleBoxUnbox() 
{ 
  int myInt = 25; 
 
  // 装箱操作 
  object boxedInt = myInt; 
 
  // 拆箱操作 
  int unboxedInt = (int)boxedInt; 
}

记住，与执行典型的类型转换不同，你必须将其拆箱到一个恰当的数据类型中。如果你试图将一块数据拆箱到不正确的数据类型中，将会抛出 InvalidCastException 异常。为了安全起见，如果你不能保证 Object 类型背后的类型，最好使用 try/catch 逻辑把拆箱操作包起来，尽管这样会有些麻烦。考虑下面的代码，它将抛出一个错误，因为你正试图将装箱的 int 类型拆箱成一个 long 类型：


static void SimpleBoxUnbox() 
{ 
  int myInt = 25; 
 
  // 装箱操作 
  object boxedInt = myInt; 
 
  // 拆箱到错误的数据类型，将触发运行时异常 
  try 
  { 
    long unboxedLong = (long)boxedInt; 
  } 
  catch (InvalidCastException ex) 
  { 
    Console.WriteLine(ex.Message); 
  } 
}

3.生成的 IL 代码

当 C# 编译器遇到装箱/拆箱语法时，它会生成包含装箱/拆箱操作的 IL 代码。如果你用 ildasm.exe 查看编译的程序集，你会看到装箱和拆箱操作对应的 box 和 unbox 指令：


.method assembly hidebysig static 
    void  '<<Main>$>g__SimpleBoxUnbox|0_0'() cil managed 
{ 
  .maxstack  1 
  .locals init (int32 V_0, object V_1, int32 V_2) 
    IL_0000:  nop 
    IL_0001:  ldc.i4.s   25 
    IL_0003:  stloc.0 
    IL_0004:  ldloc.0 
    IL_0005:  box        [System.Runtime]System.Int32 
    IL_000a:  stloc.1 
    IL_000b:  ldloc.1 
    IL_000c:  unbox.any  [System.Runtime]System.Int32 
    IL_0011:  stloc.2 
    IL_0012:  ret 
  } // end of method '<Program>$'::'<<Main>$>g__SimpleBoxUnbox|0_0'

乍一看，装箱/拆箱似乎是一个没啥用的语言特性，学术性大于实用性。毕竟，你很少需要在一个本地 Object 变量中存储一个本地值类型。然而，事实是装箱/解箱过程是相当有用的，因为它允许你假设一切都可以被当作 Object 类型来处理，而 CoreCLR 会自动帮你处理与内存有关的细节。

4.实际应用

让我们来看看装箱/拆箱的实际应用，我们以 C# 的 ArrayList 类为例，用它来保存一批在栈中存储的整型数据。ArrayList 类的相关方法成员列举如下：


public class ArrayList : IList, ICloneable 
{ 
  ... 
  public virtual int Add(object? value); 
  public virtual void Insert(int index, object? value); 
  public virtual void Remove(object? obj); 
  public virtual object? this[int index] { get; set; } 
}

请注意，上面 ArrayList 的方法都是对 Object 类型数据进行操作。ArrayList 是为操作对象(代表任何类型)而设计的，而对象是在托管堆上分配的数据。请考虑下面代码：


static void WorkWithArrayList() 
{ 
  // 当传递给对象的方法时，值类型会自动被装箱 
  ArrayList myInts = new ArrayList(); 
  myInts.Add(10); 
}

尽管你直接将数字数据传入需要 Object 参数的方法中，但运行时自动将分配在栈中的数据装箱。如果你想使用索引器从 ArrayList 中检索一条数据，你必须使用转换操作将堆分配的对象拆箱为栈分配的整型，因为 ArrayList 的索引器返回的是 Object 类型，而不是 int 类型。


static void WorkWithArrayList() 
{ 
  // 当传递给需要对象参数的方法时，值类型就自动被装箱 
  ArrayList myInts = new ArrayList(); 
  myInts.Add(10); 
 
  // 当对象被转换回基于栈存储的数据时，就会发生拆箱 
  int i = (int)myInts[0]; 
 
  // 由于 WriteLine() 需要的 object 参数，又重新装箱了 
  Console.WriteLine("Value of your int: {0}", i); 
}

在调用 ArrayList.Add() 之前，在栈中分配的 int 数值被装箱了，所以它可以被传入参数为 Object 类型的方法中。从 ArrayList 中检索到 Object 类型的数据时，通过转换操作，它就被拆箱成 int 类型。最后，当它被传递给 Console.WriteLine() 方法时，又被装箱了，因为这个方法的参数是 Object 类型。