C#7:如何使用元组将对象解构为单个值？

Question

C#7的一个很好的新功能是可以为类定义解构器,并将解构的值直接赋值给元组.

但是,在将对象解构为单个值的情况下,我找不到将其分配给元组的方法.虽然有一个带有单个元素(ValueTuple<T>)的元组类型,但是使用括号的简写语法在这里不起作用.我发现访问解构函数的唯一方法是Deconstruct直接调用该方法,但这消除了它的好处,因为我可以使用任何方法来实现这一目的.

有没有人知道将对象解构为单个值的更好方法？

这是我的测试代码:

class TestClass
{
    private string s;
    private int n;
    public TestClass(string s, int n) => (this.s, this.n) = (s, n);
    public void Deconstruct(out string s) => s = this.s;
    public void Deconstruct(out string s, out int n) => (s, n) = (this.s, this.n);
}

static void Main(string[] args)
{
    var testObject = new TestClass("abc", 3);

    var (s1) = testObject; // sytax error (comma expected)
    ValueTuple<string> t = testObject; // error: "no implicit conversion from TestClass to (string)"
    testObject.Deconstruct(out string s2); // this works
    var (s3, n) = testObject; // no problem

    Console.WriteLine($"{s1} {t.Item1} {s2} {s3} {n}");
    Console.ReadKey();
}

Answer 1

虽然有一个带有单个元素(ValueTuple<T>)的元组类型,但是使用括号的简写语法在这里不起作用.

那是对的.元组语法仅适用于2个或更多值的元组,因此Deconstruct只有一个out参数的方法不是很有用.(甚至有ValueTuple0个元素的类型)

最短的解决方案是忽略第二个参数:

var (s1, _) = testObject;

编辑:根据评论,稍作澄清.
从C#7开始,_在这种情况下不再是变量.这是一项名为'discard'的新功能.
即使您有多个输出参数(即使它们是不同的类型),您也可以使用下划线忽略它们中的任何一个:

var (s1, _, _, _) = testObject;

Answer 2

C# 7.0 不支持解构为单个元素。

不清楚为什么需要这种机制，因为您可以简单地访问属性或编写转换运算符来实现相同的目的。

从概念上讲，一个元素的元组就是那个元素（你不需要元组来保存它）。所以没有元组语法（使用括号表示法）来促进这一点（更不用说它在语法上会很模糊）。这同样适用于解构。

以下是我能找到的最相关的 LDM 笔记：2017-03-15（零和一元素元组和解构）。

在未来的某些递归模式场景中，这种解构可能会被允许，但尚未最终确定。