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的代码，看看是否可以更好地利用新功能。

Answer 2

正如我在问题评论中所认识到的那样，它似乎是呼叫网站：

exprs.firstAsSymbol(out var s)

可以更改为：

exprs.first is Symbol s

编辑：除了我在问题编辑中提到的问题：当模式匹配失败时，您不能假设s == null。

事后看来，例程应该被称为firstIsSymbol： - ）