當通用參數類型必須爲擴展方法明確指定時，有哪些規則？

Question

關於下列擴展方法：

public static class Extensions 
{ 
    public static void P<T>(this T value) { } 

    public static TResult F<T, TResult>(this T value) 
    { 
     return default(TResult); 
    } 
} 

當我嘗試用不同類型的參數選項使用這些，我得到如下結果：

1.P(); // Compiler just fine 
1.P<int>(); // R# says "Type argument specification is redundant" 
var x = 1.F<int, int>(); // Compiler just fine 
var y = 1.F<int>(); // Compiler error: Incorrect number of type parameters 

那麼怎麼來的編譯器可以推斷類型T爲P，但不能推斷出相同的F？圍繞這種推理的規則是什麼？有沒有一種方法可以避免需要指定這樣的類型？

Answer 1

C＃5.0規範的第7.5.2節涵蓋了類型推斷，並且通過了所有確定類型推斷何時可以和不可能成功的規則。

至於你的兩個例子，第一種情況是有一個正在被推斷的類型的參數，它允許它被推斷，而在你的第二個例子中你有一個沒有上下限的類型參數，因爲沒有參數以任何形式使用該類型，允許將上限或下限應用於它。

請注意，無法推斷方法的一些泛型類型參數，但不是全部。要麼他們都可以推斷出來，要麼全部都必須明確提供，這就是爲什麼當爲期待兩個方法的方法提供一個泛型類型參數時出現錯誤的原因，即使其中一個可能被推斷。