什么使 ValueTuple 协变？

Question

这在 C# 7.3 (Framework 4.8) 中正确编译：

(string, string) s = ("a", "b");
(object, string) o = s;

我知道这是以下内容的语法糖，它也可以正确编译：

ValueTuple<string, string> s = new ValueTuple<string, string>("a", "b");
ValueTuple<object, string> o = s;

所以，看起来 ValueTuples 可以被协变分配，这太棒了！

不幸的是，我不明白为什么：我的印象是 C#只支持接口和委托的协变。ValueType都不是。

事实上，当我尝试用我自己的代码复制这个功能时，我失败了：

struct MyValueTuple<A, B>
{
    public A Item1;
    public B Item2;

    public MyValueTuple(A item1, B item2)
    {
        Item1 = item1;
        Item2 = item2;
    }
}

...

MyValueTuple<string, string> s = new MyValueTuple<string, string>("a", "b");
MyValueTuple<object, string> o = s;
// ^ Cannot implicitly convert type 'MyValueTuple<string, string>' to 'MyValueTuple<object, string>'

那么，为什么ValueTuples 可以协变赋值，而MyValueTuples 不能呢？

Answer 1

我相信这里实际发生的是一个解构任务。元组赋值将尝试隐式转换它的组件，因为可以赋值string给object，这就是这里发生的事情。

该语言支持具有相同元素数量的元组类型之间的赋值，其中每个右侧元素都可以隐式转换为其对应的左侧元素。分配不考虑其他转换。

来源

在sharplab.io上查看