C#引用类型详细剖析.docVIP

C#引用类型详细剖析 本文介绍了C#引用类型和值类型的区别的第二部分，包括值类型和引用类型在内存中的部署、正确使用值类型和引用类型等。 C#引用类型和值类型的区别——值类型和引用类型在内存中的部署 经常听说，并且经常在书上看到：值类型部署在栈上，引用类型部署在托管堆上。实际上并没有这么简单。 MSDN上说：托管堆上部署了所有引用类型。这很容易理解。当创建一个应用类型变量时： object?reference?=?new?object();? 关键字new将在托管堆上分配内存空间，并返回一个该内存空间的地址。左边的reference位于栈上，是一个引用，存储着一个内存地址；而这个地址指向的内存（位于托管堆）里存储着其内容（一个System.Object的实例）。下面为了方便，简称引用类型部署在托管推上。 再来看值类型。《C#语言规范》上的措辞是“结构体不要求在堆上分配内存（However, unlike classes, structs are value types and do not require heap allocation）”而不是“结构体在栈上分配内存”。这不免容易让人感到困惑：值类型究竟部署在什么地方？ 数组 考虑数组： int[]?reference?=?new?int[100];? 根据定义，数组都是引用类型，所以int数组当然是引用类型（即reference.GetType().IsValueType为false）。 而int数组的元素都是int，根据定义，int是值类型（即reference[i].GetType().IsValueType为true）。那么引用类型数组中的值类型元素究竟位于栈还是堆？ 如果用WinDbg去看reference[i]在内存中的具体位置，就会发现它们并不在栈上，而是在托管堆上。 实际上，对于数组： TestType[]?testTypes?=?new?TestType[100];? 如果TestType是值类型，则会一次在托管堆上为100个值类型的元素分配存储空间，并自动初始化这100个元素，将这100个元素存储到这块内存里。 如果TestType是引用类型，则会先在托管堆为testTypes分配一次空间，并且这时不会自动初始化任何元素（即testTypes[i]均为null）。等到以后有代码初始化某个元素的时候，这个引用类型元素的存储空间才会被分配在托管堆上。 类型嵌套 更容易让人困惑的是引用类型包含值类型，以及值类型包含引用类型的情况： public?class?ReferenceTypeClass ? { ? ????private?int?_valueTypeField; ? ????public?ReferenceTypeClass() ? ?????{ ? ?????????_valueTypeField?=?0; ? ?????} ? ????public?void?Method() ? ?????{ ? ????????int?valueTypeLocalVariable?=?0; ? ?????} ? } ? ReferenceTypeClass?referenceTypeClassInstance?=?new?ReferenceTypeClass();//Where?is?_valueTypeField? ? referenceTypeClassInstance.Method();//Where?is?valueTypeLocalVariable? ? ? public?struct?ValueTypeStruct ? { ? ????private?object?_referenceTypeField; ? ????public?void?Method() ? ?????{ ? ?????????_referenceTypeField?=?new?object(); ? ????????object?referenceTypeLocalVariable?=?new?object(); ? ?????} ? } ? ValueTypeStruct?valueTypeStructInstance?=?new?ValueTypeStruct(); ? valueTypeStructInstance.Method();//Where?is?_referenceTypeField？And?where?is?referenceTypeLocalVariable?? 单看valueTypeStructInstance，这是一个结构体实例，感觉似乎是整块扔到栈上的。但是字段_referenceTypeField是引用类型，局部变量referenceTypeLocalV