37

这在 C# 7.3（框架 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 不能呢？

4

1 回答 1

27

我相信这里实际发生的是一个解构任务。元组分配将尝试隐式转换其组件，并且可以分配string给object，这就是这里发生的事情。

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

来源

在sharplab.io 上查看

于 2019-12-19T14:12:34.223 回答