.NET中的特殊类型成员
2024-07-10 12:59:59
供稿：网友
.net中的特殊类型成员
----微软 .net平台系列文章之三
译文/赵湘宁
在前面的两篇文章中，我们研究了类型的基础知识。本文我们将考察类型能定义的某些特殊成员。在大力简化处理类型及其对象实例需要的语法方面，这些类型有助于面向对象设计。
类型构造器
你已经熟悉了什么是构造器，它负责对象实例状态的初始化。除了实例构造器以外，microsoft(r).net公共语言运行时（clr）还支持类型构造器（也叫做静态构造器、类构造器或类型初始化）。类型构造器可被应用到接口，类和数值类型。它允许任何在类型中声明的成员被访问之前实现必要的初始化。类型构造器不需要参数并且总是返回void类型。类型构造器只访问类型的静态字段并且其通常的目的是初始化这些字段。在类型的任何实例被创建之前以及类型的任何静态字段或方法被引用之前，必须要保证已经运行了类型构造器。
许多语言（包括c#）在定义类型时都自动产生类型构造器。但是某些语言需要显式（手工）实现类型构造器。
为了理解类型构造器，让我们研究一下列在c#中定义的类型：
class atype {
static int x = 5;
}
在建立这个代码时，编译器自动地为产生atype类型构造器。这个构造器负责初始化静态字段x为值5。如果你使用ildasm，很容易认出类型构造器方法，因为它们的名字都是.cctor（对于类构造器而言）。
在c#中，通过在类型中定义静态构造器方法，你可以自己实现类型构造器。关键字static的使用意味着这时类型构造器，而不是实例构造器。下面是一个非常简单的例子：
class atype {
static int x;
static atype() {
x = 5;
}
}
这个类型定义与前面的相同。注意类型构造器决不能试图创建自己的类型实例，而且构造器也不能引用类型的非静态成员。
最后，如果你用c#编译器编译下列代码，它产生单独的类型构造器方法：
class atype {
static int x = 5;
static atype() {
x = 10;
}
}
这个构造器首先初始化x=5，然后，初始化x=10。换句话说，编译器产生的结果类型构造器首先包含静态字段的初始化代码，随后是类型构造器的代码。
属性
许多类型定义的属性可以被重新获得或修改。这些属性常常都是用类型字段成员来实现的。例如，下面是包含有两个字段的类型定义：
class employee {
public string name;
public int32 age;
}
如果创建这个类型的实例，那么很容易用以下代码得到或设置属性：
employee e = new employee();
e.name = "jeffrey richter"; // 设置名字属性
e.age = 36; // 设置年龄属性
console.writeline(e.name); // 显示 "jeffrey richter"
用这种方式使用属性非常普通。但以我的观点看，上述代码不会向列出的那样被实现。面向对象设计和编程的立约之一便是数据抽象。它的意思就时类型字段不能用公共字段暴露出来，因为它太容易被修改，太容易让人写出不恰当地使用这个字段的代码，从而破坏对象的状态。例如，某人很容易编写下面的代码破坏employee对象：
e.age = -5; //人的年龄怎么会是-5呢？
所以说，在设计类型时，我强烈建议所有字段都是私有的（private）或至少是受保护的（protected）——决不要公共的（public）。然后，让使用类型的人能get或set属性，专门为此提供方法。打包对字段的访问的方法就叫做存取器（或访问器方法）方法。这些方法能随时实现完整性检查并保证对象的状态不被破坏。例如，我重写了前面定义过的employee类，代码如图一。虽然这是一个简单的例子，但你能从中明白抽象数据字段的巨大好处，你还能从中明白如何轻松实现只读属性，或者仅仅通过不去实现某个存取器方法来轻松达到只写属性。
图一中显示的数据抽象方法有两个缺点。第一，因为要实现附加的函数，所以要多写一些代码。第二，类型的使用者现在必须要调用方法而不是仅仅引用单个的字段名：
e.setage(36); // updates the age
e.setage(-5); // throws an exception
我想，所有的人都会同意这些缺点与其优点比起来显得微不足道，但运行时仍然提供了一种属性机制，多少使得第一个缺点容易忍受了，并且完全消除了第二个缺点。
图二中的类使用了属性，其功能和图一所示的类相同。正如你所看到的，属性简化了一些代码，但更重要的是允许调用这项下面一样写自己的代码：
.age = 36; // 更新年龄
e.age = -5; // 掷出异常throws an exception
get属性存取器的返回值和传递到set属性存取器参数值类型相同。set属性存取器的返回值是void，而get属性存取器没有入口参数。属性可以是静态的、虚拟的、抽象的、内部的、私有的、保护的或公共的。另外，属性可以在接口中定义，关于这一点将在后面讨论。
我还应该指出属性不必于字段关联。例如，类型system.io.filestream定义了一个长度属性，它返回流中的字节数。当长度属性的get方法被调用时，这个长度不是由字段提供，而是调用另一个函数请求底层操作系统返回打开文件流的字节数。
当你创建属性时，编译器实际上发出专门的get_proname和/或set_proname存取器方法（这里proname是属性名）。大多数编译器会理解这些专用方法并允许开发人员存取这些有专门属性语法的方法。但是，遵守公共语言运行时规范的编译器不需要完全支持属性，只要支持专用存取方法调用即可。
另外，对于完全支持属性的编译器来说，在定义和使用属性时使用的语法稍有不同，例如带受管扩展的c++需要使用_property关键字。
索引属性
某些类型，如system.collections.sortedlist暴露逻辑元素列表。为了能轻松存取这种类型中的元素，可以定义一个索引属性（也叫索引器-indexer）。图三显示的是一个索引属性的例子，其索引器的的使用极其简单：
bitarray ba = new bitarray(14);
for (int x = 0; x < 14; x++) {
// 置所有偶数位为“on”
ba[x] = (x % 2 == 0);
console.writeline("bit " + x + " is " + (ba[x] ? "on" : "off"));
}
图三的bitarray例子中，索引器带一个int32参数：bitposition。索引器必须至少带一个参数，参数个数可以是两个或更多。这些参数（以及返回类型）可以是任何类型。创建以string作为参数的索引器查找联合数组中的值是十分普通的事情。一种类型可以提供多个索引器，只要其原型不同。
就像set属性，set索引器存取方法包含一个隐藏的参数，值，当存取方法被调用时，它表示想得到一个新的值。bitarray的set存取方法显示了这个参数值的使用。
一个设计良好的索引器应该具备get和set两个存取方法。即便你能只实现get存取方法（对于只读语义）或者只实现set存取方法（对于只写语义），建议你的索引器实现两个存取器。理由很简单，索引的使用者不希望只有半个行为。例如，当编写下面两行代码时，使用者不想看到编译器出错：
string s = someobj[5]; // 如果有存取器，编译 ok
someobj[5] = s; //如果没有存取器，编译出错
索引器总是起类型实例的作用，并且不能被声明为静态。但它可以是公共的、私有的、保护的或内部的。
当你创建索引属性时，编译器实际上会发布专门的get_item和/或set_item存取器方法。大多数编译器都会理解这些专门的方法并且会允许开发人员利用专门的索引属性语法存取这些方法。但是，与cls（公共语言系统）兼容的编译器不需要完全支持索引属性；只要编译器支持专用存取器调用即可。
同样，对于完全支持索引属性的编译器在定义和使用这些属性的时候，需要的语法稍有差别。例如，c++受管扩展需要使用_property关键字。
结论
本文中所讨论的概念对于所有.net的程序员来说极其重要。我所提到的特殊的类型成员使组件成为公共语言运行时最重要的内容。也就是说，现代组件被设计成支持属性。
下一篇文章我将介绍委派和事件成员，因为它们与基于组件的应用开发和设计是不可分割的一个整体。
