指定变量场景下ldloc 0 stloc 1这条CIL指令是否合法？能否用C#生成？

首先直接给结论：这个指令序列不合法，而且也没有常规的C#代码能编译生成这样的指令。下面详细解释：

1. 指令合法性分析 #

你提到变量0是object类型且值为null，变量1是Boolean值类型。我们拆解这两个指令的行为：

• ldloc 0：将本地变量0的object引用（这里是null）加载到计算栈上，此时栈顶的类型是object引用。
• stloc 1：尝试将栈顶的值存储到本地变量1（Boolean类型）。

但CIL的类型安全验证规则不允许直接将object引用存储到值类型变量中——因为Boolean是值类型，object引用和值类型的存储表示完全不同：前者是托管堆的地址（或null），后者是直接存储的布尔值（1字节的0或1）。直接执行这个指令序列会触发CLR的验证错误，运行时会抛出VerificationException。

如果要完成从object到Boolean的存储，必须先执行拆箱操作（比如unbox.any [mscorlib]System.Boolean指令），把object引用包装的值提取出来，再存储到值类型变量中——哪怕object的值是null，拆箱时也会抛出NullReferenceException，但这是运行时错误，不是验证错误。

2. 是否存在能生成该指令的C#代码？ #

答案是没有。C#是类型安全的静态语言，编译器会严格遵循CIL的类型规则生成代码：

• 如果你写了object o = null; bool b = (bool)o;，编译器会生成ldloc.0 → unbox.any System.Boolean → stloc.1的指令序列，而不是直接的stloc。
• 即使尝试绕过类型检查（比如用unsafe代码），unsafe主要是处理指针，也不会让编译器生成违反类型规则的CIL指令。
• 甚至用动态类型（dynamic），编译器也会在运行时生成正确的类型转换逻辑，不会直接生成非法的存储指令。

只有手动编写CIL代码（比如用ilasm）时，才可能写出这个非法的指令序列，但这样的代码通不过CLR的验证，无法正常运行。

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