哪个很好用:Object.GetType() == typeof(Type) 或 Object is Type

Question

我想知道从性能的角度来看哪个语句是有用的 是否使用

Object.GetType() == typeof(Type)

或

Object is Type

Answer 1

第二个：

Object is Type

用string测试了 1'000'000'000 次，int得到：

//Release
00:00:18.1428040 //Object.GetType() == typeof(Type)
00:00:03.9791070 //Object is Type
//Debug
00:00:21.3545510 //Object.GetType() == typeof(Type)
00:00:06.2969510 //Object is Type
//Machine specs:
//Intel(R) Core(TM) i5-3210M CPU @ 2.50GHz
//6 GB RAM memory
//Ubuntu 14.04 (OS)
//Runtime: Mono JIT compiler version 3.2.8
//Compiler: Mono dmcs
//Notes: ran these with some background processes, but the difference in time
//       is significant enough I guess.

注意：两者之间存在很强的语义差异：

• 相等==检查类型相等性：换句话说，如果A : B 比相等性测试将失败A.GetType() == typeof(B) 而A is B会成功。
• 如果对象是null，它将抛出一个System.NullReferenceException。在第二种情况下，它将返回 false .

从编译器的角度来看，这是相当合乎逻辑的：在第一个变体中，您查询对象的类型。如果它没有真正优化，你先做一个函数调用，然后说它必须返回一个指向类型表的指针。

在第二种情况下，您省略了此类调用：编译器将通过返回类型代码来专门化它。如果事先知道Type，它甚至可以为它制定一个非常快速的测试。

此外请注意，对于一些琐碎的情况，可以优化Object is Type：例如，因为编译器已经可以推导出Object不能/总是Type类型。

更高级

还可以分析 CIL 虚拟机源代码，对于第一个变体，这是：

IL_0000: ldarg.0
IL_0001: callvirt instance class [mscorlib]System.Type [mscorlib]System.Object::GetType()
IL_0006: ldtoken [mscorlib]System.Int32
IL_000b: call class [mscorlib]System.Type [mscorlib]System.Type::GetTypeFromHandle(valuetype [mscorlib]System.RuntimeTypeHandle)
IL_0010: call bool [mscorlib]System.Type::op_Equality(class [mscorlib]System.Type, class [mscorlib]System.Type)
IL_0015: ret

对于第二个变体，这是：

IL_0000: ldarg.0
IL_0001: isinst [mscorlib]System.Int32
IL_0006: ldnull
IL_0007: cgt.un
IL_0009: ret

（您当然可以填写其他类型）。现在ldarg.0和ret只是使用方法的副产品，所以可以忽略它们。

可以看到，在第一个变体中，显式调用 GetType 方法，然后调用==运算符。函数调用通常很昂贵。在第二个变体中，它会立即检查isinst 。代码需要较少的字节，并且使用更便宜的方法。虽然性能当然取决于运行时环境的实现，但我认为可以肯定地说，第二个变体几乎总是在性能上击败第一个变体。

编译器可能会专门化第一个变体，使其运行与第二个变体一样高效，但 Mono C# 编译器似乎没有这样做。可能没有一个可用的 C# 编译器会。