C#——语言.docVIP

类 类是一种数据结构，它可以包含数据成员（常量和字段）、函数成员（方法、属性、事件、索引器、运算符、实例构造函数、静态构造函数和析构函数）以及嵌套类型。类类型支持继承，继承是一种机制，它使派生类可以对基类进行扩展和专用化。 类声明 class-declaration 是一种 type-declaration（第 9.5 节），它用于声明一个新类。 class-declaration:attributesopt class-modifiersopt class identifier class-baseopt class-body ;opt class-declaration 的组成方式如下：先是一组 attributes（第 17 章）（可选），后跟一组 class-modifiers（第 10.1.1 节）（可选），然后是关键字 class 和一个用来命名该类的 identifier，接着是一个 class-base 规格（第 10.1.2 节）（可选），后接一个 class-body（第 10.1.3 节），最后还可添加一个分号（可选）。 类修饰符 class-declaration 可以根据需要包含一个类修饰符序列： class-modifiers:class-modifierclass-modifiers class-modifier class-modifier:newpublicprotectedinternalprivateabstractsealed 同一修饰符在一个类声明中多次出现是编译时错误。 new 修饰符适用于嵌套类。它指定类隐藏同名的继承成员，详见第 10.2.2 节中的介绍。如果在不是嵌套类声明的类声明中使用 new 修饰符，则会导致编译时错误。 public、protected、internal 和 private 修饰符控制类的可访问性。根据类声明出现处的上下文，这些修饰符中，有些可能不允许使用（第 3.5.1 节）。 以下几节对 abstract 和 sealed 修饰符进行了讨论。 抽象类 abstract 修饰符用于表示所修饰的类是不完整的，并且它只能用作基类。抽象类与非抽象类在以下方面是不同的： 抽象类不能直接实例化，并且对抽象类使用 new 运算符会导致编译时错误。虽然一些变量和值在编译时的类型可以是抽象的，但是这样的变量和值必须或者为 null，或者含有对非抽象类的实例的引用（此非抽象类是从抽象类型派生的）。 允许（但不要求）抽象类包含抽象成员。 抽象类不能被密封。 当从抽象类派生非抽象类时，这些非抽象类必须具体实现所继承的所有抽象成员，从而重写那些抽象成员。在下面的示例中 abstract class A{ public abstract void F();} abstract class B: A{ public void G() {}} class C: B{ public override void F() { // actual implementation of F }} 抽象类 A 引入抽象方法 F。类 B 引入另一个方法 G，但由于它不提供 F 的实现，B 也必须声明为抽象类。类 C 重写 F，并提供一个具体实现。由于 C 没有抽象成员，因此 C 可以（但不要求）是非抽象的。 密封类 sealed 修饰符用于防止从所修饰的类派生出其他类。如果一个密封类被指定为其他类的基类，则会发生编译时错误。 密封类不能同时为抽象类。 sealed 修饰符主要用于防止非有意的派生，但是它还能促使某些运行时优化。具体而言，由于密封类永远不会有任何派生类，所以对密封类的实例的虚函数成员的调用可以转换为非虚调用来处理。 类基本规格 类声明可以包含一个 class-base 规格，它定义该类的直接基类和由该类实现的接口 (13)。 class-base:: class-type: interface-type-list: class-type , interface-type-list interface-type-list:interface-typeinterface-type-list , interface-type 基类 当 class-base 中包含一个 class-type 时，它表示该类就是所声明的类的直接基类。如果一个类声明中没有 class-base，或 class-base 只列出接口类型，则假定直接基类就是 object。一个类会从它的直接基类继承成员，如第 10.2.1 节中所述。 在下面的示例中 class A {} class B: A {} 称类 A