Наследование интерфейса и абстрактный метод переопределения

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

Что будет происходить в качестве ниже:

'Бетон' не реализует унаследовали абстрактный член «Base. get '

Я хочу пропустить отливку (IChildThing)this.Thing по всему классу Concrete. Что я должен был делать?

Answer 1

Вы не можете сделать это. Система типов справедливо возражает против того, что вы пытаетесь изменить тип метода в классе переопределения. IChildThing может происходить из IBaseThing, но это не одно и то же. Например, позже вы можете добавить несколько методов в IChildThing. Тогда один класс (Concrete) обещает вернуть объект с другой подписью, чем базовый класс, - это ошибка типа.

Если вам необходимо обратиться к IChildThing в некоторых случаях, как о чем-то вроде:

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

    public IChildThing ChildThing { get; set; } 
} 

Если все у вас есть это база, хотя, то вы не можете получить на IChildThing безопасно. Это характер сильно типизированной системы, подобной этой. Если это проблема, то, если вы дадите более конкретный пример, я могу предложить, как реструктурировать, чтобы избежать этой проблемы.

Answer 2

Попробуйте это решение:

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