基本数据类型就好比现金,要用直接用;引用类型好比存折,要用还得先去银行取现。
声明一个值类型变量,编译器会在栈上分配一个空间,这个空间对应着该值类型变量,空间里存
储的就是该变量的值。引用类型的实例分配在堆上,新建一个引用类型实例,得到的变量值对应
的是该实例的内存分配地址,这就像您的银行账号一样。具体哪些类型是值类型哪些是引用类型,
大家翻翻书,背一背就好了,不过我想,做过一段时间的开发,即使您背不了书上教条的定义,
也不会把基本数据类型和引用类型搞混的。接下来,咱看码说话吧。
1: public class Person
2: {
3: public string Name { get; set; }
4: public int Age { get; set; }
5: }
6:
7: public static class ReferenceAndValue
8: {
9: public static void Demonstration()
10: {
11: Person zerocool = new Person { Name = "ZeroCool", Age = 25 };
12: Person anders = new Person { Name = "Anders", Age = 47 };
13:
14: int age = zerocool.Age;
15: zerocool.Age = 22;
16:
17: Person guru = anders;
18: anders.Name = "Anders Hejlsberg";
19:
20: Console.WriteLine("zerocool's age:\t{0}", zerocool.Age);
21: Console.WriteLine("age's value:\t{0}", age);
22: Console.WriteLine("anders' name:\t{0}", anders.Name);
23: Console.WriteLine("guru' name:\t{0}", guru.Name);
24: }
25: }
上面这段代码,我们首先创建了一个Person类,包含了Name和Age两个属性,毋庸置疑,
Person类是引用类型,Name也是,因为它是string类型的(但string是很特殊的引用类型,
后面将专门有一篇文章来讨论),但Age则是值类型。接下来我们来看看Demonstration方
法,其中演示的就是值类型跟引用类型的区别。
首先,我们声明了两个Person类的实例对象,zerocool和anders,前面提到过,这两个对象
都被分配在堆上,而zerocool和anders本身其实只是对象所在内存区域的起始地址引用,换
句话说就是指向这里的指针。我们声明对象实例时也顺便分别进行了初始化,首先我们看,
zerocool对象的值类型成员,我们赋值为25(对,我今年25岁),anders(待会儿你们就
知道是谁了)的Name属性,我们赋值为"Anders"。齐活儿,接下来看我们怎么干吧。
我们声明一个值类型变量age,直接在初始化时把zerocool的Age值赋给它,显然,age的
值就是25了。但这个时候zerocool不高兴了,他想装嫩,私自把自己的年龄改成22岁,刚
够法定结婚年龄。然后我们又声明了一个引用类型的guy对象,初始化时就把anders赋给它,
然后anders露出庐山真面目了,他的名字叫"Anders Hejlsberg"(在此向C#之父致敬)。
接下来我们来分别答应出这几个变量的值,看看有什么差别。
你可能要觉得奇怪(你要不觉得奇怪,也就不用再接着往下看了),为什么我们改了
zerocool.Age的值,age没跟着变,改了anders.Name的值,guru.Name却跟着变了呢?
这就是值类型和引用类型的区别。我们声明age值类型变量,并将zerocool.Age赋给它,编
译器在栈上分配了一块空间,然后把zerocool.Age的值填进去,仅此而已,二者并无任何牵连,
就像复印机一样,只是把zerocool.Age的值拷贝给age了。而引用类型不一样,我们在声明
guy的时候把anders赋给它,前面说过,引用类型包含的是只想堆上数据区域地址的引用,其
实就是把anders的引用也赋给guy了,因此这二者从此指向了同一块内存区域,既然是指向
同一块区域,那么甭管谁动了里面的"奶酪",另一个变现出来的结果也会跟着变,就像信用卡跟
亲情卡一样,用亲情卡取了钱,与之关联的信用卡账上也会跟着发生变化。一提到钱,估计大家
伙儿印象就深了些吧,呵呵!
另外,性能上也会有区别的。既然一个是直接操作内存,另一个则多一步先解析引用地址,那么
显然很多时候值类型会减小系统性能开销。但"很多时候"不代表"所有时候",有些时候还得量力
而为,例如需要大量进行函数参数传递或返回的时候,老是这样进行字段拷贝,其实反而会降低
应用程序性能。另外,如果实例会被频繁地用于Hashtable或者ArrayList之类的集合中,这
些类会对其中的值类型变量进行装箱操作,这也会导致额外的内存分配和内存拷贝操作,从应用
程序性能方面来看,其实也不划算。
声明值类型变量时,如果没有初始化赋值,编
译器会自动将其赋值为0,既然值类型没有引用,那么它就不可能为空。引用类型不一样,它可
以为空引用,一张过期作废的银行卡是可以存在。
* 基本数据类型不能作为其它任何类型的基类型,因此不能向值类型中增加任何新的虚方
法,更不该有任何抽象方法,所有的方法都是sealed的(不可重写);
* 未装箱的值类型分配在栈上而不是堆上,而栈又不是GC的地盘儿,因此GC根
本不过问值类型变量的死活,一旦值类型变量的作用范围一过,它所占的内存
空间就立即被回收掉,不劳GC亲自动手。 |