静态构造函数是否保证不会被内联？

Question

大概吧！

编辑：这个问题的动机是：在我看来，由于静态构造函数的语义，它们永远无法安全地内联。

Answer 1

抖动的内联策略是一个实现细节 - 随时可能更改 - 因此几乎无法保证什么可以或不可以内联。

话虽如此，考虑到 C# 和 CLI 规范提供的有关静态构造函数和类型初始化的保证，很难看出如何安全地内联静态构造函数。

来自 Microsoft C# 规范（第 10.12 节）：

封闭类类型的静态构造函数最多执行一次
在给定的应用领域。静态构造函数的执行
由以下事件中第一个发生的事件触发
应用领域：

• 创建了该类类型的实例。
• 引用类类型的任何静态成员。

并来自 ECMA CLI 规范（第 8.9.5 节）：

[一个类可以]选择性地指定一个方法（称为.cctor）
调用以初始化类型。

何时以及什么触发此类类型的执行的语义
初始化方法，如下：

• 类型可以有类型初始化方法，也可以没有。

可以将类型指定为其具有宽松的语义
类型初始化方法（为了下面方便起见，我们称之为宽松的
语义 BeforeFieldInit)。

如果标记为 BeforeFieldInit，则该类型的初始化方法为
在第一次访问任何静态字段时或之前执行
为该类型定义。

如果没有标记BeforeFieldInit，则该类型的初始化方法
执行于（即触发于）：

• 首先访问该类型的任何静态字段，或者
• 首次调用该类型的任何静态方法，或者
• 首次调用该类型的任何实例或虚拟方法，如果
  它是一个值类型或
• 首次调用该类型的任何构造函数。

（请注意，具有静态构造函数的 C# 类不会具有 beforefieldinit 语义。没有静态构造函数的 C# 类将具有 beforefieldinit 语义。）

Answer 2

您拥有的唯一保证如下：

• 在创建第一个实例或引用任何静态成员之前，自动调用静态构造函数来初始化类。
• 用户无法控制静态构造函数何时在程序中执行。