인터페이스 상속 및 추상 메서드 재정의

Question

인터페이스의 계층 구조가 IBaseThing<T> 및 IChildThing:IBase<ChildThing> 인 경우를 가정 해 보겠습니다.

internal abstract class Base<T> 
{ 
    public abstract IBaseThing<T> Thing {get;} 
} 

및

internal class Concrete:Base<ChildThing> 
{ 
    public override IChildThing Thing 
    { 
     get 
     { 
      return GetChildThing(); 
     } 
    } 
} 

은 무엇 일어날 것은 짖는 소리입니다 :

'콘크리트'구현하지 않습니다 상속 추상적 회원 '자료 은 또한이 같은 두 개의 클래스가 있습니다. '

나는 클래스 전체에 (IChildThing)this.Thing 캐스팅을 건너 뛰고 싶습니다. 내가해야 할 일은 무엇입니까? 당신은 할 수 없습니다

public interface IBaseThing {} 

public interface IChildThing : IBaseThing {} 

internal abstract class Base<T> where T : IBaseThing 
{ 
    public abstract T Thing {get;} 
} 

internal class Concrete:Base<IChildThing> 
{ 
    public override IChildThing Thing 
    { 
     get 
     { 
      return GetChildThing(); 
     } 
    } 

    public IChildThing GetChildThing() 
    { 
     // Your impelementation here... 
     return null; 
    } 
} 

Answer 1

:

Answer 2

이 솔루션을 사용해보십시오. 타입 시스템은 겹쳐 쓰는 클래스에서 메소드 타입을 변경하려고 시도하는 것을 반대합니다. IChildThing은 IBaseThing에서 파생 될 수 있지만 동일한 것은 아닙니다. 예를 들어 나중에 IChildThing에 몇 가지 메소드를 추가 할 수 있습니다. 그런 다음 한 클래스 (Concrete)는 기본 클래스와 다른 서명으로 반환 된 객체를 약속합니다. 이는 유형 오류입니다. 당신이 가진 모든 비록 자료의 경우

internal class Concrete : Base<ChildThing> 
{ 
    public override IBaseThing<ChildThing> Thing 
    { 
     get { return ChildThing; } 
    } 

    public IChildThing ChildThing { get; set; } 
} 

, 당신은 안전하게 IChildThing 얻을 수 없습니다와 같은 것에 대해 어떻게

당신이 어떤 경우에 IChildThing을 참조해야하는 경우

. 이것이 바로 이와 같은 강력한 유형의 시스템의 특성입니다. 그게 문제라면, 당신이 좀 더 구체적인 예를 든다면 그 문제를 피하기 위해 구조 조정 방법을 제안 할 수있을 것입니다.