使用泛型类型接口创建对象实例时编译错误

Question

我有一个接收泛型类型的接口，我们称它为 IFoo。该泛型类型被限制为由不同的接口 IBar 实现。这两个接口定义如下：

internal interface IFoo<out TBar> where TBar : IBar
{
}

internal interface IBar
{
}

然后我创建了两个类，每个类都实现了上面创建的接口：

internal class SpecificFoo : IFoo<SpecificBar>
{
}

internal class SpecificBar : IBar
{
}

一切正常，实例化 SpecificFoo 不会产生任何编译错误，因为在定义泛型类型 IBar 时使用了协变。

// No compile error and instantiation works!
IFoo<IBar> correctFoo = new SpecificFoo();

由于我总是使用接口 IFoo 和接口 IBar 来存储派生类的新实例，因此我的代码中到处都是 IFoo 类型的变量。为了简化这个定义，我为 IFoo 接口创建了第二个变体：

internal interface IFoo : IFoo<IBar>
{
}

问题是现在新对象的实例化不像以前那样工作了。

// Compile error!!
IFoo incorrectFoo = new SpecificFoo();

// Cast error!!
IFoo alsoIncorrectFoo = (IFoo)new SpecificFoo();

为什么编译器不够“聪明”，无法理解 IFoo 或具有泛型 IBar 的 IFoo 是同一件事？为什么演员表不起作用？

Answer 1

如果我理解这个问题，你需要让SpecificFoo实现IFoo

internal class SpecificFoo : IFoo<SpecificBar>, IFoo
{ .. }

这会让你

IFoo correctFoo = new SpecificFoo();
//and
IFoo<IBar> anotherFoo = correctFoo;