当两者上的类型参数在 C# 中实现公共接口时，如何将泛型转换为它实现的接口

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，并且Container<T> 中的T 保证实现IThing，看来我应该能够执行此转换。

Answer 1

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

确实如此。

由于Thing 实现了IThing，并且Container<T> 中的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 的东西不能接受任意的Fruits。但是只需要Fruit的东西确实接受所有Apples。