实例化可空值类型时为何会调用构造函数？

C#示例代码 #

using System;
public class C {
    public void Main() {
        
        int j1=5;
        int? j=7;
    }
}

对应的IL初始化代码 #

IL_0000: nop
IL_0001: ldc.i4.5
IL_0002: stloc.0
IL_0003: ldloca.s 1
IL_0005: ldc.i4.7
IL_0006: call instance void valuetype [System.Runtime]System.Nullable`1<int32>::.ctor(!0)

问题分析 #

从IL代码中可以看到，初始化非可空int变量j1时没有调用构造函数，但初始化可空类型int?变量j时却调用了构造函数赋值。既然两者本质都是结构体，为什么会有这种差异？

原因解析 #

这本质源于值类型的直接赋值逻辑与可空类型的封装特性差异：

• 非可空值类型（如int）：作为基础值类型，它的内存结构就是单纯的数值存储（比如int是4字节整数）。CLR支持直接将字面量的二进制值写入局部变量的内存位置，完全不需要构造函数介入——构造函数的作用是初始化结构体的复杂内部成员，而基础值类型没有额外成员需要初始化，直接赋值就能完成状态设置。
• 可空类型Nullable<T>：这是一个特殊的泛型结构体，内部包含两个核心成员：存储实际值的T Value，以及标记是否为null的bool HasValue。当给int? j = 7赋值时，需要同时完成两个操作：将HasValue设为true，把Value设为7。这个逻辑需要通过它的构造函数来实现——构造函数接收传入的数值，自动同步设置HasValue的状态，确保可空类型的内部状态一致。

另外需要明确：当可空类型被赋值为null时，它并非指向某个空引用，而是自身的HasValue被设为false，Value成员处于未定义状态，这就是可空结构体能表示“空”的核心逻辑。

内容的提问来源于stack exchange，提问作者Jason9789