c# - 如何解构可空元组？

Question

我正在使用启用了 NullableContextOptions(可空引用)的 C# 8.0。

我有一个带有此签名的函数:

public static (int line, string content)? GetNextNonEmptyLineDown(this IList<string> contents, int fromLine)

基本上，如果有非空行，它返回行和内容，如果没有则返回。

问题是我不知道如何解构它。如果我尝试:

var (firstLineIndex, firstLine) = content.GetNextNonEmptyLineDown(0);

我收到 4 个语法错误:



所以我只能使用:

        var lineInfo = content.GetNextNonEmptyLineDown(0);

        var firstLineIndex =  lineInfo.Value.line;
        var firstLine = lineInfo.Value.content;

这破坏了目的。 lineInfo 是 struct<T> where T is (int line, string content) 类型

无论如何要解构一个可为空的元组？

编辑:发布问题后，我想到允许解构可空元组是没有意义的，因为可能无法确定变量的数据类型。这是我目前的修复，但想知道这是否是最好的方法:

        var lineInfo = content.GetNextNonEmptyLineDown(0);

        if (lineInfo == null)
        {
            throw new Exception();
        } 

        var (firstLineIndex, firstLine) = lineInfo.Value;

Answer 1

来自 this question on nullable types :

Any Nullable is implicitly convertible to its T, PROVIDED that the entire expression being evaluated can never result in a null assignment to a ValueType.

所以你要找的是在解构的右边放置一个肯定非空的表达式。一个优雅的方法是:

var (firstLineIndex, firstLine) = lineinfo ?? default;

?? 是 null-coalescing operator :如果它不为空，则返回其左侧的值，否则返回其右侧的值。
我们放在右边的是 default operator ，它很好地将其返回类型与周围的表达式相匹配。

请注意，default 的使用主要是为了取悦编译器，您可能不希望在运行时实际使用该值。您仍然应该事先检查 null。