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 个或更多值的元组，因此只有一个 out 参数的 Deconstruct 方法不是很有用。 （对于 0 个元素，甚至还有 ValueTuple 类型）

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

var (s1, _) = testObject;

编辑：基于 cmets，稍作澄清。
从 C# 7 开始，_ 在这种情况下不再是变量。这是一项名为“丢弃”的新功能。
即使您有多个输出参数（即使它们是不同的类型），您也可以使用下划线忽略它们中的任何一个：

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

Answer 2

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

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

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

这是我能找到的最相关的 LDM 注释：2017-03-15（零和一元素元组和解构）。

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