理解C#值类型与引用类型（摘录）

本篇摘录自yandixin兄的Blog，读后，颇有收获，纯属收藏。:-)

原文地址：http://www.cnblogs.com/yandixin/archive/2008/03/03/truly-understand-csharp-value-type-and-reference-type.html

1.值类型

C#的所有值类型均隐式派生自System.ValueType：

• 结构体：struct（直接派生于System.ValueType）；
  • 数值类型：
    • 整 型：sbyte（System.SByte的别名），short（System.Int16），int（System.Int32），long （System.Int64），byte（System.Byte），ushort（System.UInt16），uint （System.UInt32），ulong（System.UInt64），char（System.Char）；
    • 浮点型：float（System.Single），double（System.Double）；
    • 用于财务计算的高精度decimal型：decimal（System.Decimal）。
  • bool型：bool（System.Boolean的别名）；
  • 用户定义的结构体（派生于System.ValueType）。
• 枚举：enum（派生于System.Enum）；
• 可空类型（派生于System.Nullable<T>泛型结构体，T?实际上是System.Nullable<T>的别名）。

2.引用类型

C#有以下一些引用类型：

• 数组（派生于System.Array）
• 用户用定义的以下类型：
  • 类：class（派生于System.Object）；
  • 接口：interface（接口不是一个“东西”，所以不存在派生于何处的问题。Anders在《C# Programming Language》中说，接口只是表示一种约定[contract]）；
  • 委托：delegate（派生于System.Delegate）。
• object（System.Object的别名）；
• 字符串：string（System.String的别名）。

可以看出：

• 引用类型与值类型相同的是，结构体也可以实现接口；
• 引用类型可以派生出新的类型，而值类型不能；
• 引用类型可以包含null值，值类型不能（可空类型功能允许将 null 赋给值类型）；
• 引用类型变量的赋值只复制对对象的引用，而不复制对象本身。而将一个值类型变量赋给另一个值类型变量时，将复制包含的值。

3.总结

C#中，变量是值还是引用仅取决于其数据类型。

C#的值类型包括：结构体（数值类型，bool型，用户定义的结构体），枚举，可空类型。

C#的引用类型包括：数组，用户定义的类、接口、委托，object，字符串。

数组的元素，不管是引用类型还是值类型，都存储在托管堆上。

引用类型在栈中存储一个引用，其实际的存储位置位于托管堆。为了方便，本文简称引用类型部署在托管推上。

值类型总是分配在它声明的地方：作为字段时，跟随其所属的变量（实例）存储；作为局部变量时，存储在栈上。

值类型在内存管理方面具有更好的效率，并且不支持多态，适合用作存储数据的载体；引用类型支持多态，适合用于定义应用程序的行为。

应该尽可能地将值类型实现为具有常量性和原子性的类型。

应该尽可能地确保0为值类型的有效状态。

应该尽可能地减少装箱和拆箱。