有机会合法投吗？

Question

这是我第一次在这里发布问题，所以提前感谢任何能帮助我的人（也许还有其他人）。

今天，我对 C# 4 中的协变和逆变感到困惑，但我真的看不到任何做我想做的事情的可能性。 注意：所有这些都不是为了解决特定问题，但我想知道是否有任何合法的方法（C# 4 中的全新 co/contra-variance）来解决它。 所以，不要疯狂......

这里是示例代码：

public interface IBase<in T>
{
    T GetValue();
    ...
}


public class Readable<T> : IBase<T>
{
    public T GetValue() {/* */}
    ...
}


public class Writeable<T> : IBase<T>
{
    public T GetValue() {/* */}
    public void SetValue(T value) {/* */}
    ...
}


public class Program
{
    private List<IBase<object>> _collection = new List<IBase<object>>();


    public static void Main()
    {
        var p = new Program();

        p._collection.Add(new Readable<bool>());    //not allowed
    }
}

该集合应该能够托管任何 IBase 衍生品，即任何 T 的衍生品。 当然，我可以使用非泛型集合或列表，然后游戏就结束了。 另一个想法是有一个更通用的接口IBaseCore，然后IBase继承自。 我的问题是：如果没有这些技巧，我可以实现拥有 IBase 的集合并添加任何 IBase 的项目吗？

谢谢大家。

Answer 1

编辑：首先，您的方差对于 IBase 是错误的。它应该是out T（协变）而不是in T（逆变）。

这里的问题很简单，泛型协变和逆变不适用于作为类型参数的值类型。因此，您可以添加 Readable，但不能添加 Readable。

一种选择是拥有一个非通用基接口：

public interface IBase
{
    object GetValueAsObject();
}

public interface IBase<out T> : IBase
{
    T GetValue();
    ...
}

然后您可以拥有一个 List。