c# - 为什么这段代码会给出 "Possible null reference return"编译器警告？

Question

考虑以下代码:

using System;

#nullable enable

namespace Demo
{
    public sealed class TestClass
    {
        public string Test()
        {
            bool isNull = _test == null;

            if (isNull)
                return "";
            else
                return _test; // !!!
        }

        readonly string _test = "";
    }
}

当我构建它时，标有 !!! 的行给出了编译器警告: warning CS8603: Possible null reference return. 。

我觉得这有点令人困惑，因为 _test 是只读的并且初始化为非空值。

如果我将代码更改为以下内容，警告就会消失:

        public string Test()
        {
            // bool isNull = _test == null;

            if (_test == null)
                return "";
            else
                return _test;
        }

谁能解释这种行为？

Answer 1

可空流分析跟踪变量的空状态，但不跟踪其他状态，例如 bool 变量的值(如上面的 isNull)，也不跟踪单独变量的状态(例如 isNull 和_test)。

一个实际的静态分析引擎可能会做这些事情，但在某种程度上也会是“启发式”或“任意”的:你不一定能说出它遵循的规则，这些规则甚至可能会随着时间的推移而改变。

这不是我们可以直接在 C# 编译器中做的事情。可空警告的规则非常复杂(正如 Jon 的分析所示!)，但它们是规则，可以推理。

当我们推出该功能时，感觉我们大部分时间都达到了正确的平衡，但有一些地方确实很尴尬，我们将在 C# 9.0 中重新审视这些地方。