C#与ECMA-CIL中结构体实例化泛型的装箱实现及语义差异问询

1. C#与ECMA-CIL中，结构体实例化的泛型能否通过装箱来实现？ #

可以，但这不是泛型实例化的默认行为，仅发生在特定类型转换场景中：

• 在C#层面：值类型泛型（如List<int>）的实例化是直接创建对应特化类型的实例，全程无需装箱。只有当你将该泛型实例转换为非泛型引用类型（比如接口IEnumerable）时，才会触发装箱操作。
• 在ECMA-CIL字节码层面：创建值类型泛型实例使用newobj指令直接调用特化后的构造函数（如newobj instance void class [mscorlib]System.Collections.Generic.List1::.ctor()），无装箱步骤。只有执行box指令将值类型泛型实例转换为System.Object`或其实现的接口类型时，才会完成装箱。

2. 结构体实例化泛型与引用类型实例化泛型的语义差异（非性能） #

存在多处本质语义差异，核心源于值类型与引用类型的存储特性：

• 实例存储与赋值语义：
  值类型泛型实例存储在栈或包含它的值类型字段中，赋值时会复制整个实例；引用类型泛型实例存储在堆上，赋值仅复制引用。例如：

  // 值类型泛型：赋值复制整个实例
  struct MyValStruct<T> where T : struct { public T Value; }
  var val1 = new MyValStruct<int> { Value = 10 };
  var val2 = val1;
  val2.Value = 20;
  Console.WriteLine(val1.Value); // 输出10
  
  // 引用类型泛型：赋值复制引用
  var ref1 = new List<int> { 10 };
  var ref2 = ref1;
  ref2[0] = 20;
  Console.WriteLine(ref1[0]); // 输出20
  

• default(T)语义：
  当T是值类型时，default(T)返回该值类型的默认值（如int为0，自定义结构体为所有字段默认值）；当T是引用类型时，default(T)返回null，语义完全不同。
• 空值语义：
  以Nullable<T>为例，作为值类型泛型，它的“空状态”由HasValue字段标记，并非真正的空引用；而引用类型泛型的null表示指向堆内存的引用为空，两者的空值判断逻辑完全不同。
• 接口调用的副作用：
  值类型泛型实例转换为接口类型时会装箱，此时对接口方法的修改仅作用于装箱后的副本，不会影响原实例；引用类型泛型实例转换为接口时无装箱，修改会直接作用于原实例：

  interface IUpdate { void Set(int v); }
  struct ValType : IUpdate { public int Num; public void Set(int v) { Num = v; } }
  class RefType : IUpdate { public int Num; public void Set(int v) { Num = v; } }
  
  // 值类型泛型场景：修改的是装箱副本
  var valList = new List<ValType> { new ValType() };
  IUpdate valItem = valList[0];
  valItem.Set(5);
  Console.WriteLine(valList[0].Num); // 输出0
  
  // 引用类型泛型场景：修改的是原实例
  var refList = new List<RefType> { new RefType() };
  IUpdate refItem = refList[0];
  refItem.Set(5);
  Console.WriteLine(refList[0].Num); // 输出5
  

3. ECMA-CIL的简易实现能否像Java那样将结构体实例化泛型处理为装箱值？ #

从技术实现角度可以模拟，但会违反ECMA-CIL的规范语义：

• Java泛型基于类型擦除，所有泛型参数最终被擦除为Object，值类型自动装箱/拆箱。而ECMA-CIL的泛型是“具体化泛型”，规范要求CLI为值类型泛型参数生成特化类型，以保证值类型的核心语义（如值存储、赋值复制等）。
• 若做一个简易的CIL实现，完全可以忽略特化逻辑，将所有值类型泛型参数统一装箱为System.Object，模仿Java的处理方式。但这种实现会彻底丢失值类型泛型的语义：比如值类型泛型实例的赋值会从“值复制”变成“引用复制”，default(T)的语义也会被扭曲，无法兼容C#等基于CIL的语言的正常运行。
• 简言之，这种实现仅能作为极简化的CIL子集，无法满足ECMA-CIL规范的完整语义要求，也无法正确运行依赖值类型泛型语义的代码。

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