一.继承的类型
在面向对象的编程中,有两种截然不同继承类型:实现继承和接口继承 1.实现继承和接口继承 *实现继承:表示一个类型派生于基类型,它拥有该基类型的所有成员字段和函数。在实现继承中,派生类型采用基类型的每个函数的实现代码,除非在派生类型的定义中指定某个函数的实现代码。在需要给现有的类型添加功能,或许多相关的类型共享一组重要的公共功能时,可以使用这种类型的继承。 *接口继承:表示一个类型只继承了函数的签名,没有继承任何的代码。在需要指定该类型具有某些可用的特性时,最好使用这种类型的继承。 2.多重继承 C#不支持多重继承,但C#允许类型派生自多个接口————多重接口继承。这说明,C#类可以派生自另一个类和任意多个接口。更准确的说,因为System.Object是一个公共的基类,所以每个C#(除Object之外)都有一个基类,还可以有任意多个接口。 3.结构的继承 使用结构的一个限制是结构不支持实现继承,但每个结构都自动派生自System.ValueType。不能编码实现类型层次的结构,但结构可以实现接口。二.继承的实现 语法: class MyDreved:BaseClass { } 如果类或结构也派生自接口,则用逗号分隔列表中的基类和接口: class MyDreved:BaseClass,IIntenface1,IIntenface2 { } 如果在类定义中没有指定基类,C#编译器就假定System.Object是基类。 1.虚方法 把一个基类函数声明为virtual,就可以在任何派生类中重写(override)该函数: class BaseClass { public virtual void VirtualMethod() { // } } 也可以把属性声明为virtual。对于虚属性或重写属性,语法与非虚属性相同,但要在定义中添加virtual关键字: public virtual string Name { get;set; } C#中虚函数的概念与标准OOP的概念相同:可以在派生类中重写虚函数。在调用方法时,会调用该派生类的合适方法。在C#中,函数默认情况下不是虚的,但(除了构造函数)可以显式的声明为virtual。 在派生类中重写一个函数时,要使用override关键字显示声明: class MyDreved: BaseClass { public override void VirtualMethod() { // } } 成员字段和静态函数都不能声明为virtual,因为这个概念只对类中的实例函数成员有意义。 2.隐藏方法 如果签名相同的方法在基类和派生类中都进行了声明,但该方法没有分别声明为virtual和override,派生类方法就会隐藏基类方法。class A { public void a() { Console.WriteLine('CLASS is A'); } }class B:A{ public void a() { Console.WriteLine('CLASS is B'); }}class client { static void main() { B b=new B(); A a=b; a.a(); b.a(); }}/*输出CLASS IS ACLASS IS B*/
在大多数情况下,是要重写方法,而不是隐藏方法,因为隐藏方法会造成对于给定类的实例调用错误的方法。但是,C#语法会在编译时收到这个潜在错误的警告。
在C#中,要隐藏一个方法应使用new 关键字声明,这样在编译时就不会发出警告: class A { public void a() { Console.WriteLine('CLASS is A'); } } class B:A { public new void a() { Console.WriteLine('CLASS is B'); } } 3.调用函数的基类版本 C#可以从派生类中调用方法的基本版本:base.<MethodName>() class MyDreved: BaseClass { public override void VirtualMethod() { base.VirtualMethod(); } } 可以使用base.<MethodName>()语法调用基类中的任何方法,不必从同一方法的重载中调用它。 4.抽象类和抽象函数 C#允许把类和函数声明为abstract.抽象类不能实例化,而抽象不能直接实现,必须在非抽象的派生类中重写。显然抽象函数也是虚拟的(尽管不需要提供virtual,实际上,也不能提供该关键字)。 如果类包含抽象函数,则该类也是抽象的,也必须声明为抽象的: abstract class Building { public abstract void Cal(); } 抽象类中不能声明非抽象方法,但可以声明其它的非抽象成员。 5.密封类和密封方法 C#允许把类和方法声明为sealed。对于类,这表示不能继承该类;对于方法,表示不能重写该方法。 sealed class A { } class B:A //报错 { } 如果基类上不希望有重写的方法和属性,就不要把它声明为virtual. 6.派生类的构造函数 假定没有为任何类定义任何显示的构造函数,编译器就会为所有的类提供默认的初始化构造函数,在后台编译器可以很好的解决类的层次结构中的问题,每个类中的每个字段都会初始化为对应的默认值。 在创建派生类的实例时,实际上会有多个构造函数起作用。要实例化的类的构造函数本身不能初始化类,还必须调用基类中的构造函数。 构造函数的调用顺序是先调用Object,在按照层次结构调用基类的构造函数,由基类到父类,直到到达要实例化的类为止。在这个过程中,每个构造函数都初始化它自己的类中的字段。因为最先调用的总是基类的构造函数,所以派生类在执行过程中可以访问任何基类的成员,因为基类已经构造出来了,其字段也初始化了。 *在层次结构中添加无参数的构造函数 在层次结构中添加一个无参数的构造函数会替换默认的构造函数,所以在执行过程中,会默认调用基类中添加的无参数的构造函数。其它方面不变。 *在层次结构中添加带参数的构造函数 在层次结构中要调用这个带参数的构造函数,需要在父类的构造函数中显示调用:public abstract class GenericCustomer{ private string name; public GenericCustomer() { name = ""; } public GenericCustomer(string name) { this.name = name; } public string Name { get {return name;} set {name = value;} }}public class Nevermore60Customer : GenericCustomer{ private string referrerName; private uint highCostMinutesUsed; ublic Nevermore60Customer(string name) : this(name, " ") { } public Nevermore60Customer(string name, string referrerName) : base(name) { this.referrerName = referrerName; } public string ReferrerName { get {return referrerName;} set {referrerName = value;} }}
三. 修饰符
修饰符可以指定方法的可见性:如public或private,还可以指定一项的本质,如方法是virtual或abstract. 1.可见性修饰符 修饰符 应用于 说明 public 所有类和成员 任何代码可以访问 protected 类的成员和内嵌类 只有在类内部和派生类中访问 internal 所有类和成员 只有在类内部和包含它的程序集中访问 private 类的成员和内嵌类 只有在类内部访问 protected internal 类的成员和内嵌类 只有在类内部,派生类中和包含它的程序集中访问 不能把类定义为protected,private,protected internal,因为这些修饰符对于包含在名称空间中的类型没有意义。因此这些修饰符只能应用于成员。但是可以用这些修饰符定义嵌套的类(内嵌类,包含在其它类中的类),因为在这种情况下,类也具有成员的状态: public class OuterClass { protected class InnerClass { } } 2.其它修饰符 修饰符 应用于 说明 new 函数 隐藏函数 static 所有成员 静态 virtual 函数 成员可以由派生类重写 abstract 类,函数 抽象 override 函数 重写虚拟和抽象的成员 sealed 类,方法,属性 不能继承和重写 extern 仅静态方法 成员在外部用另一种语言实现四.接口 public interface IDisposable { void Dispose(); } 声明接口在语法上和声明抽象类完全相同,但不允许提供任何成员的实现方式。抽象类可以提供除方法之外的其它成员的实现方式,比如属性。 一般情况下,接口只能包含方法,属性,索引器和事件的声明。 不能实例化接口,接口即不能有构造函数,也不能有字段。接口定义也不允许包含运算符重载。 在接口中不允许声明关于成员的修饰符。接口成员总是公有的,不能声明为虚拟和静态。如果需要,在实现的类中声明。 实现接口的类必须实现接口的所有成员。 接口可以彼此继承,其方式与类的继承方式相同。