C# 类型构造器，又称为静态构造器，是.NET框架中的一个重要概念，它与类或结构体的实例构造器有所不同。类型构造器主要用于在类型首次被加载到应用程序域（AppDomain）时初始化静态字段。这种初始化过程在任何类的实例被创建之前或者静态成员被引用时发生。
类型构造器在C#中的语法非常简单，通常定义在一个类或结构体内部，且无参数，无返回值。例如：
```csharp
class SomeType
{
static SomeType()
{
// 初始化静态字段的代码
}
}
```
静态构造器的执行有以下几个关键点：
1. **执行时机**：JIT（Just-In-Time）编译器在编译方法时会检查所有引用的类型，如果发现类型定义了类型构造器，就会检查当前AppDomain是否已执行过该类型构造器。如果未执行，则执行一次；如果已执行，将不再重复执行。
2. **线程安全**：由于多线程环境中可能存在多个线程同时访问相同类型，CLR确保每个AppDomain中每个类型构造器仅执行一次。它使用互斥量（Mutex）来实现线程同步，确保类型构造器的安全执行。
3. **访问限制**：类型构造器只能访问和初始化静态字段，不能访问实例字段，因为它们在类型实例化之前就已经执行。静态构造器通常用于设置初始值，例如：
```csharp
class SomeType
{
static int x;
static SomeType()
{
x = 5; // 初始化静态字段x
}
}
```
4. **内联初始化**：C#允许在声明静态字段时进行内联初始化，这等同于在类型构造器中进行初始化：
```csharp
// 内联初始化
class SomeType
{
static int x = 5;
}
// 等同于
class SomeType
{
static int x;
static SomeType()
{
x = 5;
}
}
```
5. **值类型与类型构造器**：虽然值类型（如结构体`struct`）不能为实例字段提供无参实例构造器，但它们可以定义无参类型构造器来初始化静态字段。这意味着以下C#代码是合法的，即使结构体没有实例构造器：
```csharp
struct SomeStruct
{
static int y = 7; // 静态字段初始化
}
```
C#的类型构造器是保证类型静态字段正确初始化的重要工具，它确保在类型使用前完成必要的设置，且在多线程环境中保证了初始化的线程安全性。理解并恰当使用类型构造器对于编写高效、可靠的C#代码至关重要。
