c语言引用类型与值类型的区别详解
  解析:CLR支持两种类型:值类型和引用类型。用Jeffrey Richter(《CLR via C#》作者)的话来说,“不理解引用类型和值类型区别的程序员将会把代码引入诡异的陷阱和诸多性能问题”。这就要求我们正确理解和使用值类型和引用类型。
  值类型包括C#的基本类型(用关键字int、char、float等来声明),结构(用struct关键字声明的类型),枚举(用enum关键字声明的类型);而引用类型包括类(用class关键字声明的类型)和委托(用delegate关键字声明的特殊类)。
  C#中的每一种类型要么是值类型,要么是引用类型。所以每个对象要么是值类型的实例,要么是引用类型的实例。值类型的实例通常是在线程栈上分配的(静态分配),但是在某些情形下可以存储在堆中。引用类型的对象总是在进程堆中分配(动态分配)。
  (1)在C#中,变量是值还是引用仅取决于其基本数据类型。
  C#的基本数据类型都与平台无关。C#的预定义类型并没有内置于语言中,而是内置于.NET Framework中。.NET使用通用类型系统(CTS)定义可以在中间语言(IL)中使用的预定义数据类
型。C#中所有的数据类型都是对象。它们可以有方法、属性等。例如,在C#中声明一个int变量时,声明实际上是CTS(通用类型系统)中System.Int32的一个实例:
  复制代码 代码如下:
  int i;
  i = 1;
  string s;
  s = i.ToString();
  (2)System.Object和System.ValueType。
  引用类型和值类型都继承自System.Object类。不同的是,几乎所有的引用类型都直接从System.Object继承,而值类型则继承其子类,即直接继承System.ValueType。作为所有类型的基类,System.Object提供了一组方法,这些方法在所有类型中都能到。其中包含toString方法及clone等方法。System.ValueType继承System.Object。它没有添加任何成员,
但覆盖了所继承的一些方法,使其更适合于值类型。
  (3)值类型。
  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),System.Char)。
  浮点型:float(System.Single),double(System.Double)。
  用于财务计算的高精度decimal型:decimal(System.Decimal)。
  bool型:bool(System.Boolean的别名)。
  用户定义的结构体(派生于System.ValueType)。
  枚举:enum(派生于System.Enum)。
  可空类型。
  每种值类型均有一个隐式的默认构造函数来初始化该类型的默认值。例如:
  复制代码 代码如下:
  int i = 0;
  等价于:
  int i = new int();
  使用new运算符时,将调用特定类型的默认构造函数并对变量赋予默认值。在上例中,默认构造函数将值0赋给了i。
  所有的值类型都是密封(seal)的,所以无法派生出新的值类型。
  值得注意的是,System.ValueType直接派生于System.Object。即System.ValueType本身
是一个类类型,而不是值类型。其关键在于ValueType重写了Equals()方法,从而对值类型按照实例的值来比较,而不是引用地址来比较。可以用Type.IsValueType属性来判断一个类型是否为值类型:
  复制代码 代码如下:
enum c++
  TestType testType = new TestType ();
  if (testTypetype.GetType().IsValueType)
  {
  Console.WriteLine("{0} is value type.", testType.ToString());
  }
  (4)引用类型
  C#有以下一些引用类型:
  数组(派生于System.Array)
  用户需定义以下类型。
  类:class(派生于System.Object);
  接口:interface(接口不是一个“东西”,所以不存在派生于何处的问题。接口只是表示一种contract约定[contract])。
  委托:delegate(派生于System.Delegate)。
  object(System.Object的别名);
  字符串:string(System.String的别名)。
  可以看出:
  引用类型与值类型相同的是,结构体也可以实现接口;引用类型可以派生出新的类型,而值类型不能;引用类型可以包含null值,值类型不能;引用类型变量的赋值只复制对象的引用,而不复制对象本身。而将一个值类型变量赋给另一个值类型变量时,将复制包含的值。
  (5)内存分配。
  值类型的实例经常会存储在栈上的。但是也有特殊情况。如果某个类的实例有个值类型的字段,那么实际上该字段会和类实例保存在同一个地方,即堆中。不过引用类型的对象总是存储在堆中。如果一个结构的字段是引用类型,那么只有引用本身是和结构实例存储在一起的(在栈或堆上,视情况而定)。如下例所示:
  复制代码 代码如下:
  public struct ValueTypeStruct
  {
  private object referenceTypeObject;
  public void Method()
  {
  referenceTypeObject = new object();
  object referenceTypeLocalVariable = new object();
  }
  }
  ValueTypeStruct valueTypeStructInstance = new ValueTypeStruct();
  valueTypeStructInstance.Method();
  //referenceTypeObject 和 referenceTypeLocalVariable 都在哪存放?
  单看valueTypeStructInstance,这是一个结构体实例,感觉似乎是整块都在栈上。但是字段referenceTypeObject是引用类型,局部变量referenceTypeLocalVarible也是引用类型。
  public class ReferenceTypeClass
  {
  private int _valueTypeField;
  public ReferenceTypeClass()
  {
  _valueTypeField = 0;
  }
  public void Method()
  {
  int valueTypeLocalVariable = 0;
  }
  }
  ReferenceTypeClass referenceTypeClassInstance = new ReferenceTypeClass();
  // _valueTypeField在哪存放?
  referenceTypeClassInstance.Method();
  // valueTypeLocalVariable在哪存放?
  referenceTypeClassInstance也有同样的问题,referenceTypeClassInstance本身是引用类型,似乎应该整块部署在托管堆上。但字段_valueTypeField是值类型,局部变量valueTypeLocalVariable也是值类型,它们究竟是在栈上还是在托管堆上?

版权声明:本站内容均来自互联网,仅供演示用,请勿用于商业和其他非法用途。如果侵犯了您的权益请与我们联系QQ:729038198,我们将在24小时内删除。