C++：最强大的.NET语言之装箱
作者 佚名技术
来源 程序设计
浏览
发布时间 2012-06-30
| 再论类型 在讨论装箱（boxing）之前，有必要弄清楚为什么值类型与引用类型之间会有所区别。 一个含有数值的值类型的实例，和一个指向对象的引用类型的实例，它们有什么区别呢？除了存储对象所需的内存之外，每一个对象都会有一个对象头，目的是为面向对象的编程提供基本的服务，如存在虚方法的类，嵌入其中的元数据等等。由虚方法和接口间接结合的对象头，其内存开销通常会很大，哪怕你所需要的只是一个静态类型的数值，也会带来一些编译器的强制操作。有趣的是，在某些情况下，编译器能优化掉一些对象开销，但不总是能起作用。如果你非常在意托管代码的执行效率，那么使用数值或值类型将会有所益处，但在本地C++的类型中，这不算一个很大的区别，当然，C++也没有强制任何编程范式，所以也有可能在C++之上，通过创建库来建立一个这样截然不同的类型系统。 装箱 什么是装箱（boxing）？装箱是一种用来桥接数值和对象的机制。尽管CLR的每种类型都是直接或间接从Object类派生而来，但数值却不是。一个堆栈上的数值（如整形int），只不过是一个编译器会进行某种特定操作的内存块。如果你实在想把一个数值当成一个对象，必须对数值调用从Object继承而来的方法，为了实现这一点，CLR提供了装箱的概念。知道一点装箱的原理还是有点用的，首先，一个数值通过使用ldloc IL指令入栈，接下来，装箱IL指令运行，把数值类型提升，CLR再把数值出栈，并分配足够的空间存储数值与对象头，然后一个对新建对象的引用被压入栈，所有这些就是装箱指令要做的事。最后，为取得对象引用，stloc IL指令从堆栈中弹出引用，并把它存储在局部变量中。 现在，问题是：在编程语言中，对数值的装箱操作，是应该表现为隐式还是显式呢？换句话说，是否应使用一个显式转换或其他构造函数呢？C#语言设计者决定做成隐式转换，毕竟，一个整形数是从Object间接继承来的Int32类型。 int i = 123; object o = i; 问题来了，正如我们所知，装箱不是一个简单的向上转换，它有点像把一个数值转换成一个对象，是一个存在潜在代价的操作。正是因为这个原因，托管C++通过使用关键字__box，来进行显式装箱。 int i = 123; Object* o = __box(i); 当然，在托管C++中，当装箱一个数值时，不会失去静态类型信息，而这一点，正是C#所缺乏的。 int i = 123; int __gc* o = __box(i); 指定强类型的装箱值有利于再次转换回到一个数值类型，或被称为解箱（unboxing），不使用dynamic_cast，只是简单地解引用一个对象。 int c = *o; 当然，托管C++的显式装箱所带来的句法上的花销，在许多情况下已被证明是巨大的。正因为此，改变了C++/CLI语言的设计过程，成了与C#保持一致--隐式装箱。在相同情况下，它在直接表示强类型装箱数值上保持了类型安全，而这正是其他 .NET语言所做不到的。 int i = 123; int^ hi = i; int c = *hi; hi = nullptr; 在此，也暗示着一个没有指向任何对象的句柄，不能被初始化为零，在这一点上，与指针是一致的，因为这将导致只是把数值"零"装箱；同时这也是常量nullptr存在的原因，它能被赋给任何句柄，且是C#中关键字null的对等物。尽管在C++/CLI语言设计中，nullptr是一个新的保留字，但它已被Herb Sutter和Bjarne Stroustrup提议增加在标准C++中。 编写引用和值类型 |
凌众科技专业提供服务器租用、服务器托管、企业邮局、虚拟主机等服务，公司网站：http://www.lingzhong.cn 为了给广大客户了解更多的技术信息，本技术文章收集来源于网络,凌众科技尊重文章作者的版权，如果有涉及你的版权有必要删除你的文章，请和我们联系。以上信息与文章正文是不可分割的一部分,如果您要转载本文章,请保留以上信息，谢谢! |
你可能对下面的文章感兴趣
上一篇: 深度探索C++对象模型(7)下一篇: C++语言基础-其它语句
关于C++：最强大的.NET语言之装箱的所有评论
