为什么在 C# 中顺序对于静态初始化很重要？

Question

此代码在 C# 中具有明确定义的不工作行为：

class Foo
{
    static List<int> to = new List<int>( from ); // from is still null
    static IEnumerable<int> from = Something();
}

注意：我不是问如何将该代码修复为 我已经知道如何做到这一点

这样做的理由是什么？ C# 已经执行运行时检查来检测对静态成员的首次访问。 为什么不将其扩展到每个成员并让它们按需运行，或者更好地让编译器在编译时找出顺序？

顺便说一句：我认为同样的问题（或几乎相同）也适用于非静态成员。

Answer 1

初始化器只是一个语法糖。 编译器在编译您的类时将该代码放入 .cctor 中，并按照它们在代码中的排列顺序放置它们。

它不运行任何检查，因为它没有意义。 您仍然可以有初始化周期，因此无论如何它都不起作用。

如果您有兴趣，我前段时间在博客上介绍过它：

• 有关内联初始化的更多信息
• 有关内联的更多信息初始化（答案）

Answer 2

我可以想象程序员会由于其他静态类的副作用而依赖于初始化顺序。 你我都知道依赖副作用是不好的做法，但这并不一定是非法的。

考虑这样的事情：

class Foo
{
    static string header = Bar.GetHeader();
    static string version = Bar.GetVersion();
}

并且 Bar.GetVersion 假设 Bar.GetHeader 已被调用。 如果编译器可以随意更改初始化顺序，那么程序员将无法保证初始化顺序。

丑陋，理所当然，但完全合法。 如果您想象二阶效应（即称为静态方法，它们本身依赖于具有副作用的类），您会发现编译器不可能可靠地重新排列任何内容，就像编译器（通常）不可能重新排列静态构造函数中函数调用的顺序。

Answer 3

C# 执行运行时检查来检测对类的首次访问，但不会重新排序类内的静态初始化。

静态字段从上到下初始化，然后是静态构造函数从上到下初始化。 更改字段的顺序或创建静态构造函数并从其中初始化字段。

请参阅 C# 规范中的 变量初始值设定项 或 < a href="http://www.yoda.arachsys.com/csharp/beforefieldinit.html" rel="nofollow noreferrer">这篇关于初始化器的文章.. 另外，问题 C# 中静态构造函数/初始化程序的顺序 是相关的。

Answer 4

我认为你需要使用的是静态构造函数。

至于

class Foo
{
    static List<int> to;
    static IEnumerable<int> from;

    static Foo()
    {
        from = Something();
        to = new List<int>(from);
    }
}

为什么 C# 不在第一次访问时执行此操作，我只是不认为当有其他替代方案可以清楚地表明发生了什么时需要这种复杂性。