Unity Mono环境下Marshal.SizeOf堆内存分配的触发条件

你观测到的所有分配行为都不会出现在mscorlib的托管IL代码层，全部来自Unity配套Mono运行时原生实现的逻辑分支，核心触发条件和你给出的类型定义、运行时版本完全匹配：

• 泛型调用未被内联时的类型句柄获取缺陷
  Mono 2019.4.12-mbe存在已记录的实现问题：当Marshal.SizeOf<T>的调用未被JIT内联时，泛型上下文内的T类型运行时句柄获取逻辑，不会直接从泛型方法的预存槽位读取RuntimeTypeHandle，反而会通过临时装箱值类型实例的路径提取类型引用，整个装箱流程完全在Mono的原生C代码层执行，在托管IL中没有对应指令，因此反编译时完全看不到显式装箱逻辑。当你定义的值类型实现了自定义接口（示例中TargetStruct、RoundBounds、Bool均实现了SomeInterface），这个缺陷的触发概率会显著提升——接口实现会让JIT在匹配泛型调用约定时跳过类型句柄的优化缓存路径。
• 带自定义MarshalAs标记的字段触发的布局对象分配
  正常流程下，Marshal.SizeOf会在第一次计算完类型的非托管布局后，将布局信息缓存到类型的元数据结构中，后续调用直接读取缓存，不会产生堆分配。但当值类型内部包含带[MarshalAs]自定义标记的字段（示例中Bool结构体的私有bool字段就标记了[MarshalAs(UnmanagedType.I1)]），Mono 2019.4版本的marshal逻辑不会触发布局缓存命中，会在每次调用SizeOf时，在托管堆上临时构造字段marshalling规则的描述对象，用于计算最终的非托管大小，这个对象完全由运行时内部创建，对托管代码层透明。
• 嵌套枚举成员的大小计算分支分配
  示例中TargetStruct内嵌了自定义的TypeEnum枚举类型，在该版本Mono的marshal实现中，当泛型参数T包含自定义枚举内嵌成员时，计算枚举非托管大小的分支未做零分配优化，会临时创建一个对应枚举的装箱实例，传递给内部的大小计算工具函数，这个装箱操作同样位于原生实现层，IL层面无对应观测点。
• 嵌套静态字段值类型的初始化临时分配
  示例中RigidTransform结构体包含static readonly的identity静态字段，当首次调用Marshal.SizeOf触发TargetStruct的嵌套类型初始化时，Mono会在初始化RigidTransform静态字段的过程中，为静态值类型实例的赋值操作产生临时堆分配。这类分配通常是单次触发的，如果dotTrace的采样窗口刚好覆盖初始化阶段，很容易被误判为SizeOf调用路径的持续分配。

你提到的“GetType()操作本身不会在堆上分配新的Type对象”的结论是准确的，上述所有分配均不是托管代码层面的Type对象创建，全部来自Mono运行时原生实现的非优化逻辑分支。

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