C＃：使用類泛型參數覆蓋泛型方法

Question

爲什麼這是不可能的？

abstract class A 
{ 
    public abstract T f<T>(); 
} 

class B<T> : A 
{ 
    public override T f() 
    { 
     return default (T); 
    } 
} 

錯誤：

does not implement inherited abstract member 'A.f<T>()' 
no suitable method found to override 

我知道，簽名必須是相同的，但是從我的角度我認爲沒有理由怎麼可能是錯的，這是被禁止的。 另外我知道另一個解決方案是使A泛型，而不是它的方法，但它由於某種原因不適合我。

Answer 1

B未履行合同A。

A允許用任何類型參數調用f來返回該類型。 B不允許使用類型參數調用f，並且只返回B類型參數的類型。

例如，假設你有一個B<int>並將其轉換爲A（這應該是可能的，因爲它是從它繼承的）。然後你打電話給f<bool>()（這應該是可能的，因爲它是A）。然後怎樣呢？底層的B<int>沒有可調用的方法。

B b = new B<int>(); 
// This is legal as B inherits from A 
A a = b; 
// This is a legal call, but how does b handle it? 
bool result = a.f<bool>(); 

Answer 2

這是不可能的，因爲這些方法有不同的簽名。 A.f是通用方法，B.f不是（它僅使用類泛型參數）。

你可以看到這種形式的調用者的角度：

A variableA = new A(); 
variableA.f<int>(); 

B<int> variableB = new B<int>(); 
variableB.f(); 

Answer 3

也許這是你打算做什麼：

abstract class A 
{ 
    public abstract T f<T>(); 
} 

class B<U> : A 
{ 
    public override T f<T>() //also needs to have a generic type parameter 
    { 
     throw new NotImplementedException(); 
    } 

    public U f() 
    { 
     return f<U>(); 
    } 
} 

用的一般方法類型參數和泛型類的類型參數（這裏T和U）沒有直接的連接，即T在基類中不限於U（或其他），並且不能在派生類中更改此限制。

Answer 4

在你的代碼的情況下

abstract class A 
{ 
    public abstract T f<T>(); 
} 

class B<T> : A 
{ 
    public override T f() 
    { 
     return default (T); 
    } 
} 

你有什麼期望在下面的代碼

public void Foo(A myObj) { 
    myObj.f<DateTime>(); 
} 
Foo(new B<int>()); 

被稱爲有因爲雖然類型合同該方法沒有實現（抽象類A）明確指出你需要一個實現。所以，你可以實現或變更合同使用類型參數在類級別

abstract class A<T> 
{ 
    public abstract T f(); 
} 

class B<T> : A<T> 
{ 
    public override T f() 
    { 
     return default (T); 
    } 
} 

並編譯但同時也限制了˚F當然

Answer 5

abstract class A 
{ 
    public abstract T f<T>(); 
} 

class B<T> : A 
{ 
    public override T f<T>() 
    { 
     return default (T); 
    } 
}