C#锐利体验 第十三讲 结构

第十三讲 结构

结构
类为我们采用面向对象方式来构建可复用组件提供了第一等的支持。但有时候我们希望能够获得一种像系统内建的基本类型一样可以廉价地快速地为之分配内存，并且没有继承引用等负担的轻量级的数据类型。C#中的自定义结构类型为我们提供了这样的实现方式，它尤其适用于构建一些比较小的数据结构。
???????结构和类在非常相似，比如它们都可以包含域，方法，属性，事件，索引等成员，结构也可以实现多个接口。但结构和类也有很多的差异，最典型的是结构为值类型，而类为引用类型。值类型使得结构变量本身包含着结构的数据，这些数据被分配在栈上，而不是象类等引用类型那样分配在托管堆上。值类型语义是结构最核心的性质，由此衍生出了它的种种行为。结构的赋值是特别需要注意的，看下面的代码：
using System;
struct??sPoint//点结构
{
????public int x, y;
????public sPoint(int x, int y)
????{
????????this.x = x;
????????this.y = y;
????}
}

class cPoint//点类
{
????public int x, y;
????public cPoint(int x, int y)
????{
????????this.x = x;
????????this.y = y;
????}
}
class Test
{
????static void Main()
????{
????????sPoint spa=new sPoint(10,20);//点结构
????????sPoint spb=spa;//点结构赋值
????????spb.x=0;
????????Console.WriteLine(spa.x+","+spa.y);//10,20
????????Console.WriteLine(spb.x+","+spb.y);//0,20

????????cPoint cpa=new cPoint(10,20);//点类
????????cPoint cpb=cpa;//点类赋值
????????cpb.x=0;
????????Console.WriteLine(cpa.x+","+cpa.y);//0,20
????????Console.WriteLine(cpb.x+","+cpb.y);//0,20
????}
}
???????对结构的赋值导致结构内数据的拷贝，而非引用句柄的拷贝！同样的最为参数或返回值，传递的结构也是对其数据成员的一份新的拷贝。
???????结构实例构造器和实例成员函数中的this也和类中的this含义有所不同。在类中，this本质上是一个引用句柄值，它不可以再被赋值。而在结构中，this更像一个结构类型的变量，它可以被赋值。
???????结构类型的缺省值是将它所有的值类型的数据成员设置为对应值类型的缺省值，将其引用类型的数据成员设置为null。而类的缺省值为null。由于结构变量本身总包含着它的数据，不可以将结构变量赋值为null——结构没有引用句柄的概念，自然没有null值一说！值类型的缺省值规则使得结构不可以再声明无参数的构造器。对于实例成员，结构不允许在声明的同时进行初始化。但对于静态成员则没有此规定，也可以声明实现无参数的静态构造器。结构中不允许声明实现析构器，这是由它的栈分配的性质决定的。看下面的代码：
struct??Point
{
????public int x, y;//不可以public int x=0; public int y=0;
????static Point(){}//不可以public Point(){}
????public Point(int x, int y) //含参数的实例构造器
????{
????????this.x = x;
????????this.y = y;
????}
????//不可以~Point(){}
}
???????
结构类型隐含继承自System.ValueType类，但它本身不支持象类一样的继承。既然结构不支持继承，那么与继承相关的一些如成员保护修饰符protected 和 protected internal，抽象修饰符abstract,virtual,sealed不再适用于结构。
???????一个类变量可以在编译时被隐含地转化为该类的继承基类（如object）变量或其实现的接口类型变量，运用明晰转型这种转化也可以逆向进行。那么作为值类型的结构变量呢？它是怎么被转化为object变量或其实现的接口变量？C#引入一种称作box和unbox的操作来进行这种双向的转换。box和unbox操作为值类型和引用类型之间提供了一个转换的桥梁，使得C#中的数据类型得以统一。
???????当结构变量需要被转换为object变量或其实现的接口变量时，box操作在托管堆上为object变量或接口变量分配空间，并把结构变量的数据拷贝到相应的位置。相反，当object变量或其实现的接口变量被转换为结构变量时，unbox操作使得相应的数据从托管堆内拷贝到结构变量所在的栈上。