c# - 新的 is 模式匹配语法可以与现有变量一起使用吗？

Question

我有现成的代码:

    internal bool firstAsSymbol(out Symbol s)
    {
        return (s = first as Symbol) != null;
    }

我可以使用新的is语法，但是我需要引入局部变量:

    internal bool firstAsSymbol(out Symbol s)
    {
        var result = first is Symbol sym;
        s = sym;
        return result;
    }

编辑:事实上，上面的代码无法编译! sym 可能未在 s = sym; 行中定义。所以情况更糟:您必须使用 if 语句并在 then 和 else 子句中分配 s。 (它确实试图让 sym 有效地触及正确的子句)。

有没有更简单的替代方案(当然除了原始代码之外)？

Answer 1

正如您所发现的，通过 is T 表达式引入的变量在表达式行之后的范围内结束，但由于它们可能未被赋值而无法使用。

这背后的原因是由于新的 out var 功能。为了使该功能按照他们想要的方式工作，语言团队允许 out var 变量泄漏到周围的范围中。然后他们决定允许 is T 变量以同样的方式泄漏，即使它们不能在那个外部范围内使用，因为它们可能没有被赋值。

我最近写了一篇关于这种令人遗憾的事态的文章:C# 7, “out var” and changing variable scope .

至于如何重写代码以利用 C# 7 的功能，一种方法是使用元组:

internal (bool, Symbol) FirstAsSymbol() =>
    first is Symbol sym ? (true, sym) : (false, null);

但实际上，值得查看调用 FirstAsSymbol 的代码，看看那是否可以更好地利用新功能。