从通用接口继承的通用基类

Question

出于某种原因，我正在努力通过使用通用基类从通用接口实现属性，如下所示：

public interface IParent<TChild> where TChild : IChild
{
    TChild Child { get; }
}

public interface IChild { }

然后我有一个基类：

public class ParentBase<TChild> : IParent<TChild> where TChild : IChild
{
    private TChild _child;
    public ParentBase(TChild child)
    {
        this._child = child;
    }
    #region IParent<TChild> Members

    public TChild Child
    {
        get { return _child; }
    }

    #endregion
}

现在我有一个新的Parent Derivative和Child对象，如下所示：

public class MyChild : IChild { }

public class MyParent : ParentBase<MyChild>, IParent<IChild> 
{
    public MyParent(MyChild child)
        : base(child)
    {
    }
}

我想实例化它并获取抽象（接口类型）传递给消费者，如下所示：

IParent<IChild> parent = new MyParent(new MyChild());

但由于某些原因我无法正确实现TChild，即使我在public TChild Child上定义了属性public TChild Child ，编译器也表示它没有实现，即使我尝试显式实现。 正如您所看到的，约束一直到基类。

Answer 1

您从ParentBase<MyChild>和IParent<IChild> 。 没有实施

IParent<IChild> { IChild Child{get; } }

添加显式实现将允许您的原始代码进行编译

public class MyParent : ParentBase<MyChild>, IParent<IChild>
{
    public MyParent(MyChild child)
        : base(child)
    {
    }

    #region Implementation of IParent<IChild>

    IChild IParent<IChild>.Child
    { 
        get { return base.Child; }
    }

    #endregion
}

如果你也像这样做IParent协变：

public interface IParent<out TChild> where TChild : IChild
{
    TChild Child { get; }
}

那么你现在可以做到这一点

IParent<IChild> parent = new MyParent(new MyChild());

要么

ParentBase<MyChild> parent2 = new MyParent(new MyChild());

和

IParent<IChild> parent3 = parent2;

正如@svick在答案中指出的那样，通过协方差，您可以通过不从IParent<IChild>派生并删除显式接口实现来简化。

Answer 2

这正是通用方差有用的地方。 如果您将IParent intera标记为协变：

public interface IParent<out TChild> where TChild : IChild

并从MyParent删除了IParent<IChild>的显式派生：

public class MyParent : ParentBase<MyChild>

然后可以将MyParent视为实现IParent<IChild> 。 例如，以下代码可以工作：

MyParent parent = new MyParent(new MyChild());
IParent<IChild> iParent = parent;

Answer 3

如果消费者需要使用IChild而不是TChild，你能不能摆脱通用接口？

public interface IParent
{
    public IChild Child { get; }
}

然后你的继承工作得很好

public class ParentBase<TChild> : IParent where TChild : IChild
{
    public IChild Child { get { return myChild; } }
}

和

public class MyParent : ParentBase<MyChild> // already implements IParent by the base doing so.
{
}