C# 4.0 元组是协变的吗

Question

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

假设我有 2 个基本接口：

IBaseModelInterface
IBaseViewInterface

和 2 个实现这些接口的接口：

ISubModelInterface : IBaseModelInterface
ISubViewInterface : IBaseViewInterface

如果我定义一个 Tuple我想根据返回 Tuple 的工厂的结果来设置它。

在 C# 3 中，即使子接口实现了基本接口，我也无法执行此操作。我非常确定，如果我使用 IEnumerable，C# 4 允许我执行此操作，因为它现在使用 in 关键字定义以允许协变。那么 Tuple 允许我这样做吗？

据我了解，协变仅在接口上允许，所以这是否意味着需要有一个 ITuple 接口？这存在吗？

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);

8 项后没有基元组，但应该足够了。