此CIL有效吗?

我不 认为 这可能是有效的,因为大小不同,特别是在x64上。引用stloc:

值的类型必须与当前方法的局部签名中指定的局部变量的类型匹配。

对于空测试,我认为您需要:

ldloc.0 
ldnull
ceq

如果是,则返回1 null ,否则为0。为了扭转这种局面,或许:

ldc.i4.0
ldloc.0 
ldnull
ceq
ceq
stloc.1  

编辑:我测试了以下内容:

object o = GetObj();
bool b = o != null;

编译器发出:

ldloc.0 
ldnull 
cgt.un 
stloc.1  

所以也许 cgt.un 这就是你所需要的一切!

这个

ldloc 0

将第一个局部变量加载到堆栈上。

这个

stloc 1

将堆栈中的变量放入第二个局部变量。

C#版本应大致类似

object x, y;

y = x;

(虽然这不是有效的C#作为两者 x 和 y

编辑:当您编辑问题以引入类型信息时-假设 x个 和 y 属于不同类型,其中 x个 是 object 和 y bool 那行不通。