在c# 7中,我们可以使用

if (x is null) return;

而不是

if (x == null) return;

使用新方法(前一个例子)比旧方法有什么优点吗?

语义有什么不同吗?

只是品味的问题吗?如果不是,什么时候我应该使用一个而不是另一个?

参考:c# 7.0的新功能。


当前回答

当您尝试将非空变量与空值进行比较时,还有一个区别。当使用==时,编译器将发出警告,而当使用is时,编译器将发出错误。大多数情况下,99%的情况下,您希望编译器因为这样一个基本的错误而对您大喊大叫。+1 for为空。

附注:在https://dotnetfiddle.net/上用NetCore3.1测试

其他回答

更新:Roslyn编译器已经更新,当没有重载相等操作符时,两个操作符的行为相同。请参阅当前编译器结果中的代码(代码中的M1和M2),其中显示了没有重载相等比较器时会发生什么。它们现在都有更好的执行==行为。如果有重载的相等比较器,代码仍然不同。

有关Roslyn编译器的旧版本,请参阅下面的分析。


对于null,它与我们在c# 6中使用的没有区别。然而,当将null更改为另一个常数时,事情就变得有趣了。

举个例子:

Test(1);

public void Test(object o)
{
    if (o is 1) Console.WriteLine("a");
    else Console.WriteLine("b");
}

测试结果是a。如果你将它与你正常写的o == (object)1进行比较,它确实有很大的不同。是考虑到比较的另一方的类型。太酷了!

我认为== null vs. is null常量模式是非常熟悉的“偶然”,其中is操作符和等于操作符的语法产生相同的结果。


正如svick所评论的,is null调用系统。Object::Equals(Object, Object),其中==调用ceq。

IL为:

IL_0000: ldarg.1              // Load argument 1 onto the stack
IL_0001: ldnull               // Push a null reference on the stack
IL_0002: call bool [mscorlib]System.Object::Equals(object, object) // Call method indicated on the stack with arguments
IL_0007: ret                  // Return from method, possibly with a value

我代表==:

IL_0000: ldarg.1              // Load argument 1 onto the stack
IL_0001: ldnull               // Push a null reference on the stack
IL_0002: ceq                  // Push 1 (of type int32) if value1 equals value2, else push 0
IL_0004: ret                  // Return from method, possibly with a value

因为我们讨论的是null,所以没有区别,因为这只对实例有影响。当重载相等运算符时,这可能会改变。

重载等于运算符

实际上,当您将null与重载了==操作符的类型进行比较时,这两种比较在语义上是不同的。Foo is null将使用直接引用比较来确定结果,而Foo == null当然会运行重载的==操作符(如果存在的话)。

在这个例子中,我在重载的==操作符中引入了一个“bug”,导致它总是在第二个参数为空时抛出异常:

void Main()
{
    Foo foo = null;

    if (foo is null) Console.WriteLine("foo is null"); // This condition is met
    if (foo == null) Console.WriteLine("foo == null"); // This will throw an exception
}

public class Foo
{
    public static bool operator ==(Foo foo1, Foo foo2)
    {
        if (object.Equals(foo2, null)) throw new Exception("oops");
        return object.Equals(foo1, foo2);
    }

    // ...
}

foo is null的IL代码使用ceq指令执行直接引用比较:

IL_0003:  ldloc.0     // foo
IL_0004:  ldnull      
IL_0005:  ceq

foo == null的IL代码使用重载操作符调用:

IL_0016:  ldloc.0     // foo
IL_0017:  ldnull      
IL_0018:  call        UserQuery+Foo.op_Equality

因此,不同之处在于,如果使用==,则有运行用户代码的风险(可能会出现意外行为或性能问题)。

泛型的限制

使用is null构造将类型限制为引用类型。编译器确保这一点,这意味着您不能在值类型上使用is null。如果有泛型方法,则不能使用is null,除非泛型类型被约束为引用类型。

bool IsNull<T>(T item) => item is null;                  // Compile error: CS0403
bool IsNull<T>(T item) => item == null;                  // Works
bool IsNull<T>(T item) where T : class => item is null;  // Works

感谢David Augusto Villa指出这一点。

当您尝试将非空变量与空值进行比较时,还有一个区别。当使用==时,编译器将发出警告,而当使用is时,编译器将发出错误。大多数情况下,99%的情况下,您希望编译器因为这样一个基本的错误而对您大喊大叫。+1 for为空。

附注:在https://dotnetfiddle.net/上用NetCore3.1测试