c#锐利体验
第四讲 类与对象[/b]
南京邮电学院 李建忠（[email protected]）
组件编程不是对传统面向对象的抛弃，相反组件编程正是面向对象编程的深化和发展。类作为面向对象的灵魂在c#语言里有着相当广泛深入的应用，很多非常“sharp”的组件特性甚至都是直接由类包装而成。对类的深度掌握自然是我们“sharp xp”重要的一环。
类
c#的类是一种对包括数据成员，函数成员和嵌套类型进行封装的数据结构。其中数据成员可以是常量，域。函数成员可以是方法，属性，索引器，事件，操作符，实例构建器，静态构建器，析构器。我们将在“第五讲 构造器与析构器”和“第六讲 域 方法 属性与索引器”对这些成员及其特性作详细的剖析。除了某些导入的外部方法，类及其成员在c#中的声明和实现通常要放在一起。
c#用多种修饰符来表达类的不同性质。根据其保护级c#的类有五种不同的限制修饰符： - public可以被任意存取；
- protected只可以被本类和其继承子类存取；
- internal只可以被本组合体（assembly）内所有的类存取，组合体是c#语言中类被组合后的逻辑单位和物理单位，其编译后的文件扩展名往往是“.dll”或“.exe”。
- protected internal唯一的一种组合限制修饰符，它只可以被本组合体内所有的类和这些类的继承子类所存取。
- private只可以被本类所存取。
如果不是嵌套的类，命名空间或编译单元内的类只有public和internal两种修饰。
new修饰符只能用于嵌套的类，表示对继承父类同名类型的隐藏。
abstract用来修饰抽象类，表示该类只能作为父类被用于继承，而不能进行对象实例化。抽象类可以包含抽象的成员，但这并非必须。abstract不能和new同时用。下面是抽象类用法的伪码： abstract class a{ public abstract void f();}abstract class b: a{ public void g() {}}class c: b{ public override void f() { //方法f的实现 }}
抽象类a内含一个抽象方法f()，它不能被实例化。类b继承自类a，其内包含了一个实例方法g(),但并没有实现抽象方法f()，所以仍然必须声明为抽象类。类c继承自类b，实现类抽象方法f()，于是可以进行对象实例化。
sealed用来修饰类为密封类，阻止该类被继承。同时对一个类作abstract和sealed的修饰是没有意义的，也是被禁止的。
对象与this关键字
类与对象的区分对我们把握oo编程至关重要。我们说类是对其成员的一种封装，但类的封装设计仅仅是我们编程的第一步，对类进行对象实例化，并在其数据成员上实施操作才是我们完成现实任务的根本。实例化对象采用myclass myobject=new myclass()语法，这里的new语义将调用相应的构建器。c#所有的对象都将创建在托管堆上。实例化后的类型我们称之为对象，其核心特征便是拥有了一份自己特有的数据成员拷贝。这些为特有的对象所持有的数据成员我们称之为实例成员。相反那些不为特有的对象所持有的数据成员我们称之为静态成员，在类中用static修饰符声明。仅对静态数据成员实施操作的称为静态函数成员。c#中静态数据成员和函数成员只能通过类名引用获取，看下面的代码： using system;class a{ public int count; public void f() { console.writeline(this.count); } public static string name; public static void g() { console.writeline(name); }}class test{ public static void main() { a a1=new a(); a a2=new a(); a1.f(); a1.count=1; a2.f(); a2.count=2; a.name="ccw"; a.g(); }}
我们声明了两个a对象a1,a2。对于实例成员count和f()，我们只能通过a1,a2引用。对于静态成员name和g()我们只能通过类型a来引用，而不可以这样a1.name，或a1.g()。
在上面的程序中，我们看到在实例方法f()中我们才用this来引用变量count。这里的this是什么意思呢？this 关键字引用当前对象实例的成员。在实例方法体内我们也可以省略this，直接引用count，实际上两者的语义相同。理所当然的，静态成员函数没有 this 指针。this 关键字一般用于从构造函数、实例方法和实例访问器中访问成员。
在构造函数中this用于限定被相同的名称隐藏的成员，例如： class employee{public employee(string name, string alias) { this.name = name; this.alias = alias; }}
将对象作为参数传递到其他方法时也要用this表达，例如： calctax(this);
声明索引器时this更是不可或缺，例如： public int this [int param]{ get { return array[param]; } set { array[param] = value; }}
system.object类
c#中所有的类都直接或间接继承自system.object类，这使得c#中的类得以单根继承。如果我们没有明确指定继承类，编译器缺省认为该类继承自system.object类。system.object类也可用小写的object关键字表示，两者完全等同。自然c#中所有的类都继承了system.object类的公共接口，剖析它们对我们理解并掌握c#中类的行为非常重要。下面是仅用接口形式表示的system.object类： namespace system{ public class object { public static bool equals(object obja,object objb){} public static bool referenceequals(object obja,object objb){} public object(){} public virtual bool equals(object obj){} public virtual int gethashcode(){} public type gettype(){} public virtual string tostring(){} protected virtual void finalize(){} protected object memberwiseclone(){} }
我们先看object的两个静态方法equals(object obja,object objb)，referenceequals(object obja,object objb)和一个实例方法equals(object obj)。在我们阐述这两个方法之前我们首先要清楚面向对象编程两个重要的相等概念：值相等和引用相等。值相等的意思是它们的数据成员按内存位分别相等。引用相等则是指它们指向同一个内存地址，或者说它们的对象句柄相等。引用相等必然推出值相等。对于值类型关系等号“= =”判断两者是否值相等（结构类型和枚举类型没有定义关系等号“= =”，我们必须自己定义）。对于引用类型关系等号“= =”判断两者是否引用相等。值类型在c#里通常没有引用相等的表示，只有在非托管编程中采用取地址符“&”来间接判断二者的地址是否相等。
静态方法equals(object obja,object objb)首先检查两个对象obja和objb是否都为null，如果是则返回true，否则进行obja.equals(objb)调用并返回其值。问题归结到实例方法equals(object obj)。该方法缺省的实现其实就是{return this= =obj;}也就是判断两个对象是否引用相等。但我们注意到该方法是一个虚方法，c#推荐我们重写此方法来判断两个对象是否值相等。实际上microsoft.net框架类库内提供的许多类型都重写了该方法，如：system.string（string），system.int32（int）等，但也有些类型并没有重写该方法如：system.array等，我们在使用时一定要注意。对于引用类型，如果没有重写实例方法equals(object obj)，我们对它的调用相当于this= =obj，即引用相等判断。所有的值类型（隐含继承自system.valuetype类）都重写了实例方法equals(object obj)来判断是否值相等。
注意对于对象x，x.equals(null)返回false，这里x显然不能为null（否则不能完成equals()调用，系统抛出空引用错误）。从这里我们也可看出设计静态方法equals(object obja,object objb)的原因了--如果两个对象obja和objb都可能为null，我们便只能用object. equals(object obja,object objb)来判断它们是否值相等了--当然如果我们没有改写实例方法equals(object obj)，我们得到的仍是引用相等的结果。我们可以实现接口icomparable（有关接口我们将在“第七讲 接口 继承与多态”里阐述）来强制改写实例方法equals(object obj)。
对于值类型，实例方法equals(object obj)应该和关系等号“= =”的返回值一致，也就是说如果我们重写了实例方法equals(object obj)，我们也应该重载或定义关系等号“= =”操作符，反之亦然。虽然值类型（继承自system.valuetype类）都重写了实例方法equals(object obj)，但c#推荐我们重写自己的值类型的实例方法equals(object obj)，因为系统的system.valuetype类重写的很低效。对于引用类型我们应该重写实例方法equals(object obj)来表达值相等，一般不应该重载关系等号“= =”操作符，因为它的缺省语义是判断引用相等。
静态方法referenceequals(object obja,object objb)判断两个对象是否引用相等。如果两个对象为引用类型，那么它的语义和没有重载的关系等号“= =”操作符相同。如果两个对象为值类型，那么它的返回值一定是false。
实例方法gethashcode()为相应的类型提供哈希（hash）码值，应用于哈希算法或哈希表中。需要注意的是如果我们重写了某类型的实例方法equals(object obj)，我们也应该重写实例方法gethashcode()--这理所应当，两个对象的值相等，它们的哈希码也应该相等。下面的代码是对前面几个方法的一个很好的示例： using system;struct a{ public int count;}class b{ public int number;}class c{ public int integer=0; public override bool equals(object obj) { c c=obj as c; if (c!=null) return this.integer==c.integer; else return false; } public override int gethashcode() { return 2^integer; }}class test{ public static void main() { a a1,a2; a1.count=10; a2=a1; //console.write(a1==a2);没有定义“= =”操作符 console.write(a1.equals(a2));//true console.writeline(object.referenceequals(a1,a2));//false b b1=new b(); b b2=new b(); b1.number=10; b2.number=10; console.write(b1==b2);//false console.write(b1.equals(b2));//false console.writeline(object.referenceequals(b1,b2));//false b2=b1; console.write(b1==b2);//true console.write(b1.equals(b2));//true console.writeline(object.referenceequals(b1,b2));//true c c1=new c(); c c2=new c(); c1.integer=10; c2.integer=10; console.write(c1==c2);//false console.write(c1.equals(c2));//true console.writeline(object.referenceequals(c1,c2));//false c2=c1; console.write(c1==c2);//true console.write(c1.equals(c2));//true console.writeline(object.referenceequals(c1,c2));//true }}
如我们所期望，编译程序并运行我们会得到以下输出： truefalse
falsefalsefalse
truetruetrue
falsetruefalse
truetruetrue
实例方法gettype()与typeof的语义相同，它们都通过查询对象的元数据来确定对象的运行时类型，我们在“第十讲 特征与映射”对此作详细的阐述。
实例方法tostring()返回对象的字符串表达形式。如果我们没有重写该方法，系统一般将类型名作为字符串返回。
受保护的finalize()方法在c#中有特殊的语义，我们将在“第五讲 构造器与析构器”里详细阐述。
受保护的memberwiseclone()方法返回目前对象的一个“影子拷贝”，该方法不能被子类重写。“影子拷贝”仅仅是对象的一份按位拷贝，其含义是对对象内的值类型变量进行赋值拷贝，对其内的引用类型变量进行句柄拷贝，也就是拷贝后的引用变量将持有对同一块内存的引用。相对于“影子拷贝”的是深度拷贝，它对引用类型的变量进行的是值复制，而非句柄复制。例如x是一个含有对象a,b引用的对象，而对象a又含有对象m的引用。y是x的一个“影子拷贝”。那么y将拥有同样的a,b的引用。但对于x的一个“深度拷贝”z来说，它将拥有对象c和d的引用，以及一个间接的对象n的引用，其中c是a的一份拷贝，d是b的一份拷贝，n是m的一份拷贝。深度拷贝在c#里通过实现icloneable接口（提供clone()方法）来完成。
对对象和system.object的把握为类的学习作了一个很好的铺垫，但这仅仅是我们锐利之行的一小步，关乎对象成员初始化，内存引用的释放，继承与多态，异常处理等等诸多“sharp”特技堪为浩瀚，让我们继续期待下面的专题！
