Question

请考虑以下代码：

public class Thing : IThing { }

public interface IThing {}

public interface IContainer<out T> where T : IThing { }

// This works
// public class Container<T> : IContainer<T> where T : IThing { }

// This doesn't work
public class Container<T> : IContainer<IThing> where T : IThing {}

internal class Program
{
  private static void Main(string[] args)
  {
    var concreteContainer = new Container<Thing>();
    var abstractContainer = (IContainer<Thing>) concreteContainer;
  }
}

在这一行：

var abstractContainer = (IContainer<Thing>) concreteContainer;

您收到以下运行时错误： InvalidCastException: Unable to cast object of type 'CastTest.Container`1[CastTest.Thing]' to type CastTest.IContainer`1[CastTest.Thing]'.

如果你有Resharper，它会抱怨Suspecious cast: there is no type in the solution which is inherited from both 'Container<Thing>' and 'IContainer<Thing>'。

为什么需要一个继承自两者的类型？ Container<T> IContainer<IThing>没有实现Thing？由于IThing实现了T，并且Container<T>中的IThing可以保证实现{{1}}，所以看起来我应该可以执行此操作。

Answer 1

没有Container<T>实施IContainer<IThing>？

确实如此。

由于Thing实现了IThing，并且T中的Container<T>可以保证实现IThing，所以看起来我应该可以执行此操作。

out反过来工作。 out表示如果类型实现IContainer<Thing>，它也会自动实现IContainer<IThing>。反之亦然。

它被称为out，因为它可以返回一些东西。例如，你可能有

interface IThing<out T> {
    T Prop { get; }
}

现在，IContainer<Apple>会自动实施IContainer<Fruit>，IContainer<Banana>也会自动实施IContainer<Fruit>。这是有效的，因为返回Apple的内容可以解释为返回Fruit。但是，如果您只知道它返回Fruit，则您不知道Fruit是否为Apple。

in按您提出的方式运作。例如，你可能有

interface IThing<in T> {
    void Act(T t);
}

现在，IContainer<Apple> 不自动实施IContainer<Fruit>。这是因为需要Apple的某些内容无法接受任意Fruit s。但只需要Fruit 的内容接受所有Apple。

当两个类型参数在C＃中实现公共接口时，如何将泛型强制转换为它实现的接口

1 个答案: