class 修饰符在 cil 调用命令中有什么作用?

what does the class modifier do in cil call command?

查看 monodis 生成的代码,我看到对 Console.WriteLine 的调用被转换为 call void class [mscorlib]System.Console::WriteLine。我知道开头的void是return值,但是class是什么意思呢?

class 关键字只是表示 System.Console 是 class。

the CLI specification 的相关部分是§II.7.1 类型。它描述了CIL语法的Type规则,要求class引用任何"user defined reference type".

虽然 call 指令实际上采用 TypeSpec,这意味着省略 class 关键字也是允许的。