C#引用类型内嵌及静态值类型字段传参的装箱疑问

首先明确装箱的核心判定规则：只要发生值类型到object类型或其实现的接口类型的隐式/显式转换，就会触发装箱，和值类型原本的存储位置没有任何关系。装箱的本质是在托管堆上分配一个符合引用类型内存布局的对象（包含同步块索引、类型方法表指针、值类型数据存储位），把待转换的值类型数据拷贝到这个新对象中，最终返回新对象的引用。

问题a：引用类型内嵌的值类型实例字段传参的执行流程 #

结论：一定会触发装箱，不存在“必须先拷贝到线程栈局部变量再装箱”的强制流程。
具体执行流程如下：

1. 局部变量p存储在线程栈上，值是指向托管堆中Program类实例的内存引用。CLR首先通过这个引用定位到堆上Program实例的内存地址，找到实例字段value的存储位置，读取到存储的int值0。
2. 由于SerializeObject方法的参数类型是object?，要求传入引用类型参数，CLR会直接执行装箱操作：在托管堆上分配装箱所需的内存块，按照object对象的布局初始化同步块索引、指向int类型方法表的指针，再把刚才读取到的p.value的int值拷贝到装箱对象的值存储区域。

常见误区澄清：存储在Program实例堆内存中的value只是int值的原始存储片段，没有引用类型对象必备的同步块索引、方法表指针结构，完全不符合object类型的内存布局要求，不可能直接作为引用类型参数传递，因此必须生成独立的装箱对象。JIT编译器可能会根据优化策略选择是否把读取到的int值临时存到线程栈上，但这属于运行时实现细节，不是装箱流程的必要步骤，不会改变装箱本身的行为。

3. 装箱完成后，CLR把生成的装箱对象的引用作为参数传入SerializeObject方法。

对应的示例代码与方法签名如下：

using System;
using System.IO;
using Newtonsoft.Json;

public sealed class Program
{
    public int value = 0;  

    public static void Main()
    {
        var p = new Program();
        // p.value为值类型，传入object类型参数时触发装箱
        var data = JsonConvert.SerializeObject(p.value);
    }
}

// 调用的序列化方法签名
public static string SerializeObject(object? value)

问题b：静态值类型字段传参是否会装箱 #

结论：一定会触发装箱。
静态int字段value存储在托管堆的加载堆区域（隶属于Program类型对应的类型对象内存块），不属于线程栈存储。读取到静态字段的int值后，由于需要转换为object类型传入方法，CLR会执行和问题a中完全一致的装箱流程：在托管堆分配符合布局要求的装箱对象，把静态字段存储的int值拷贝到装箱对象中，再将装箱对象的引用传入方法。

和实例字段同理：类型对象内存中存储的静态int值只是值类型的原始存储片段，不满足object引用类型的内存布局要求，无法直接作为引用传递，因此必须完成装箱。

对应的示例代码如下：

using System;
using System.IO;
using Newtonsoft.Json;

public sealed class Program
{
    public static int value = 0;  

    public static void Main()
    {
        var p = new Program();
        // 静态值类型字段传入object类型参数，同样触发装箱
        var data = JsonConvert.SerializeObject(value);
    }
}

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