"ceq"MSIL命令和object.InternalEquals之间的区别

Question

我在ILDASM和Reflector中挖掘,发现:

1. ==被编译为"ceq"MSIL命令
2. object.Equals保持原样
3. object.Equals调用object.InternalEquals

这个问题告诉我如何找出InternalEquals是如何实现的,即在.cpp类中(或者在CLR中的某个地方).

我的问题是:

ceq成为什么？另一个.cpp类中的另一种方法？即它们是完全不同的代码？因此,虽然==和Equals的默认行为看起来是相同的,但它是不同的代码？

Answer 1

==运算符并不总是被转换为ceq.类型可以使用operator ==()重载它.例如,System.Decimal执行此操作,它会重载所有运算符,因为它们的实现非常重要,并且抖动没有类型的特殊知识(编译器会这样做).

您将使用Reflector作为Decimal.op_Equality()方法找回它.这将引导您进入FCallCompare,这是一种归因于MethodImplOptions.InternalCall的方法.这些方法很特殊,抖动对它们有秘密的了解.您可以通过Rotor中的clr/src/vm/ecall.cpp源代码文件找到它们的实现.它包含所有内部调用函数的表,抖动通过方法名称查找表条目.然后将表中提供的相应C++函数的地址编译到调用指令中.请注意,自Rotor发布以来,函数名称已更改,搜索FCallAdd,它是表中的下一个条目.这将带您到COMDecimal :: Compare.这将带您到comdecimal.cpp源代码文件.

x86和x64抖动知道如何直接将ceq操作码转换为机器代码而无需辅助函数,它会内联生成本机机器指令.实际生成的代码取决于要比较的值的类型.目标,x64抖动使用SSE指令,x86使用FPU指令来比较浮点值.当然,其他的紧张情绪会以不同的方式实现它们.

像Object.InternalEquals()这样的辅助函数也是一个内部方法,就像FCallCompare一样.您将使用相同的策略来查找实现.