执行 GetType() 时真正发生了什么？

Question

众所周知，C# 对象有一个指向其类型的指针，因此当您调用 GetType() 时，它会检查该指针并返回对象的真实类型。但如果我这样做：

A objA = new A();
object obj = (object)objA;
if (obj.GetType() == typeof(object)) ; // this is true

但是object obj = (object)objA; 这里发生了什么？它是否创建某种引用对象，引用objA，但有一个指向object 的类型指针，或者它是一个全新的对象，恰好指向与@ 相同的属性、字段等987654326@?当然，您现在可以访问这两个对象，它们将具有不同的类型，但指向相同的数据。它是如何工作的？

另一个问题是：GetType() 是否保证返回对象的实际类型？例如，假设有一个签名为void Method(object sender) 的方法，我们将A 类型的对象作为参数传递。 sender.GetType() 会返回类型A 还是object？为什么？

其他棘手的事情是您可以执行(A)obj 并且它会起作用。既然 obj 曾经是 A 类型，那么 CLR 怎么办？

如果有人能比“C# via CLR”更清楚地分解它，我会很高兴。

更新。我的错，应该在发布问题之前运行代码。所以，如果GetType() 真的总是返回真实类型，那么所有其他问题也会变得清晰。

Answer 1

众所周知，C# 对象有一个指向其类型的指针，因此当您调用 GetType() 时，它会检查该指针并返回对象的真实类型。

正确。

如果我这样做：

class A {}
class P
{
    public static void Main()
    {
        A objA = new A(); 
        object obj = (object)objA; 
        bool b = obj.GetType() == typeof(object) ; // this is true
    }
}

不，那是错误的。试试看！

但是这里发生了什么object obj = (object)objA;？

objA 中的引用被复制到变量 obj。 （除非 A 是值类型，在这种情况下它被装箱，并且对该框的引用被复制到 obj。）

它是否创建了某种引用对象，它引用了 objA，但有一个指向对象的类型指针，或者它是一个全新的对象，它恰好指向与 objA 相同的属性、字段等？

两者都不是。它复制参考，期间。完全没有变化。

当然，您现在可以访问这两个对象，它们将具有不同的类型，但指向相同的数据。它是如何工作的？

它没有。这个问题是基于一个错误的假设。他们不会有不同的类型。它们是相同的参考。 变量有不同的类型，但这无关紧要；您不是在询问变量的类型，而是询问变量的 contents 类型。

GetType() 是否保证返回对象的实际类型？

出于您的目的，是的。有一些涉及 COM 互操作的模糊情况，但它没有。

例如，假设有一个签名为 void Method(object sender) 的方法，我们将 A 类型的对象作为参数传递。 sender.GetType() 会返回类型 A 还是对象？

类型 A。

为什么？

因为那是对象的类型。

其他棘手的事情是您可以执行 (A)obj 并且它会起作用。既然 obj 曾经是 A 类型，CLR 怎么办？

C# 编译器生成一个 castclass 指令。 castclass 指令执行运行时检查以验证对象引用是否实现了所需的类型。如果没有，则 CLR 会引发异常。