C# 4.0 元组是协变的吗

Question

（我会自己检查一下，但我还没有 VS2010）

假设我有 2 个基本接口：

IBaseModelInterface
IBaseViewInterface

以及实现这些的 2 个接口：

ISubModelInterface : IBaseModelInterface
ISubViewInterface : IBaseViewInterface

如果我定义一个Tuple<IBaseModelInterface, IBaseViewInterface>，我想根据返回Tuple<ISubModelInterface, ISubViewInterface> 的工厂的结果来设置它。

在 C# 3 中，即使子接口实现了基本接口，我也无法做到这一点。而且我很确定如果我使用 IEnumerable<IBaseModelInterface>，C# 4 允许我这样做，因为它现在使用 in 关键字定义以允许协方差。那么Tuple 允许我这样做吗？

据我了解（很少），协方差只允许在接口上使用，这是否意味着需要有一个ITuple<T1, T2> 接口？这存在吗？

Answer 1

Tuple 是一个类（嗯，是一个类族）——根据定义它是不变的。正如您稍后提到的，只有接口和委托类型支持 .NET 4 中的泛型变化。

我知道没有ITuple 接口。可能有一个是协变的，因为元组是不可变的，所以你只能从 API 中获取值。

Answer 2

您可以从元组继承来创建自己的协变元组。这样您就不必重写自己的等式逻辑。

public interface ICovariantTuple<out T1>
{
    T1 Item1 { get; }
}
public class CovariantTuple<T1> : Tuple<T1>, ICovariantTuple<T1>
{
    public CovariantTuple(T1 item1) : base(item1) { }
}

public interface ICovariantTuple<out T1, out T2>
{
    T1 Item1 { get; }
    T2 Item2 { get; }
}
public class CovariantTuple<T1, T2> : Tuple<T1, T2>, ICovariantTuple<T1, T2>
{
    public CovariantTuple(T1 item1, T2 item2) : base(item1, item2) { }
}

etc.... for 3, 4, 5, 6, 7, 8 items

编译失败

Tuple<Exception> item = new Tuple<ArgumentNullException>(null);

编译成功

ICovariantTuple<Exception> item = new CovariantTuple<ArgumentNullException>(null);

There is no base Tuple after 8 items，不过应该够用了。