IList在c#中使用协变和逆变，这可能吗？

Question

这可能吗？ （我没有 vs. 2010，所以我无法自己尝试，抱歉）

public interface IComplexList<out TOutput, in TInput> where TOutput : TInput
{
    public IEnumerator<TOutput> GetEnumerator();
    public void Add(TInput item);
}

public interface IList<T> : IComplexList<T, T>
{
}

如果我做对了，您可以使用它在同一接口中实际实现协变和逆变。

Answer 1

好吧，由于现有的 IList 类型，您的问题有点令人困惑。 但是，以下确实可以编译：

public interface IComplexList<out TOutput, in TInput> where TOutput : TInput
{
    IEnumerator<TOutput> GetEnumerator();
    void Add(TInput item);
}

public interface ISimpleList<T> : IComplexList<T, T>
{
}

您甚至可以更改它以扩展IEnumerable：

public interface IComplexList<out TOutput, in TInput>
    : IEnumerable<TOutput>
    where TOutput : TInput
{        
    void Add(TInput item);
}

public interface ISimpleList<T> : IComplexList<T, T>
{
}

索引器很棘手，因为您需要涉及不同的类型。 您可以这样做：

TOutput Get(int index);
void Set(int index, TInput item);

然后将索引器放入 ISimpleList 而不是当然...

但这并不能让您以不同方式使用 ISimpleList ，因为您基本上强制 TInput=TOutput。

另一种方法是将输入与输出分开：

public interface IReadableList<out T> : IEnumerable<T>
{
    T Get(int index);
}

public interface IWritableList<in T>
{
    void Add(T item);
    void Set(int index, T item);
}

 public interface IMyList<T> : IReadableList<T>, IWritableList<T> {}

然后您可以编写：

public void Foo(IWritableList<string> x) { ... }

IMyList<object> objects = new MyList<object>();
Foo(objects);

对于 IReadableList 反之亦然。 换句话说，您允许每一方单独存在差异，但永远不会同时获得两侧的差异。

Answer 2

不，你不能。 在您的示例中 IList 是不变的。 IList 需要将 in/out 声明为协变/逆变。 仅通过继承一些协变的接口是不可能做到这一点的。

Answer 3

如果读写属性的实现也被视为只读属性的实现，则可以通过从 IReadableList(of Out T) 和 IAddableList(的 T）。 假设这些接口在定义之前仅包含 IList(Of T) 中存在的成员，则实现 IList(Of T) 的代码将自动实现这些其他成员。 不幸的是，要使 IReadableList 协变，它必须具有只读索引器属性； IList 中读写属性的实现无法替代。 因此，让 IList(Of T) 从可用的 IReadableList(Of Out T) 继承将破坏 IList(Of T) 的所有实现。