接泛型三
这篇文章是翻译的微软的技术文章.供学习c#的朋友参考，请勿用于商业目的。http://msdn.microsoft.com/vcsharp/team/language/default.aspx
20.6泛型方法
泛型方法是与特定类型相关的方法。除了常规参数，泛型方法还命名了在使用方法时需要提供的一组类型参数。泛型方法可以在类、结构或接口声明中声明，而它们本身可以是泛型或者非泛型的。如果一个泛型方法在一个泛型类型声明中被声明，那么方法体可以引用方法的类型参数和包含声明的类型参数。

class-member-declaration:（类成员声明：）

…

generic-method-declaration （泛型方法声明）



struct-member-declaration:（结构成员声明：）

…

generic-method-declaration（泛型方法声明）

interface-member-declaration:（接口成员声明：）

…

interface-generic-method-declaration（接口泛型方法声明）

泛型方法的声明可通过在方法的名字之后放置类型参数列表而实现。

generic-method-declaration:（泛型方法声明：）

generic-method-header method-body（泛型方法头 方法体）

generic-method-header:（泛型方法头：）

attributes opt method-modifiers opt return-type member-name type-parameter-list（formal-parameter-list opt ） type-parameter-constraints-clause opt

（特性可选 方法修饰符可选 返回类型 成员名 类型参数列表 （正式参数列表可选 ）类型参数约束语句可选）

interface-generic-method-declaration:（接口泛型方法声明：）

attributes opt new opt return-type identifier type-parameter-list

（formal-parameter-list opt） type-parameter-constraints-clauses opt ;

（特性可选 new可选 返回类型 标识符 类型参数列表 （正式参数列表可选） 类型参数约束语句可选 ；

类型参数列表和类型参数约束语句与泛型类型声明具有同样的语法和功能。由类型参数列表声明的类型参数作用域贯穿整个泛型方法声明，它可以被用于形成包括返回值、方法体和类型参数约束语句，但不包括特性。

方法的类型参数的名字不能与同一方法的常规参数名字相同。

下面的例子查找数组中的第一个元素，如果满足给定test委托则存在。泛型委托在§20.4种描述。

public delegate bool Test<T>(T item);

public class Finder

{

public static T Find<T>(T[] items , Test<T> test){

foreach(T item in items)

{

if(test(item)) return item;

}

throw new InvalidOperationException(“Item not found”);

}

}

泛型方法不能被声明为extern。所有其他修饰符在泛型方法上都是有效的。



20.6.1泛型方法签名
为了比较签名的目的，任何类型参数约束都将被忽略，就像是类型参数的名字，但类型参数的个数也是相应的，就像是类型参数从左到右的元素位置。下面的例子展示了这条规则影响下的方法签名。

class A{}

class B {}

interface IX

{

T F1<T>(T[] a , int i); //错误，因为返回类型和类型参数名字无关紧要，

void F1<U>(U[] a ,int i); //这两个声明都有相同的签名

void F2<T><int x>; //OK,类型参数的数量是签名的一部分

void F2(int x);

void F3<T>(T t) where T: A // 错误，约束不在签名考虑之列

void F3<T>(T t) where T:B:

}

泛型方法的重载采用一条与在泛型类型声明（§20.1.8）中管理方法重载相似的规则，进行了进一步的约束。两个使用相同名字和相同数量的类型实参的泛型方法声明不能有封闭类型实参的列表的参数类型，当它们以同样的顺序以相同的签名产生两个方法，被应用到相同顺序的两个方法上时。由于这条规则约束将不会被考虑。例如

class X<T>

{

void F<U>(T t , U u){…} //错误，X<int>.F<int> 产生了具有相同签名的两个方法

void F<U>(U u, T t){…} //

}

20.6.2虚拟泛型方法
泛型方法可以使用abstract，virtual和override修饰符声明。当匹配方法重写和接口实现时，将使用与§20.6.1中描述规则相匹配的签名。当泛型方法重写一个在基类中声明的泛型方法，或者实现基接口中的方法，为每个类型参数给定的约束必须在两个声明中是相同的，在这里方法类型参数将由原始位置从左到右而被标识。

abstract class Base

{

public abstract T F<T,U>(T t, U u);

public abstract T G<T>(T t) where T: IComparable;

}



class Derived:Base

{

public override X F<X,Y>(X x ,Y y){…} //OK

public override T G<T>(T t){…} //错误

}

F的重写是正确的，因为类型参数名字允许不同。G的重写是错误的，因为给定的类型参数约束(在这里没有约束)与被重写的方法不匹配。



20.6.3调用泛型方法
泛型方法调用可以显式指定类型实参列表，或者省略类型实参列表，而依靠类型推断来确定类型实参。方法调用的确切编译时处理，包括泛型方法调用，在§20.9.5中进行了描述。当泛型方法不使用类型参数列表调用时，类型推断将按§20.6.4中所描述的进行。

下面的例子展示在类型推断和类型实参替代参数列表后，重载决策是如何发生的。

class Test

{

static void F<T>(int x , T y)

{

Console.WriteLine(“One”);

}

static void F<T>(T x , long y)

{

Console.WriteLine(“two”);

}

static void Main()

{

F<int>(5,324);