为什么 Resharper 告诉我可能存在 NullReferenceException？

Question

我将 Rider 中的值分析模式切换为悲观，以突出显示每个“可能的 NullReferenceException”，在下面的示例中，我在“语言 [0]”部分有一个警告，我不明白为什么，因为我初始化了我的声明后立即收集。

那么它不应该为空。

我刚刚在一个空项目上进行了测试，我收到了同样的警告。

using System.Collections.Generic;

namespace ClassLibrary1
{
    public class Class1
    {
        public static string Current => Languages[0];

        public static readonly List<string> Languages = new List<string>
        {
            "en"
        };
    }
}

这是 ReSharper 犯的错误还是我遗漏了什么？

谢谢。

Answer 1

我认为静态属性是按出现的顺序评估的。尝试翻转它们，以便先有“语言”，然后有“当前”。

Answer 2

试试这个：

public static class Program
{
    public static readonly string Foo = Current;

    public static string Current => Languages[0];

    public static readonly List<string> Languages = new List<string>
    {
        "en"
    };

    public static void Main()
    {
        Console.WriteLine(Foo);
    }
}

SharpLab

静态成员按照声明的顺序进行初始化。 Foo 在分配Languages 之前被初始化，因此您会看到NullReferenceException。

我猜 Resharper 在这里非常悲观，并且只考虑单独考虑 Current，而不管在初始化 Languages 之前是否真的有另一个静态成员可以访问它。

---

你也可能有类似这样的恶魔，Languages 的构造会导致访问Program.Current：

public static class Program
{
    public static string Current => Languages[0].Value;
    public static readonly List<Language> Languages = new List<Language>() { new Language() };

    public static void Main()
    {
        Console.WriteLine(Current);
    }
}

public class Language
{
    public string Value { get; } = Program.Current;
}

（这是一个愚蠢的例子，但它表明 Resharper 可能比您预期的更难证明在 Program 的类型初始化程序完成运行之前没有任何东西访问 Program.Current）。