19.1.1 为什么泛型？ 没有泛型，一些通用的数据结构只能使用object类型来存贮各种类型的数据。例如，下面这个简单的stack类将它的数据存放在一个object数组中，而它的两个方法，push和pop，分别使用object来接受和返回数据： public class stack { object[] items; int count; public void push(object item) {...} public object pop() {...} } 尽管使用object类型使得stack类非常灵活，但它也不是没有缺点。例如，可以向堆栈中压入任何类型的值，譬如一个customer实例。然而，重新取回一个值得时候，必须将pop方法返回的值显式地转换为合适的类型，书写这些转换变更要提防运行时类型检查错误是很乏味的： stack stack = new stack(); stack.push(new customer()); customer c = (customer)stack.pop(); 如果一个值类型的值，如int，传递给了push方法，它会自动装箱。而当待会儿取回这个int值时，必须显式的类型转换进行拆箱： stack stack = new stack(); stack.push(3); int i = (int)stack.pop(); 这种装箱和拆箱操作增加了执行的负担，因为它带来了动态内存分配和运行时类型检查。 stack类的另外一个问题是无法强制堆栈中的数据的种类。确实，一个customer实例可以被压入栈中，而在取回它的时候会意外地转换成一个错误的类型： stack stack = new stack(); stack.push(new customer()); string s = (string)stack.pop(); 尽管上面的代码是stack类的一种不正确的用法，但这段代码从技术上来说是正确的，并且不会发生编译期间错误。为题知道这段代码运行的时候才会出现，这时会抛出一个invalidcastexception异常。 stack类无疑会从具有限定其元素类型的能力中获益。使用泛型，这将成为可能。
19.1.2 建立和使用泛型 泛型提供了一个技巧来建立带有类型参数（type parameters）的类型。下面的例子声明了一个带有类型参数t的泛型stack类。类型参数又类名字后面的定界符“<”和“>”指定。通过某种类型建立的stack<t>的实例 可以无欲转换地接受该种类型的数据，这强过于与object相互装换。类型参数t扮演一个占位符的角色，直到使用时指定了一个实际的类型。注意t相当于内部数组的数据类型、push方法接受的参数类型和pop方法的返回值类型： public class stack<t> { t[] items; int count; public void push(t item) {...} public t pop() {...} } 使用泛型类stack<t>时，需要指定实际的类型来替代t。下面的例子中，指定int作为参数类型t： stack<int> stack = new stack<int>(); stack.push(3); int x = stack.pop(); stack<int>类型称为已构造类型（constructed type）。在stack<int>类型中出现的所有t被替换为类型参数int。当一个stack<int>的实例被创建时，items数组的本地存贮是int[]而不是object[]，这提供了一个实质的存贮，效率要高过非泛型的stack。同样，stack<int>中的push和pop方法只操作int值，如果向堆栈中压入其他类型的值将会得到编译期间的错误，而且取回一个值时不必将它显示转换为原类型。 泛型可以提供强类型，这意味着例如向一个customer对象的堆栈上压入一个int将会产生错误。这是因为stack<int>只能操作int值，而stack<customer>也只能操作customer对象。下面例子中的最后两行会导致编译器报错： stack<customer> stack = new stack<customer>(); stack.push(new customer()); customer c = stack.pop(); stack.push(3); // 类型不匹配错误 int x = stack.pop(); // 类型不匹配错误 泛型类型的声明允许任意数目的类型参数。上面的stack<t>例子只有一个类型参数，但一个泛型的dictionary类可能有两个类型参数，一个是键的类型另一个是值的类型： public class dictionary<k,v> { public void add(k key, v value) {...} public v this[k key] {...} } 使用dictionary<k,v>时，需要提供两个类型参数： dictionary<string,customer> dict = new dictionary<string,customer>(); dict.add("peter", new customer()); customer c = dict["peter"];
19.1.3 泛型类型实例化 和非泛型类型类似，编译过的泛型类型也由中间语言（il, intermediate language）指令和元数据表示。泛型类型的il表示当然已由类型参数进行了编码。 当程序第一次建立一个已构造的泛型类型的实例时，如stack<int>，.net公共语言运行时中的即时编译器（jit, just-in-time）将泛型il和元数据转换为本地代码，并在进程中用实际类型代替类型参数。后面的对这个以构造的泛型类型的引用使用相同的本地代码。从泛型类型建立一个特定的构造类型的过程称为泛型类型实例化（generic type instantiation）。 .net公共语言运行时为每个由之类型实例化的泛型类型建立一个专门的拷贝，而所有的引用类型共享一个单独的拷贝（因为，在本地代码级别上，引用知识具有相同表现的指针）。
19.1.4 约束 通常，一个泛型类不会只是存贮基于某一类型参数的数据，他还会调用给定类型的对象的方法。例如，dictionary<k,v>中的add方法可能需要使用compareto方法来比较键值： public class dictionary<k,v> { public void add(k key, v value) { ... if (key.compareto(x) < 0) {...} // 错误，没有compareto方法 ... } } 由于指定的类型参数k可以是任何类型，可以假定存在的参数key具有的成员只有来自object的成员，如equals、gethashcode和tostring；因此上面的例子会发生编译错误。当然可以将参数key转换成为一具有compareto方法的类型。例如，参数key可以转换为icomparable： public class dictionary<k,v> { public void add(k key, v value) { ... if (((icomparable)key).compareto(x) < 0) {...} ... } } 当这种方案工作时，会在运行时引起动态类型转换，会增加开销。更要命的是，它还可能将错误报告推迟到运行时。如果一个键没有实现icomparable接口，会抛出invalidcastexception异常。 为了提供更强大的编译期间类型检查和减少类型转换，c#允许一个可选的为每个类型参数提供的约束（constraints）列表。一个类型参数的约束指定了一个类型必须遵守的要求，使得这个类型参数能够作为一个变量来使用。约束由关键字where来声明，后跟类型参数的名字，再后是一个类或接口类型的列表，或构造器约束new()。 要想使dictionary<k,v>类能保证键值始终实现了icomparable接口，类的声明中应该对类型参数k指定一个约束： public class dictionary<k,v> where k: icomparable { public void add(k key, v value) { ... if (key.compareto(x) < 0) {...} ... } } 通过这个声明，编译器能够保证所有提供给类型参数k的类型都实现了icomparable接口。进而，在调用compareto方法前不再需要将键值显式转换为一个icomparable接口；一个受约束的类型参数类型的值的所有成员都可以直接使用。 对于给定的类型参数，可以指定任意数目的接口作为约束，但只能指定一个类（作为约束）。每一个被约束的类型参数都有一个独立的where子句。在下面的例子中，类型参数k有两个接口约束，而类型参数e有一个类约束和一个构造器约束： public class entitytable<k,e> where k: icomparable<k>, ipersistable where e: entity, new() { public void add(k key, e entity) { ... if (key.compareto(x) < 0) {...} ... } } 上面例子中的构造器约束，new()，保证了作为的e类型变量的类型具有一个公共、无参的构造器，并允许泛型类使用new e()来建立该类型的一个实例。 类型参数约束的使用要小心。尽管它们提供了更强大的编译期间类型检查并在一些情况下改进了性能，它还是限制了泛型类型的使用。例如，一个泛型类list<t>可能约束t实现icomparable接口以便sort方法能够比较其中的元素。然而，这么做使list<t>不能用于那些没有实现icomparable接口的类型，尽管在这种情况下sort方法从来没被实际调用过。
19.1.5 泛型方法 有的时候一个类型参数并不是整个类所必需的，而只用于一个特定的方法中。通常，这种情况发生在建立一个需要一个泛型类型作为参数的方法时。例如，在使用前面描述过的stack<t>类时，一种公共的模式就是在一行中压入多个值，如果写一个方法通过单独调用它类完成这一工作会很方便。对于一个特定的构造过的类型，如stack<int>，这个方法看起来会是这样： void pushmultiple(stack<int> stack, params int[] values) { foreach (int value in values) stack.push(value); } 这个方法可以用于将多个int值压入一个stack<int>： stack<int> stack = new stack<int>(); pushmultiple(stack, 1, 2, 3, 4); 然而，上面的方法只能工作于特定的构造过的类型stack<int>。要想使他工作于任何stack<t>，这个方法必须写成泛型方法（generic method）。一个泛型方法有一个或多个类型参数，有方法名后面的“<”和“>”限定符指定。这个类型参数可以用在参数列表、返回至和方法体中。一个泛型的pushmultiple方法看起来会是这样： void pushmultiple<t>(stack<t> stack, params t[] values) { foreach (t value in values) stack.push(value); } 使用这个方法，可以将多个元素压入任何stack<t>中。当调用一个泛型方法时，要在函数的调用中将类型参数放入尖括号中。例如： stack<int> stack = new stack<int>(); pushmultiple<int>(stack, 1, 2, 3, 4); 这个泛型的pushmultiple方法比上面的版本更具可重用性，因为它能工作于任何stack<t>，但这看起来并不舒服，因为必须为t提供一个类型参数。然而，很多时候编译器可以通过传递给方法的其他参数来推断出正确的类型参数，这个过程称为类型推断（type inferencing）。在上面的例子中，由于第一个正式的参数的类型是stack<int>，并且后面的参数类型都是int，编译器可以认定类型参数一定是int。因此，在调用泛型的pushmultiple方法时可以不用提供类型参数： stack<int> stack = new stack<int>(); pushmultiple(stack, 1, 2, 3, 4);
19.2 匿名方法 实践处理方法和其他回调方法通常需要通过专门的委托来调用，而不是直接调用。因此，迄今为止我们还只能将一个实践处理和回调的代码放在一个具体的方法中，再为其显式地建立委托。相反，匿名方法（anonymous methods）允许将与一个委托关联的代码“内联（in-line）”到使用委托的地方，我们可以很方便地将代码直接写在委托实例中。除了看起来舒服，匿名方法还共享对本地语句所包含的函数成员的访问。如果想在命名方法（区别于匿名方法）中达成这种共享，需要手动创建一个辅助类并将本地成员“提升（lifting）”到这个类的域中。 下面的例子展示了从一个包含一个列表框、一个文本框和一个按钮的窗体中获取一个简单的输入。当按钮按下时文本框中的文本会被添加到列表框中。 class inputform: form { listbox listbox; textbox textbox; button addbutton; public myform() { listbox = new listbox(...); textbox = new textbox(...); addbutton = new button(...); addbutton.click += new eventhandler(addclick); } void addclick(object sender, eventargs e) { listbox.items.add(textbox.text); } } 尽管对按钮的click事件的响应只有一条语句，这条语句也必须放到一个独立的具有完整的参数列表的方法中，并且要手动创建引用该方法的eventhandler委托。使用匿名方法，事件处理的代码会变得更加简洁： class inputform: form { listbox listbox; textbox textbox; button addbutton; public myform() { listbox = new listbox(...); textbox = new textbox(...); addbutton = new button(...); addbutton.click += delegate { listbox.items.add(textbox.text); }; } } 一个匿名方法由关键字delegate和一个可选的参数列表组成，并将语句放入“{”和“}”限定符中。前面例子中的匿名方法没有使用提供给委托的参数，因此可以省略参数列表。要想访问参数，你名方法应该包含一个参数列表： addbutton.click += delegate(object sender, eventargs e) { messagebox.show(((button)sender).text); }; 上面的例子中，在匿名方法和eventhandler委托类型（click事件的类型）之间发生了一个隐式的转换。这个隐式的转换是可行的，因为这个委托的参数列表和返回值类型和匿名方法是兼容的。精确的兼容规则如下： • 当下面条例中有一条为真时，则委托的参数列表和匿名方法是兼容的： o 匿名方法没有参数列表且委托没有输出（out）参数。 o 匿名方法的参数列表在参数数目、类型和修饰符上与委托参数精确匹配。 • 当下面的条例中有一条为真时，委托的返回值与匿名方法兼容： o 委托的返回值类型是void且匿名方法没有return语句或其return语句不带任何表达式。 o 委托的返回值类型不是void但和匿名方法的return语句关联的表达式的值可以被显式地转换为委托的返回值类型。 只有参数列表和返回值类型都兼容的时候，才会发生匿名类型向委托类型的隐式转换。 下面的例子使用了匿名方法对函数进行了“内联（in-lian）”。匿名方法被作为一个function委托类型传递。 using system; delegate double function(double x); class test { static double[] apply(double[] a, function f) { double[] result = new double[a.length]; for (int i = 0; i < a.length; i++) result = f(a); return result; } static double[] multiplyallby(double[] a, double factor) { return apply(a, delegate(double x) { return x * factor; }); } static void main() { double[] a = {0.0, 0.5, 1.0}; double[] squares = apply(a, delegate(double x) { return x * x; }); double[] doubles = multiplyallby(a, 2.0); } } apply方法需要一个给定的接受double[]元素并返回double[]作为结果的function。在main方法中，传递给apply方法的第二个参数是一个匿名方法，它与function委托类型是兼容的。这个匿名方法只简单地返回每个元素的平方值，因此调用apply方法得到的double[]包含了a中每个值的平方值。 multiplyallby方法通过将参数数组中的每一个值乘以一个给定的factor来建立一个double[]并返回。为了产生这个结果，multiplyallby方法调用了apply方法，向它传递了一个能够将参数x与factor相乘的匿名方法。 如果一个本地变量或参数的作用域包括了匿名方法，则该变量或参数称为匿名方法的外部变量（outer variables）。在multiplyallby方法中，a和factor就是传递给apply方法的匿名方法的外部变量。通常，一个局部变量的生存期被限制在块内或与之相关联的语句内。然而，一个被捕获的外部变量的生存期要扩展到至少对匿名方法的委托引用符合垃圾收集条件时。
19.2.1 方法组转换 像前面章节中描述过的那样，一个匿名方法可以被隐式转换为一个兼容的委托类型。c# 2.0允许对一组方法进行相同的转换，即所任何时候都可以省略一个委托的显式实例化。例如，下面的语句： addbutton.click += new eventhandler(addclick); apply(a, new function(math.sin)); 还可以写做： addbutton.click += addclick; apply(a, math.sin); 当使用短形式时，编译器可以自动地推断应该实例化哪一个委托类型，不过除此之外的效果都和长形式相同。
19.3 迭代器 c#中的foreach语句用于迭代一个可枚举（enumerable）的集合中的元素。为了实现可枚举，一个集合必须要有一个无参的、返回枚举器（enumerator）的getenumerator方法。通常，枚举器是很难实现的，因此简化枚举器的任务意义重大。 迭代器（iterator）是一块可以产生（yields）值的有序序列的语句块。迭代器通过出现的一个或多个yield语句来区别于一般的语句块： • yield return语句产生本次迭代的下一个值。 • yield break语句指出本次迭代完成。 只要一个函数成员的返回值是一个枚举器接口（enumerator interfaces）或一个可枚举接口（enumerable interfaces），我们就可以使用迭代器： • 所谓枚举器借口是指system.collections.ienumerator和从system.collections.generic.ienumerator<t>构造的类型。 • 所谓可枚举接口是指system.collections.ienumerable和从system.collections.generic.ienumerable<t>构造的类型。 理解迭代器并不是一种成员，而是实现一个功能成员是很重要的。一个通过迭代器实现的成员可以用一个或使用或不使用迭代器的成员覆盖或重写。 下面的stack<t>类使用迭代器实现了它的getenumerator方法。其中的迭代器按照从顶端到底端的顺序枚举了栈中的元素。 using system.collections.generic; public class stack<t>: ienumerable<t> { t[] items; int count; public void push(t data) {...} public t pop() {...} public ienumerator<t> getenumerator() { for (int i = count – 1; i >= 0; --i) { yield return items; } } } getenumerator方法的出现使得stack<t>成为一个可枚举类型，这允许stack<t>的实例使用foreach语句。下面的例子将值0至9压入一个整数堆栈，然后使用foreach循环按照从顶端到底端的顺序显示每一个值。 using system; class test { static void main() { stack<int> stack = new stack<int>(); for (int i = 0; i < 10; i++) stack.push(i); foreach (int i in stack) console.write("{0} ", i); console.writeline(); } } 这个例子的输出为： 9 8 7 6 5 4 3 2 1 0 语句隐式地调用了集合的无参的getenumerator方法来得到一个枚举器。一个集合类中只能定义一个这样的无参的getenumerator方法，不过通常可以通过很多途径来实现枚举，包括使用参数来控制枚举。在这些情况下，一个集合可以使用迭代器来实现能够返回可枚举接口的属性和方法。例如，stack<t>可以引入两个新的属性——ienumerable<t>类型的toptobottom和bottomtotop： using system.collections.generic; public class stack<t>: ienumerable<t> { t[] items; int count; public void push(t data) {...} public t pop() {...} public ienumerator<t> getenumerator() { for (int i = count – 1; i >= 0; --i) { yield return items; } } public ienumerable<t> toptobottom { get { return this; } } public ienumerable<t> bottomtotop { get { for (int i = 0; i < count; i++) { yield return items; } } } } toptobottom属性的get访问器只返回this，因为堆栈本身就是一个可枚举类型。bottomtotop属性使用c#迭代器返回了一个可枚举接口。下面的例子显示了如何使用这两个属性来以任意顺序枚举栈中的元素： using system; class test { static void main() { stack<int> stack = new stack<int>(); for (int i = 0; i < 10; i++) stack.push(i); foreach (int i in stack.toptobottom) console.write("{0} ", i); console.writeline(); foreach (int i in stack.bottomtotop) console.write("{0} ", i); console.writeline(); } } 当然，这些属性还可以用在foreach语句的外面。下面的例子将调用属性的结果传递给一个独立的print方法。这个例子还展示了一个迭代器被用作一个带参的fromtoby方法的方法体： using system; using system.collections.generic; class test { static void print(ienumerable<int> collection) { foreach (int i in collection) console.write("{0} ", i); console.writeline(); } static ienumerable<int> fromtoby(int from, int to, int by) { for (int i = from; i <= to; i += by) { yield return i; } } static void main() { stack<int> stack = new stack<int>(); for (int i = 0; i < 10; i++) stack.push(i); print(stack.toptobottom); print(stack.bottomtotop); print(fromtoby(10, 20, 2)); } } 这个例子的输出为： 9 8 7 6 5 4 3 2 1 0 0 1 2 3 4 5 6 7 8 9 10 12 14 16 18 20 泛型和非泛型的可枚举接口都只有一个单独的成员，一个无参的getenumerator方法，它返回一个枚举器接口。一个可枚举接口很像一个枚举器工厂（enumerator factory）。每当调用了一个正确地实现了可枚举接口的类的getenumerator方法时，都会产生一个独立的枚举器。 using system; using system.collections.generic; class test { static ienumerable<int> fromto(int from, int to) { while (from <= to) yield return from++; } static void main() { ienumerable<int> e = fromto(1, 10); foreach (int x in e) { foreach (int y in e) { console.write("{0,3} ", x * y); } console.writeline(); } } } 上面的代码打印了一个从1到10的简单乘法表。注意fromto方法只调用了一次用来产生可枚举接口e。而e.getenumerator()被调用了多次（通过foreach语句）来产生多个相同的枚举器。这些枚举器都封装了fromto声明中指定的代码。注意，迭代其代码改变了from参数。不过，枚举器是独立的，因为对于from参数和to参数，每个枚举器拥有它自己的一份拷贝。在实现可枚举类和枚举器类时，枚举器之间的过渡状态（一个不稳定状态）是必须消除的众多细微瑕疵之一。c#中的迭代器的设计可以帮助消除这些问题，并且可以用一种简单的本能的方式来实现健壮的可枚举类和枚举器类。
19.4 不完全类型 尽管在一个单独的文件中维护一个类型的所有代码是一项很好的编程实践，但有些时候，当一个类变得非常大，这就成了一种不切实际的约束。而且，程序员经常使用代码生成器来生成一个应用程序的初始结构，然后修改产生的代码。不幸的是，当以后需要再次发布原代码的时候，现存的修正会被重写。 不完全类型允许类、结构和接口被分成多个小块儿并存贮在不同的源文件中使其容易开发和维护。另外，不完全类型可以分离机器产生的代码和用户书写的部分，这使得用工具来加强产生的代码变得容易。 要在多个部分中定义一个类型的时候，我们使用一个新的修饰符——partial。下面的例子在两个部分中实现了一个不完全类。这两个部分可能在不同的源文件中，例如第一部分可能是机器通过数据库影射工具产生的，而第二部分是手动创作的： public partial class customer { private int id; private string name; private string address; private list<order> orders; public customer() { ... } } public partial class customer { public void submitorder(order order) { orders.add(order); } public bool hasoutstandingorders() { return orders.count > 0; } } 当上面的两部分编译到一起时，产生的代码就好像这个类被写在一个单元中一样： public class customer { private int id; private string name; private string address; private list<order> orders; public customer() { ... } public void submitorder(order order) { orders.add(order); } public bool hasoutstandingorders() { return orders.count > 0; } } 不完全类型的所有部分必须放到一起编译，才能在编译期间将它们合并。需要特别注意的是，不完全类型并不允许扩展已编译的类型。
