带有 null 的数学运算

Question

请解释为什么这个测试通过了？

[Test]
public void TestNullOps()
{
    Assert.That(10 / null, Is.Null);
    Assert.That(10 * null, Is.Null);
    Assert.That(10 + null, Is.Null);
    Assert.That(10 - null, Is.Null);
    Assert.That(10 % null, Is.Null);
    Assert.That(null / 10, Is.Null);
    Assert.That(null * 10, Is.Null);
    Assert.That(null + 10, Is.Null);
    Assert.That(null - 10, Is.Null);
    Assert.That(null % 10, Is.Null);

    int zero = 0;
    Assert.That(null / zero, Is.Null);
}

我什至不明白这段代码是如何编译的。

看起来每个带有 null 的数学表达式都返回 Nullable<T>（例如，10 / null 是 Nullable<int>）。但我在Nullable<T> 类中看不到运算符方法。如果这些运算符取自int，为什么最后一个断言没有失败？

Answer 1

来自MSDN：

为值类型存在的预定义一元和二元运算符以及任何用户定义的运算符也可以由可空类型使用。如果操作数为空，则这些运算符产生空值；否则，运算符使用包含的值来计算结果。

这就是为什么所有的测试都通过了，包括最后一个——不管操作数的值是什么，如果另一个操作数是null，那么结果就是null。

Answer 2

Nullable<T> 的运算符是所谓的“提升”运算符]； c# 编译器采用可用于T 的运算符并应用一组预定义规则；例如，对于+，如果任一操作数为空，则提升的+ 为null，否则为内部值的总和。最后一个；同样，如果任一操作数是 null，则除法定义为 null - 它永远不会执行除法。

Answer 3

我尝试使用反射器从下面的代码中查看生成的代码

var myValue = 10 / null;

编译器把它变成这样：

int? myValue = null;

而且这不会编译，所以你不能欺骗它：

object myNull = null;
var myValue = 10 / myNull;

Answer 4

我假设编译器将zero 转换为Nullable<int>，并提供底层除法运算符。由于Nullable 类型可能为null，因此在编译期间不会捕获除以0。最好的猜测是，他们希望您能够在出现 div/0 的情况下进行空测试。

Answer 5

此列表中的操作始终返回 NULL：

1 + 2 + 3 + NULL

5 * NULL - 7

'Home ' || 'sweet ' || NULL

MyField = NULL

MyField <> NULL

NULL = NULL