接口和泛型的两种方式引用

Question

我有一个带有泛型的类，它使用另一个类，而该类又需要知道初始类的哪个实例“拥有”它 - 这会导致问题；）让我举一个例子：

public interface IFoo<T>
{
}

public interface IBar
{
    IFoo<IBar> Foo { get; set; }
}

public class Foo<T> : IFoo<T> where T : IBar, new()
{
    private readonly T _bar;
    public Foo()
    {
        _bar = new T {Foo = this};
    }
}

class Bar : IBar
{
    public IFoo<IBar> Foo { get; set; }
}

这不起作用，因为 Foo = this不起作用 - 即使我尝试将其转换为 IFoo （编译但在运行时失败）。我尝试以各种方式调整代码，但我还没有找到有效的实现...

希望您看到我正在尝试做的事情，也许您甚至看到我如何实现这一点;-)

Answer 1

您可以通过组合构造函数中的显式强制转换以及 c#4.0 对泛型参数协方差的支持来解决此问题。

首先，您需要在 Foo 构造函数中插入强制转换：

_bar = new T {Foo = (IFoo<IBar>)this};

但仅仅这样做还不够。您对 T : new() 的约束意味着 T 需要是一个具体的类。因此，IFoo 永远不会完全是 IFoo。但是，如果您指定 IBar 的通用参数 T 是协变的，则从 IFoo 到 的转换>IFoo 将变得合法：

public interface IFoo<out T>

out 关键字指定该参数是协变的（本质上意味着“该参数只会通过方法输出，从不输入。”）

这篇 MSDN 文章 提供了有关协变和逆变的更多详细信息。

Answer 2

将 IFoo 的 T 类型参数声明为协变可以解决您的问题吗？
这段代码应该允许你做你正在尝试的事情：

public interface IFoo<out T> {
}

public interface IBar {
    IFoo<IBar> Foo { get; set; }
}

public class Foo<T> : IFoo<T> where T : IBar, new() {
    private readonly T _bar;
    public Foo() {
        _bar = new T { Foo = (IFoo<IBar>)this };
    }
}

class Bar : IBar {
    public IFoo<IBar> Foo { get; set; }
}

public static class Program {

    public static void Main(params string[] args) {
        Bar b = new Bar();
        Foo<Bar> f = new Foo<Bar>();
    }

}