一般的な方法と

Question

をキャストタイプIは、次の質問（と私は与えられた答えと同じようにそれを解決するだろう）読み：Passing derived type as argument to abstract class

をしかし、なぜ派生クラスからvalue属性を見つけることができないのですか？私は型キャストを追加しても、それはできません。型キャストと

public abstract class baseClass 
{ 
    public abstract float function<T>(T a, T b) where T:baseClass; 
} 

public class derived: baseClass 
{ 
    public override float function<derived>(derived a, derived b) 
    { 
     // Here value is not found 
     return a.value + b.value; 
    } 

    public float value; 
} 

例も動作していない（とアドバイス冗長型キャストが示されている）：

public abstract class baseClass 
{ 
    public abstract float function<T>(T a, T b) where T:baseClass; 
} 

public class derived: baseClass 
{ 
    public override float function<derived>(derived a, derived b) 
    { 
     // Here value is not found even with type cast 
     return ((derived)a).value + ((derived)b).value; 
    } 

    public float value; 
} 

Answer 1

宣言するているのでメソッドのジェネリック型パラメータコンパイラはこれがderived型であることを理解していません。新しいジェネリック型パラメータを導入したことはすべて分かっています。

型パラメータは再帰的に定義、実装するクラスである何がしたいF-bound polymorphismと呼ばれる、：

public abstract class BaseClass<T> where T : BaseClass<T> 
{ 
    public abstract float Function(T a, T b); 
} 

public class Derived : BaseClass<Derived> 
{ 
    public override float Function(Derived a, Derived b) 
    { 
     return a.Value + b.Value; 
    } 

    public float Value { get; set; } 
}