c# - 使用变量否定 'is' 运算符仅适用于 '!' 但不适用于 '== false'

Question

为什么(expr is type varname) == false给出编译错误，但 !(expr is type varname)编译？

public static void Foo(object o)
{
    if(!(o is string s))  // <-- Using '!'
    {
        return;
    }
    
    Console.WriteLine(s);  // <-- OK
    
}
public static void Bar(object o)
{
    if((o is string s) == false) // <-- Using '== false'
    {
        return;
    }
    
    Console.WriteLine(s);  // <--Error: Use of unassigned local variable 's'
}

现场示例: https://dotnetfiddle.net/nYF7b6

Answer 1

编译器(还)不够聪明，无法发现这种情况:它不会考虑诸如 == false 之类的因素。进入确定分配分析。
此 has been proposed然而，由语言设计团队之一(另请参阅那里的相关问题)。看起来他们目前正计划在 C# 10 中涵盖这一点。