有没有办法使用 C# 4 中新的协/逆变来实现这种类型层次结构？

Question

假设我有一个像这样的句柄类：

interface IHasHandle<TObject> {
     IHandle<TObject> Handle { get; }
}

interface IHandle<out TObject> {
     TObject Value { get; }
}

我想使用这个类为我提供层次结构中最派生的输出类型。我现在的样子：

interface IAnimal : IHasHandle<IAnimal> { ... }

interface IMammal : IAnimal, IHasHandle<IMammal> { ... }

interface IFeline : IMammal, IHasHandle<IFeline> { ... }

class Tiger : IFeline {
     IHandle<IAnimal> IHasHandle<IAnimal>.Handle { get { ... } }
     IHandle<IMammal> IHasHandle<IMammal>.Handle { get { ... } }
     IHandle<IFeline> IHasHandle<IFeline>.Handle { get { ... } }
     public IHandle<Tiger>   Handle { get { ... } }
}

这意味着当我有一个 IAnimal 时，我总是可以得到 IHandle，当我有 IMammal 时，我可以得到 IHandle 等等。

有没有人对这个结构有任何一般性评论或关于如何避免拥有的想法每种可能的实施？

Answer 1

即使在 .NET 4.0 之前，也可以执行以下操作：

interface IAnimal<TSpecies> : IHasHandle<TSpecies> where TSpecies : IAnimal<TSpecies> { ... }

interface IMammal<TSpecies> : IAnimal<TSpecies> where TSpecies : IMammal<TSpecies> { ... }

interface IFeline<TSpecies> : IMammal<TSpecies> where TSpecies : IFeline<TSpecies> { ... }

class Tiger : IFeline<Tiger> {
    IHandle<Tiger> IHasHandle<Tiger>.Handle { get { ... } }
}

当然，这不会阻止您创建一些 class EvilCat : IFeline，但它提供了一种很好的摆脱方法Tiger 中额外不需要的 Handle 实现。如果您在此代码示例中将 IHasHandle 泛型参数声明为 out 1，则您将能够强制转换 Tiger （它实现例如，将 IHasHandle) 转换为 IHasHandle。