CIL指令“isinst”

Question

ECMA 公共语言基础设施文档对 CIL“isinst class”指令有这样的描述：

正确的 CIL 确保 class 是指示类的有效 typeref 或 typedef 或 typespec 标记，并且 obj 始终为 null 或对象引用。

这意味着不允许使用值类型，对吧？但 mscorlib.dll 包含一个方法 System.RuntimeTypeHandle::Equals(object obj) ，其指令如下：

IL_0001: isinst System.RuntimeTypeHandle

并且 System.RuntimeTypeHandle 是 valuetype。有人可以把我放在这里吗？

Answer 1

看一下 RuntimeTypeHandle 的声明：

.class public sequential ansi serializable sealed beforefieldinit RuntimeTypeHandle
    extends     System.ValueType
    implements  System.Runtime.Serialization.ISerializable

虽然 RuntimeTypeHandle 被声明为结构体，但它在 CIL 中的表示是某种特殊的类。换句话说，您可以将结构想象为继承自 System.ValueType 且其属性遵循严格顺序的特殊类。

考虑到这一点，isinst 可以通过 RuntimeTypeHandle 进行调用。对于我的解释，isinst 根本不限于引用类型，只要有一个代表该类型的类即可。

假设我们用 C# 编写：

var i = 4;
var b = i is Int32;

我们收到编译器警告

警告：给定的表达式始终是提供的 ('int') 类型。

会发生什么？我们将 4 分配给 i。 i变成一个int。在下一行中，i被自动装箱到其相应的ReferenceType（类），因此警告是显而易见的。我们甚至可以写下

var b = i is int;

“我希望这有助于澄清这个主题”。

Answer 2

这意味着不允许使用值类型，对吗？

不，但他们的措辞令人困惑。这里的class是isinst接受的第二个参数的名称。它是一个标记（可以认为是与类型相关的元数据表之一中的行的索引），表示接口、类或结构（基本上是任何类型） 。

有点隐藏的是从堆栈传递的第一个参数 - 对象引用。

如果 isinst 是一个 C# 方法，它将是这样的：

object IsInst (object reference, Type type){
    if(reference.GetType().IsAssignableTo(type)){
        return reference;
    }
    return null;
}

在 RuntimeTypeHandle.Equals(object obj) 的示例中，您没有包含传递的第一行isinst 的对象参数：

IL_0000: ldarg.1 // this is object obj
IL_0001: isinst System.RuntimeTypeHandle

值类型的唯一问题是，从“假”IsInst 的签名中，您会认识到我们需要box 我们的 valuetype 实例，然后才能传递它。

例如，这个保证具有结构value的通用方法：

bool IsInt<T>(T value)
where T : struct {
    if (value is int) {
        return true;
    }
    return false;
}

在调用isinst之前将具有装箱代码：

IL_0000: ldarg.1
IL_0001: box !!T
IL_0006: isinst [System.Runtime]System.Int32

PS。
实际上，即使没有通用约束，我们也会进行装箱（参见 这个问题），但这更多地表明 isinst 总是需要对象引用。