接泛型三
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-clause opt-clause opt（clause opt-clause opt-clause opt-clause opt（3use）成員名稱類型參數清單（正式參數清單可選）類型參數約束語句可選）
interface-generic-method-declaration:（介面泛型方法宣告：）
attributes opt new opt return-type identifier type-parameter-list
（formal-parameter-list opt） type-parameter-constraints-clauses opt ;
（特性可選new可選回型別標識符類型參數清單（正式參數清單選用） 型別參數約束語句可選；
型別參數參數列表和類型參數約束語句與泛型類型聲明具有相同的語法和功能。約束語句，但不包含特性。型委託在§20.4種描述。的目的，任何類型參數約束都將被忽略，就像是類型參數的名字，但類型參數的個數也是相應的，就像是類型參數從左到右的元素位置。規則影響下的方法簽章。相同名字和相同數量的類型實參的泛型方法聲明不能有封閉類型實參的列表的參數類型，當它們以同樣的順序以相同的簽名產生兩個方法，被應用到相同順序的兩個方法上時。實作時，將使用與§20.6.1中描述規則相符的簽章。當泛型方法重寫一個在基底類別中宣告的泛型方法，或實作基底介面中的方法，為每個類型參數給定的限制必須在兩個宣告中是相同的，在這裡方法類型參數將由原始位置從左到右而被標識。
abstract class Base
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”);
}
}登入後複製
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); //ok,打印“one”
F<byte>(5,324); //ok, 打印“two”
F<double>(5,324); //错误，模糊的
F(5,324); //ok,打印“one”
F(5,324L); //错误，模糊的
}
}登入後複製
20.6.4类型实参推断
当不指定类型实参而调用泛型方法时，类型推断（type inference）处理将试图为调用推断类型实参。类型推断的存在可以让调用泛型方法时，采用更方便的语法，并且可以避免程序员指定冗余的类型信息。例如，给定方法声明
class Util
{
static Random rand = new Random();
static public T Choose<T>(T first , T second)
{
return (rand.Next(2) == 0)?first:second
}
}登入後複製
不显式指定类型实参而调用 Choose方法也是可以的。
int i = Util.Choose(5,123); //调用Choose<int>
string s = Util.Choose(“foo”,”bar”);//调用Choose<string>
登入後複製
通过类型推断，类型实参int和string 将由方法的实参确定。
类型推断作为方法调用（§20.9.5）编译时处理的一部分而发生，并且在调用的重载决策之前发生。当在一个方法调用中指定特定的方法组时，类型实参不会作为方法调用的一部分而指定，类型推断将被应用到方法组中的每个泛型方法。如果类型推断成功，被推断的类型实参将被用于确定后续重载决策的实参类型。如果重载决策选择将要调用的泛型方法，被推断的类型实参将被用作调用的实际类型实参。如果特定方法类型推断失败，这个方法将不参与重载决策。类型推断失败自身将不会产生编译时错误。但当重载决策没能找到适用的方法时，将会导致编译时错误。
如果所提供的实参个数与方法的参数个数不同，推断将立刻失败。否则，类型推断将为提供给方法的每个正式实参独立地发生。假定这个实参的类型为A，对应参数为类型P。类型推断将按下列步骤关联类型A和P而。
如果以下任何一条成立，将不能从实参推断任何东西（但类型推断是成功的）
- P和方法的任何类型参数无关[1]
- 实参是null字符
- 实参是一个匿名方法
- 实参是一个方法组
如果P是一个数组类型，A是一个同秩（rank）的数组类型，那么使用A和P的元素类型相应地替换A和P，并重复这个步骤。
如果P是一个数组类型，而A 是一个不同秩的数组类型，那么泛型方法的类型推断失败。
如果P是方法的类型参数，那么对于这个实参的类型推断成功，并且A是那个类型实参所推断的类型。
否则，P必须是一个构造类型。如果对于出现在P中的每个方法类型参数MX ，恰好可以确定一个类型TX，使用每个TX替换每个MX ，这将产生一个类型，对于这个类型，A可以通过标准的隐式转换而被转换，那么对于这个实参的类型推断成功，对于每个MX，TX 就是推断的类型。方法类型参数约束（如果有的话），因为类型推断的原因将会被忽略。如果对于一个给定的MX 没有TX存在或者多于一个TX存在 ，那么泛型方法的类型推断将会失败（多于一个TX 存在的情形只可能发生在，P是一个泛型接口类型，并且A实现了接口的多个构造版本）。
如果所有的方法实参都通过先前的算法进行了处理，那么从实参而来的所有推断都将被汇聚。这组推断必须有如下的属性。
方法的每个类型参数必须有一个为其推断的类型实参。简而言之，这组推断必须是完整的（[/b]complete[/b]）[/b];
如果类型参数出现多于一次，那么对那个类型参数的所有的推断都必须推断相同的类型实参。简而言之，这组接口必须是一致的（[/b]consistent[/b]）[/b]。
如果能够找到一组完整而一致的推断类型实参，那么对于一个给定的泛型方法和实参列表，类型推断就可以说是成功的。
如果泛型方法使用参数数组（§10.5.1.4）声明，那么类型推断针对方法将以其通常的方式执行。如果类型推断成功，结果方法是可用的，那么方法将以其通常形式对于重载决策是可行的。否则，类型推断将针对方法的扩展形式（§7.4.2.1）执行。
[1]也就是P并不是方法的类型参数列表所列类型之一。
以上就是C# 2.0 Specification (泛型四)的内容，更多相关内容请关注PHP中文网（www.php.cn）！
