一尘不染

C#中跨类的静态变量初始化顺序是什么?

c#

DependencyProperty.AddOwner MSDN页面提供了一个包含两个具有静态成员的类的示例,并且一个类的成员依赖于另一个类的成员进行初始化。我认为MSDN是错误的-
静态变量的初始化顺序在C#中并不可靠,就像在C ++或其他任何地方一样。我可能是错的,因为WPF库本身是用这种方式编写的,并且工作正常。我想念什么?C#编译器如何知道安全的初始化顺序?


阅读 322

收藏
2020-05-19

共1个答案

一尘不染

一个类型依赖于另一种被初始化的类型就可以了,只要您不会陷入循环中即可。

基本上这很好:

public class Child
{
    static Child() {} // Added static constructor for extra predictability
    public static readonly int X = 10;
}

public class Parent
{
    static Parent() {} // Added static constructor for extra predictability
    public static readonly int Y = Child.X;
}

结果是明确的。Child根据规范的10.5.5.1节,在首次访问该类中的任何静态字段之前,将执行的静态变量初始化程序。

但这不是:

public class Child
{
    public static readonly int Nasty = Parent.Y;
    public static readonly int X = 10;
}

public class Parent
{
    public static readonly int Y = Child.X;
}

在该后者的情况下,你 要么 结了Child.Nasty=0Parent.Y=10Child.X=10
Child.Nasty=0Parent.Y=0Child.X=10取决于哪个类第一次被访问。

访问Parent.Y first将首先开始初始化Parent,这将触发的初始化Child。的初始化Child将意识到Parent需要进行初始化,但是CLR知道它已经被初始化,因此无论如何都要进行操作,从而导致第一组数字-
因为Child.X最终会在其值用于之前被初始化Parent.Y

访问Child.Nasty将首先开始初始化Child,然后开始初始化Parent。的初始化Parent将意识到Child需要进行初始化,但是CLR知道它已经被初始化,因此无论如何都要进行,导致第二组数字。

不要这样


编辑:好的,如所承诺的,更详细的解释。

类型何时初始化?

如果类型具有 静态构造函数 ,则只会在首次使用它时(在引用静态成员或创建实例时)将其初始化。如果它 没有
静态构造函数,则可以更早初始化。从理论上讲,也可以稍后对其进行初始化。从理论上讲,您可以在不初始化静态变量的情况下调用构造函数或静态方法-但 必须
在引用静态变量之前对其进行初始化。

初始化期间会发生什么?

首先,所有静态变量均接收其默认值(0,null等)。

然后,将按文本顺序初始化该类型的静态变量。如果静态变量的初始值设定项表达式需要初始化另一种类型,则在分配变量的值之前,该另一种类型将被完全初始化- 除非
该第二种类型已被初始化(由于循环依赖性)。本质上,类型是:

  • 已经初始化
  • 目前正在初始化
  • 未初始化

仅当未初始化类型时才触发初始化。这意味着,当存在循环依赖性时,可以 在分配 静态值 的初始值之前 观察 其值 。这就是我的Child/
Parent示例所示。

执行完所有静态变量初始化器后,将执行静态构造函数。

有关所有这些的更多详细信息,请参见C#规范的10.12节。


出于普遍需求,当我认为问题 与类 中静态变量的初始化顺序有关时,这是我的原始答案:

静态变量按照C#规范的10.5.5.1节以文本顺序初始化:

类的静态字段变量初始值设定项对应于以文本顺序执行的分配序列,这些赋值序列出现在类声明中。

请注意,部分类型使这一点变得棘手,因为该类中没有一个规范的“文本顺序”。

2020-05-19