为什么 Visual Studio 没有就空引用异常向我发出警告？

Question

我想知道为什么 Visual Studio 2019 不抱怨这段 C# 代码：

dynamic deserializedBody = JsonConvert.DeserializeObject(requestBody);
deserializedBody?.date.ToString();

由于deserializedBody?.date 可能是null，这意味着ToString 方法将应用于null。我认为是这样的：

deserializedBody?.date?.ToString();

将是正确的使用形式，但 Visual Studio 不会抱怨第一个版本。当然，我错过了这段代码的真实性质。

Answer 1

null 安全的解引用运算符一旦达到 null 就会停止对整个表达式的求值。所以如果deserializedBody 为空，它不会尝试评估date，也不会在任何事情上调用ToString() - 所以你不会得到异常。

完整示例：

using System;

class Test
{
    DateTime date = DateTime.UtcNow;

    static void Main()
    {
        Test t = null;
        // No exception thrown
        Console.WriteLine(t?.date.ToString());
    }    
}

这里的表达式t?.date.ToString()等价于：

t is null ? null : t.date.ToString()

（除了t 只评估一次）。它不等同于

(t is null ? null : t.date).ToString()

...这正是我怀疑你所期望的。

但是不，这不防止deserializedBody 为非空但deserializedBody.date 为空的情况。

如果您因 C# 8 可空引用类型而期待警告，我相信动态表达式永远不会进行空检查。例如，请考虑：

class Test
{
    public string? foo;
}

class Program
{
    static void Main(string[] args)
    {
        Test t = new Test();
        dynamic d = t;

        Console.WriteLine(t.foo.Length); // Warning 
        Console.WriteLine(d.foo.Length); // No warning
        Console.WriteLine(d.bar); // No warning for this either
    }
}

我怀疑原因是编译器基本上没有关于d.foo是什么的信息。对于每一种有有用警告的情况，都会有另一种警告没有用的情况。当您处于动态输入领域时，您已经接受了一定程度的风险——当d.foo 的访问一开始就有风险时，警告取消引用d.foo 是有风险的似乎很奇怪。