C#装箱和拆箱的原理介绍

我们知道,值类型的变量是在堆栈上分配内存的,而引用类型包括System.Object的对象是在堆上分配内存的,基于这一特点,当值类型被类型转换时,会在堆栈和堆上进行一系列的操作,这就是装箱和拆箱的来源。充分理解装箱和拆箱,有助于程序员编写高效率的代码。

1、装箱和拆箱的基本概念

我们知道,所有的值类型都继承自System.ValueType,而System.ValueType继承自System.Object。所有的值类型对象都分配在堆栈上,而所有的引用类型包括System.Object对象都分配在堆上。问题随之而来,既然System.Object是所有值类型的基类,那所有的值类型必然都可以隐式的转换成System.Object类型,此时这个对象会被放在哪里呢,堆栈上面还是堆上面?实际上,当这个转换发生时,CLR需要做额外的工作把堆栈上的值类型移动到堆上,这个操作就被称为装箱。来看一个装箱所需要的详细步骤。

  • 在堆上分配一个内存空间,大小等于需要装箱的值类型对象的大小加上两个引用类型对象都拥有的成员:类型对象指针和同步块引用。
  • 把堆栈上的值类型对象复制到堆上新分配的对象。
  • 返回一个指向堆上新对象的引用,并且存储到堆栈上被装箱的那个值类型的对象里。

这些步骤都不需要程序员自己编写,在任何出现装箱的地方,编译器会自动地加上执行以上功能的中间代码。下图展示了装箱前后堆和堆栈的变化。

理解了装箱之后,就可以很方便地理解拆箱操作了。所谓的拆箱,就是装箱操作的反操作,把堆中的对象复制到堆栈中,并且返回其值。需要注意的是,拆箱操作将判断被拆箱的对象类型和将要被复制的值类型引用是否一致,如果不一致,将会抛出一个InvalidCastException的异常。这里的类型匹配并不采用任何显示的类型转换。下面的代码展示了这一特性。

static void Main(string[] args)
{
    try
    {
        Int32 i = 3;
        // 装箱
        Object o = i;
        // 拆箱,类型转换失败
        Int16 j = (Int16)o;
    }
    catch (Exception ex)
    {
        Console.WriteLine(ex.Message);
    }

    Int32 ii = 3;
    // 装箱
    Object obj = ii;
    // 拆箱
    Int16 jj = (Int16)(Int32)obj;
    Console.WriteLine("拆箱成功!");
    Console.ReadKey();
}

程序运行结果:

分析上面的代码,在第一组装箱拆箱操作中,代码试图把一个原来类型为Int32的值类型装箱后的对象拆箱成Int16的变量,这样的拆箱是非法的,运行时会抛出一个InvalidCastException的异常。而在第二组装箱拆箱操作中,就进行了正确的类型匹配,拆箱顺利完成。

2、装箱和拆箱对性能的影响,以及如何避免装箱拆箱

装箱和拆箱都意味着堆和堆栈空间的一系列操作,毫无疑问,这些操作的性能代价是很大的,尤其对于堆上空间的操作,速度相对于堆栈的操作慢的多,并且可能引发垃圾回收,这些都将大规模地影响系统的性能。如何避免装箱拆箱操作,是程序员在编写代码时需要时刻考虑的一个问题。装箱和拆箱操作常发生在以下两个场合:

  • 值类型的格式化输出。
  • System.Object类型的容器。

第一种情况,值类型的格式化输出往往会涉及一次装箱操作。例如下面的两行代码:

int i = 10;
Console.WriteLine("i的值是:" + i);

代码完全能够通过编译并且正确执行,但却引发了一次不必要的装箱操作。在第2行代码上,值类型i被作为一个System.Object对象传入方法之中,这样的操作完全可以通过下面的改动来避免:

int i = 10;
Console.WriteLine("i的值是:" + i.ToString());

改动后的代码调用了i的ToString()方法来得到一个字符串对象。由于字符串是引用类型,所以改动后的代码就不在涉及装箱操作。

第二种情况更为常见一些。例如常用的容器类ArrayList,就是一个典型的System.Object容器。任何值类型被放入ArrayList的对象中,都会引发一次装箱操作。而对应的,取出值类型对象就会引发一次拆箱操作。在.NET 1.1之前,这样的操作很难避免,但在.NET 2.0推出了泛型的概念后,这些问题得到了有效的解决。泛型允许定义针对某个特定类型(包括值类型)的容器,并且有效的避免装箱和拆箱。

三、总结

装箱和拆箱本质上是值类型在转换到System.Object时引发的堆栈和堆的一系列移动操作。装箱时值类型从堆栈上被复制到堆上,而拆箱时从堆上复制到堆栈上。装箱和拆箱对性能有比较大的影响,应该避免任何没有必要的装箱和拆箱操作。

在可以确定类型的情况下应该使用泛型技术而避免使用针对System.Object类型的容器,这样可以有效避免大规模地使用装箱和拆箱操作。

以上就是本文的全部内容,希望对大家的学习有所帮助,也希望大家多多支持我们。

(0)

相关推荐

  • 再议C#中的装箱与拆箱的问题详解

    上一篇写了一下装箱拆箱的定义和IL分析,这一篇我们看下使用泛型和不使用泛型引发装箱拆箱的情况1.使用非泛型集合时引发的装箱和拆箱操作 看下面的一段代码: 复制代码 代码如下: var array = new ArrayList();array.Add(1);array.Add(2); foreach (int value in array){Console.WriteLine("value is {0}",value);} 代码声明了一个ArrayList对象,向ArrayList中添

  • 浅析C# 装箱和拆箱

    Object类型是所有类型的基类,其下面有ValueType类型.什么结构啊,枚举啊,都继承ValueType,这些都是值类型.其他的什么类啊,数组啊,字符串啊等等都是引用类型. 简单的说,直接继承Object的都是引用类型,继承ValueType的都是值类型. 那样的话,像整形这样的结构按理说其实也是间接继承自Object的,那么按照里氏替换原则,整形转换成object应该没有问题吧. 像上面的代码,这个b还是值类型吗?如果是值类型,好像又和直接继承Object都是引用类型矛盾了啊.其实这就是

  • 关于C#理解装箱与拆箱

    目录 1.理解装箱 2.理解拆箱 3.生成的 IL 代码 4.实际应用 5.小结 1.理解装箱 简单地说,装箱就是将一个值类型的数据存储在一个引用类型的变量中. 假设你一个方法中创建了一个 int 类型的本地变量,你要将这个值类型表示为一个引用类型,那么就表示你对这个值进行了装箱操作,如下所示: static void SimpleBox() { int myInt = 25; // 装箱操作 object boxedInt = myInt; } 确切地说,装箱的过程就是将一个值类型分配给 Ob

  • 解析C#中的装箱与拆箱的详解

    装箱和拆箱是值类型和引用类型之间相互转换是要执行的操作. 1. 装箱在值类型向引用类型转换时发生2. 拆箱在引用类型向值类型转换时发生光上述两句话不难理解,但是往深处了解,就需要一些篇幅来解释了.我们先看装箱时都会发生什么事情,下面是一行最简单的装箱代码 复制代码 代码如下: object obj = 1; 这行语句将整型常量1赋给object类型的变量obj: 众所周知常量1是值类型,值类型是要放在栈上的,而object是引用类型,它需要放在堆上:要把值类型放在堆上就需要执行一次装箱操作.这行

  • c#装箱和拆箱知识整理

    1.装箱和拆箱是一个抽象的概念 2.装箱是将值类型转换为引用类型 : 拆箱是将引用类型转换为值类型 利用装箱和拆箱功能,可通过允许值类型的任何值与Object 类型的值相互转换,将值类型与引用类型链接起来 例如: 复制代码 代码如下: int val = 100; object obj = val; Console.WriteLine ("对象的值 = {0}", obj); 这是一个装箱的过程,是将值类型转换为引用类型的过程 复制代码 代码如下: int val = 100; obj

  • 深入理解C# 装箱和拆箱(整理篇)

    装箱(boxing)和拆箱(unboxing)是C#类型系统的核心概念.是不同于C与C++的新概念!,通过装箱和拆箱操作,能够在值类型和引用类型中架起一做桥梁.换言之,可以轻松的实现值类型与引用类型的互相转换,装箱和拆箱能够统一考察系统,任何类型的值最终都可以按照对象进行处理. 装箱和拆箱是值类型和引用类型之间相互转换是要执行的操作. 1. 装箱在值类型向引用类型转换时发生 2. 拆箱在引用类型向值类型转换时发生 //1. // 装箱和拆箱是一个抽象的概念 //2. // 装箱是将值类型转换为引

  • C#装箱和拆箱原理详解

    .NET包含一个特殊的Object类,可以接受任意的数据类型的值,当所传递或所赋值的类型不是一个特定的数据类型时,object类就提供了一种传递参数和赋值的通用方法.赋给object的值必须作为引用类型,并存放砸托管堆中. 装箱: int age = 24; object refAge= age; 可以看的出,第一条语句创建一个变量age,并将值放在托管栈中: 第二条语句将age的值赋给引用类型.它将值24放在托管堆中. 这个值类型包装为引用类型的过程,称为装箱. 拆箱: 相反,将引用类型转换为

  • 轻松学习C#的装箱与拆箱

    首先看一看什么是装箱和拆箱?        简单的来说:        装箱就是值类型转换为引用类型:        拆箱就是引用类型转换为值类型.        值类型,包括原类型(Sbyte.Byte.Short.Ushort.Int.Uint.Long.Ulong.Char.Float.Double.Bool.Decimal).枚举 (enum) .结构 (struct).        引用类型包括类.数组.接口.委托.字符串等. 装箱:值类型到引用类型或到此值类型所实现的任何接口类型的

  • C# 装箱和拆箱的知识回顾

    装箱是将值类型转换为 object 类型或由此值类型实现的任何接口类型的一个过程. 当 CLR 对值类型进行装箱时,会将该值包装到 System.Object 内部,再将后者存储在托管堆上. 拆箱将从对象中提取值类型. 装箱是隐式的:拆箱是显式的. 装箱和拆箱的概念是类型系统 C# 统一视图的基础,其中任一类型的值都被视为一个对象. 在下面的示例中,将整型变量 i 进行了装箱并分配给对象 obj. static void Main(string[] args) { var i = 123; //

  • C#实现装箱与拆箱操作简单实例

    本文以一个简单实例讲述了C#装箱和拆箱操作的实现方法,简单来说装箱是将值类型转换为引用类型:拆箱是将引用类型转换为值类型,是涉及栈和堆的使用方面的东西,学过C#的人应该都知道,所以这里就不哆嗦了,本例代码也是面向C#新手的,非常简单. 具体实现代码如下: using System; using System.Collections.Generic; using System.Linq; using System.Text; namespace UnBoxing { class Program {

  • C#装箱和拆箱操作实例分析

    本文实例讲述了C#装箱和拆箱操作.分享给大家供大家参考,具体如下: 1. C#中的装箱 C#中的装箱就是把一个值类型隐式地转换为object类型,转换过程中采用的是值的拷贝而不是引用,这从下面的例子可以看出: using System; public class Test { public static void Main(String[] args) { int i = 10; //将值类型的i装箱 //需要注意的是:这里的装箱采用的是值的拷贝 object obj = i; //检验是否装箱

  • C#装箱与拆箱操作的深入讲解

    疑问 都知道C#有装箱和拆箱的操作,听闻也都是讲int类型转换成object类型就是装箱,将object类型再转回int类型就是拆箱. 描述的通俗点: 装箱 将值类型转换成引用类型, 拆箱 将引用类型转换成值类型. 那看来是要先了解一下引用类型和值类型了. 引用类型和值类型 在C#中,所有称之为"类(class)"的类型,都是引用类型,而值类型都是标注为结构(struct)或者枚举(enum). 下面就来看一看引用类型和值类型,在实例化的时候发生了什么操作(首先自然是申明一下两种类型了

随机推荐