菜梗谈 - C#值类型与引用类型

菜梗谈 - C#值类型与引用类型

 

C#与C/C++的一个重要区别就是变量的存储形式。C/C++通过变量的定义方式决定变量的存储形式，例如：

int iArray[32];//定义一个长度为32的整形数组iArray，它存储在栈空间中 int *piArray=iArray;//通过一个整形指针变量piArray指向刚才定义的栈中数组iArray int *piArray2 = new int[32];//在堆空间中申请一个长度为32的整形数组，并通过一个整形指针变量piArray2指向它

假如你声明了一个class A
A a;//定义一个A的实例a，它存储在栈空间中，随着出作用域，它会自动调用析构方法 A *b=&a;//现在你可以通过b去访问栈空间中的a A *c=new A();//在堆空间中定义一个A的实例，并通过一个A的指针变量c指向它，由于堆的特性，它不会自动调用析构方法，而必须通过delete调用。

可以看出，C/C++因为指针的缘故，数据可以被指针间接地引用，而被间接引用的，可以是栈中的数据，也可以是堆中的数据，甚至，指针可以强制转换类型,这使得C/C++在拥有强大灵活性的同时，类型安全性变得非常薄弱。而C#，是一门非常强调类型安全的语言，对此，它的做法，就是将所有的类型分成两种形式：值类型和引用类型。

C#的值类型和引用类型的区别就是它们的存储形式：值类型存储在栈空间中，而引用类型存储在堆空间中。

从浅面上看，C#的值类型包括C/C++中的基本类型，比如int、long、float等，同时还包含struct；C#的引用类型就是class，还有string（string 比较特殊，先不谈它）。假定我们已经声明了一个struct Person，我们可以编写如下语句：
 Person person;
但如果Person定义了一个默认构造函数，且功能是对Person中的字段进行初始化，那么，下面的做法会更好，而且往往推荐那么做：
Person person= new Person();
在这里，即使你使用了new，它还是被分配在栈空间中，new仅仅表示它会调用Person的构造函数。

但是，我们假定将以上Person定义成一个class，我们编写类似的语句：
Person person;//这里和C/C++有重大区别，如果是C++，它实际分配一个对象实例在栈空间中，而C#仅仅是定义了一个在栈空间中的引用而已
所以在C#中，总是使用下面的写法实例化一个对象，而对象，也永远存储在堆空间中
Person person = new Person();

所以说，C#是通过类型本身决定存储形式的。

其实，在C#中，int、long、float等基本类型都是struct，这是它们在C#中的别名，它们对应的全称是System.Int32、system.Int64、System.Float。所以，C#只有两种类型struct和class，它们都直接或间接地继承自system.Object。

string也属于class，也就是说它的数据是分配在堆空间中的，但是它在使用方式上却更像值类型，如：
string str1="hello"; string str2=str1;
由于.Net Framework的一些底层处理，str1和str2并不同时指向一个实例，而是分别指向不同的实例，对str2的改写是不会影响到str1的（其实，当你改写str2的时候并不是改写原有的实例，而是分配了一个新实例，而原来的实例因为不再有引用将会被GC回收）。

C#的值类型和引用类型有了非常明确的界限，但是，我们有时却要将值类型转换成引用类型或是将引用类型转换成指类型，这种情况非常之多，例如，你要将int类型变量存储到集合类中，或是从集合类中取出数据给int变量，这就涉及到boxing（装箱）和unboxing（拆箱），C#中的装箱和拆箱，就是为这种目的而设计。它们的工作方式其实很容易理解，所谓装箱，就是将值类型做一份拷贝，而这份拷贝，被放入堆空间中，如：
int i=5; object j=i;
i的数据被拷贝一份放入了堆空间，并且由j引用，因为值类型也是继承自object，所以，是完全可行的。这就是装箱的操作，而拆箱，采用一下方式：
int k=(int)j;
拆箱是装箱的反操作，它将装箱到堆中的数据重新放入栈中。

---------
菜梗谈 - 甜菜的读书笔记
---------
Sep 15.2010