일반적인 방법과

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; } 
}