C# 2.0 Specification (泛型四)

  1<t>(T item); 
  2
  3public class Finder 
  4
  5{ 
  6
  7public static T Find<t>(T[] items , Test<t> test){ 
  8
  9foreach(T item in items) 
 10
 11{ 
 12
 13if(test(item)) return item; 
 14
 15} 
 16
 17throw new InvalidOperationException(“Item not found”); 
 18
 19} 
 20
 21} 
 22
 23泛型方法不能被声明为  extern  。所有其他修饰符在泛型方法上都是有效的。 
 24
 25**   
 26**
 27
 28###  20.6.1  泛型方法签名 
 29
 30为了比较签名的目的，任何类型参数约束都将被忽略，就像是类型参数的名字，但类型参数的个数也是相应的，就像是类型参数从左到右的元素位置。下面的例子展示了这条规则影响下的方法签名。 
 31
 32class A{} 
 33
 34class B {} 
 35
 36interface IX 
 37
 38{ 
 39
 40T F1<t>(T[] a , int i);  //  错误，因为返回类型和类型参数名字无关紧要， 
 41
 42void F1<u>(U[] a ,int i);  //  这两个声明都有相同的签名 
 43
 44void F2<t><int x="">;  //OK,  类型参数的数量是签名的一部分 
 45
 46void F2(int x); 
 47
 48void F3<t>(T t) where T: A  //  错误，约束不在签名考虑之列 
 49
 50void F3<t>(T t) where T:B: 
 51
 52} 
 53
 54泛型方法的重载采用一条与在泛型类型声明（§  20.1.8）中管理方法重载相似的规则，进行了进一步的约束。两个使用相同名字和相同数量的类型实参的泛型方法声明不能有封闭类型实参的列表的参数类型，当它们以同样的顺序以相同的签名产生两个方法，被应用到相同顺序的两个方法上时。由于这条规则约束将不会被考虑。例如 
 55
 56class X<t>
 57
 58{ 
 59
 60void F<u>(T t , U u){…}  //  错误，  X<int>.F<int> 产生了具有相同签名的两个方法 
 61
 62void F<u>(U u, T t){…}  // 
 63
 64} 
 65
 66###  20.6.2  虚拟泛型方法 
 67
 68泛型方法可以使用  abstract  ，  virtual  和  override  修饰符声明。当匹配方法重写和接口实现时，将使用与§  20.6.1  中描述规则相匹配的签名。当泛型方法重写一个在基类中声明的泛型方法，或者实现基接口中的方法，为每个类型参数给定的约束必须在两个声明中是相同的，在这里方法类型参数将由原始位置从左到右而被标识。 
 69
 70abstract class Base 
 71
 72{ 
 73
 74public abstract T F<t,u>(T t, U u); 
 75
 76public abstract T G<t>(T t) where T: IComparable; 
 77
 78} 
 79
 80  
 81
 82
 83class Derived:Base 
 84
 85{ 
 86
 87public override X F<x,y>(X x ,Y y){…}  //OK 
 88
 89public override T G<t>(T t){…}  //  错误 
 90
 91} 
 92
 93F的重写是正确的，因为类型参数名字允许不同。G的重写是错误的，因为给定的类型参数约束(在这里没有约束)与被重写的方法不匹配。 
 94
 95###  20.6.3  调用泛型方法 
 96
 97泛型方法调用可以显式指定类型实参列表，或者省略类型实参列表，而依靠类型推断来确定类型实参。方法调用的确切编译时处理，包括泛型方法调用，在§  20.9.5中进行了描述。当泛型方法不使用类型参数列表调用时，类型推断将按§20.6.4中所描述的进行。 
 98
 99下面的例子展示在类型推断和类型实参替代参数列表后，重载决策是如何发生的。 
100
101class Test 
102
103{ 
104
105static void F<t>(int x , T y) 
106
107{ 
108
109Console.WriteLine(“One”); 
110
111} 
112
113static void F<t>(T x , long y) 
114
115{ 
116
117Console.WriteLine(“two”); 
118
119} 
120
121static void  Main  () 
122
123{ 
124
125F<int>(5,324);  //ok,  打印“  one  ” 
126
127F<byte>(5,324);  //ok,  打印“  two  ” 
128
129F<double>(5,324);  //  错误，模糊的 
130
131F(5,324);  //ok,  打印“  one  ” 
132
133F(5,324L);  //  错误，模糊的 
134
135} 
136
137} 
138
139###  20.6.4  类型实参推断 
140
141当不指定类型实参而调用泛型方法时， ** 类型推断（  ** ** type inference  ** ** ）  ** 处理将试图为调用推断类型实参。类型推断的存在可以让调用泛型方法时，采用更方便的语法，并且可以避免程序员指定冗余的类型信息。例如，给定方法声明 
142
143  
144
145
146class Util 
147
148{ 
149
150static Random rand = new Random(); 
151
152static public T Choose<t>(T first , T second) 
153
154{ 
155
156return (rand.Next(2) == 0)?first:second 
157
158} 
159
160} 
161
162不显式指定类型实参而调用  Choose  方法也是可以的。 
163
164int i = Util.Choose(5,123);  //  调用  Choose<int>
165
166string s = Util.Choose(“foo”,”bar”);//  调用  Choose<string>
167
168通过类型推断，类型实参  int  和  string  将由方法的实参确定。 
169
170类型推断作为方法调用（§  20.9.5）编译时处理的一部分而发生，并且在调用的重载决策之前发生。当在一个方法调用中指定特定的方法组时，类型实参不会作为方法调用的一部分而指定，类型推断将被应用到方法组中的每个泛型方法。如果类型推断成功，被推断的类型实参将被用于确定后续重载决策的实参类型。如果重载决策选择将要调用的泛型方法，被推断的类型实参将被用作调用的实际类型实参。如果特定方法类型推断失败，这个方法将不参与重载决策。类型推断失败自身将不会产生编译时错误。但当重载决策没能找到适用的方法时，将会导致编译时错误。 
171
172如果所提供的实参个数与方法的参数个数不同，推断将立刻失败。否则，类型推断将为提供给方法的每个正式实参独立地发生。假定这个实参的类型为  A，对应参数为类型P。类型推断将按下列步骤关联类型A和P而。 
173
174  * 如果以下任何一条成立，将不能从实参推断任何东西（但类型推断是成功的） 
175
176
177
178\-  P  和方法的任何类型参数无关  [1] 
179
180\-  实参是  null  字符 
181
182\-  实参是一个匿名方法 
183
184\-  实参是一个方法组 
185
186  
187
188
189  * 如果  P  是一个数组类型，  A  是一个同秩（  rank  ）的数组类型，那么使用  A  和  P  的元素类型相应地替换  A  和  P  ，并重复这个步骤。 
190  * 如果  P  是一个数组类型，而  A  是一个不同秩的数组类型，那么泛型方法的类型推断失败。 
191  * 如果  P  是方法的类型参数，那么对于这个实参的类型推断成功，并且  A  是那个类型实参所推断的类型。 
192  * 否则，  P  必须是一个构造类型。如果对于出现在  P  中的每个方法类型参数  M  X  ，恰好可以确定一个类型  T  X  ，使用每个  T  X  替换每个  M  X  ，这将产生一个类型，对于这个类型，  A  可以通过标准的隐式转换而被转换，那么对于这个实参的类型推断成功，对于每个  M  X  ，  T  X  就是推断的类型。方法类型参数约束（如果有的话），因为类型推断的原因将会被忽略。如果对于一个给定的  M  X  没有  T  X  存在或者多于一个  T  X  存在  ，那么泛型方法的类型推断将会失败（多于一个  T  X  存在的情形只可能发生在，  P  是一个泛型接口类型，并且  A  实现了接口的多个构造版本）。 
193
194
195
196如果所有的方法实参都通过先前的算法进行了处理，那么从实参而来的所有推断都将被汇聚。这组推断必须有如下的属性。 
197
198  * 方法的每个类型参数必须有一个为其推断的类型实参。简而言之，这组推断必须是 **完整的（** ** complete  ** ** ）  ** ; 
199  * 如果类型参数出现多于一次，那么对那个类型参数的所有的推断都必须推断相同的类型实参。简而言之，这组接口必须是 **一致的（** ** consistent  ** ** ）  ** 。 
200
201
202
203如果能够找到一组完整而一致的推断类型实参，那么对于一个给定的泛型方法和实参列表，类型推断就可以说是成功的。 
204
205如果泛型方法使用参数数组（§  10.5.1.4）声明，那么类型推断针对方法将以其通常的方式执行。如果类型推断成功，结果方法是可用的，那么方法将以其通常形式对于重载决策是可行的。否则，类型推断将针对方法的扩展形式（§7.4.2.1）执行。 
206
207  
208
209
210* * *
211
212[1]  也就是  P  并不是方法的类型参数列表所列类型之一。</string></int></t></double></byte></int></t></t></t></x,y></t></t,u></u></int></int></u></t></t></t></int></t></u></t></t></t></t>