为何.NET Framework中System.RuntimeArgumentHandle无法装箱？编译器如何识别？

核心结论 #

System.RuntimeArgumentHandle 虽然在.NET Framework的元数据中被定义为普通值类型（struct），但它属于CLR内部标记的特殊非装箱值类型，运行时和编译器会将其视为类似byref-like类型的存在，直接禁止装箱操作。

具体原因 #

• 本质用途限制：RuntimeArgumentHandle 是CLR用来承载可变参数列表（C#中的params）的底层结构，内部持有指向栈上参数区域的指针。如果对其装箱，这个指针会被复制到托管堆中，脱离原本的栈上下文，导致后续访问时出现悬空引用、内存错误等问题——这是CLR禁止其装箱的根本原因。
• 编译器与运行时的硬编码规则：
  • 旧版Visual Studio（比如2008）的C#编译器虽然还没有C# 7.2引入的ref struct语法，但已经通过硬编码的方式识别RuntimeArgumentHandle这类特殊类型，在编译阶段直接拦截装箱转换的代码，抛出Cannot convert type 'System.RuntimeArgumentHandle' to 'object'的错误。
  • 即使绕过编译器直接编写MSIL代码（比如你提供的示例），CLR的验证器也会在加载程序集时拦截box [mscorlib]System.RuntimeArgumentHandle指令，因为CLR内部的类型规则明确禁止对这类特殊值类型执行装箱操作。

补充说明 #

这类特殊值类型的限制是CLR设计时的安全防护，目的是避免因指针脱离有效上下文而引发的内存安全问题。除了RuntimeArgumentHandle，类似的还有ArgIterator等与可变参数处理相关的结构，它们都被禁止装箱。

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