ValueType.GetType() 如何确定结构的类型？

Question

对于引用类型，对象的内存布局是

| Type Object pointer|
|    Sync Block      |
|  Instance fields...|

对于一个值类型，对象布局似乎是

|  Instance fields...|

对于引用类型，GetType 表示从“类型对象指针”中查找对象。给定引用类型对象的所有对象都指向同一个类型对象（也有方法表）

对于值类型，此指针不可用。那么 GetType() 是如何工作的呢？

我用谷歌查了一下，发现这个 sn-p.. 有点模糊。有人可以详细说明吗？

解决方案是在 存储的值可能只存储 某种类型的值。这是 由验证者保证。 Source

Answer 1

在值类型上调用 GetType() 会框该值类型。通过将值类型移动到堆上，您现在有了一个引用类型，它现在有一个指向该对象类型的指针。

如果你想避免装箱，你可以调用GetTypeCode，它会返回一个枚举，指示值类型的类型，而不用装箱。

这是一个显示发生的拳击的例子：

C#：

class Program
{
    static void Main()
    {
        34.GetType();
    }
}

Main() 的 IL：

.method private hidebysig static void Main() cil managed
{
        .entrypoint
        .maxstack 8
        L_0000: ldc.i4.s 0x22
        L_0002: box int32
        L_0007: call instance class [mscorlib]System.Type [mscorlib]System.Object::GetType()
        L_000c: pop 
        L_000d: ret 
}

---

编辑：为了显示编译器在做什么，让我们像这样改变文字的类型：

class Program
{
    static void Main()
    {
        34L.GetType();
    }
}

通过在文字后面添加"L"，我告诉编译器我希望将此文字转换为System.Int64。编译器看到了这一点，当它发出box 指令时，它看起来像这样：

.method private hidebysig static void Main() cil managed
{
        .entrypoint
        .maxstack 8
        L_0000: ldc.i4.s 0x22
        L_0002: conv.i8 
        L_0003: box int64
        L_0008: call instance class [mscorlib]System.Type [mscorlib]System.Object::GetType()
        L_000d: pop 
        L_000e: ret 
}

如您所见，编译器已经完成了确定要发出的正确指令的艰苦工作，然后由 CLR 来执行它们。

Answer 2

也许 Andrew H. 认为这是显而易见的，并努力让我理解 +1。我的灯泡时刻来自 Jon Skeet.. 再次（这次是通过我碰巧正在阅读的他的书.. 以及答案所在的确切区域。

• C# 是静态类型的。 每个变量都有一个类型，并且在编译时就知道了。
• 值类型不能被继承。 因此，VT 对象不需要携带额外的类型信息（与 Ref Type 对象相反，每个对象都有一个对象类型头，因为变量类型和值/对象类型 可能不同。）

考虑下面的 sn-p。虽然变量类型是 BaseRefType，但它指向一个更特殊类型的对象。对于值类型，由于继承是非法的，变量类型是对象的类型。

BaseRefType r = new DerivedRefType(); 
ValueType v = new ValueType();

我丢失的部分是子弹#1。
<Snipped after J.Skeet's comment since it seems to be wrong>。似乎有一些魔法可以让编译器/运行时知道给定任意变量的“变量类型”。 所以运行时不知何故知道 ob 是 MyStruct 类型，即使 VT 对象本身没有类型信息。

MyStruct ob = new MyStruct();
ob.WhoAmI();                          // no box ; defined in MyStruct
Console.WriteLine(ob.GetHashCode());  // no box ; overridden in ValueType
Console.WriteLine( ob.GetType() );    // box ; implemented in Object

因此，我可以调用 MyStruct 中定义的方法（以及出于某种原因的 ValueType），而无需装箱到 RefType。