装箱值的跟踪句柄

更新:2007 年 11 月

从 C++ 托管扩展到 Visual C++ 2008,引用值类型的跟踪句柄的用法发生了更改。

装箱是 CLR 统一类型系统的特性。值类型直接包含其状态,而引用类型则是隐式对:命名实体是托管堆上分配的未命名对象的句柄。例如,值类型到 Object 的任何初始化或赋值要求该值类型放在 CLR 堆内(这是发生装箱的映像的位置)— 首先分配关联的内存,然后复制值类型的状态,最后返回此匿名值/引用混合的地址。这样,当使用 C# 编写以下代码时,

object o = 1024; // C# implicit boxing

其好处决不仅仅是代码的简洁性带来的明显性。C# 的设计不仅隐藏了后台发生的操作的复杂性,还隐藏了装箱本身的抽象化的复杂性。另一方面,C++ 托管扩展由于担心导致对效率的错误判断,所以要求用户编写显式指令:

Object *o = __box( 1024 ); // Managed Extensions explicit boxing

在 Visual C++ 2008 中,装箱是隐式的:

Object ^o = 1024; // new syntax implicit boxing

__box 关键字作为托管扩展中的一项重要服务,在诸如 C# 和 Visual Basic 的语言的设计中是没有的:它提供词汇和跟踪句柄来直接操作托管堆上的装箱实例。例如,考虑以下小程序:

int main() {
   double result = 3.14159;
   __box double * br = __box( result );

   result = 2.7; 
   *br = 2.17;   
   Object * o = br;

   Console::WriteLine( S"result :: {0}", result.ToString() ) ;
   Console::WriteLine( S"result :: {0}", __box(result) ) ;
   Console::WriteLine( S"result :: {0}", br );
}

为 WriteLine 的三个调用生成的基础代码显示访问装箱值类型的值的各种代价(感谢 Yves Dolce 指出这些区别),其中指出的行显示与每个调用关联的系统开销。

// Console::WriteLine( S"result :: {0}", result.ToString() ) ;
ldstr      "result :: {0}"
ldloca.s   result  // ToString overhead
call       instance string  [mscorlib]System.Double::ToString()  // ToString overhead
call       void [mscorlib]System.Console::WriteLine(string, object)

// Console::WriteLine( S"result :: {0}", __box(result) ) ;
Ldstr    " result :: {0}"
ldloc.0
box    [mscorlib]System.Double // box overhead
call    void [mscorlib]System.Console::WriteLine(string, object)


// Console::WriteLine( S"result :: {0}", br );
ldstr    "result :: {0}"
ldloc.0
call     void [mscorlib]System.Console::WriteLine(string, object)

将装箱值类型直接传递给 Console::WriteLine 可以消除装箱和调用 ToString() 的需要。(当然,前面有对 br 的初始化装箱,所以除非我们真正使用 br,否则将不会获得任何结果。)

在新语法中,对装箱值类型的支持被认为是更佳的并且集成到了类型系统内部,同时保留其功能不变。例如,下列代码是上述小程序的转换:

int main()
{
   double result = 3.14159;
   double^ br = result;
   result = 2.7;
   *br = 2.17;
   Object^ o = br;
   Console::WriteLine( "result :: {0}", result.ToString() );
   Console::WriteLine( "result :: {0}", result );
   Console::WriteLine( "result :: {0}", br );
}

请参见

任务

How to: Explicitly Request Boxing

概念

值类型及其行为