01-02-运行时-MethodTable-一切类型的运行时身份证

MethodTable：一切类型的运行时身份证

系列：C#与常用数据结构源码剖析 · 运行时底层剖析

阅读时间 ：约 40 分钟

前置知识：C# 类型系统基础、值类型与引用类型

一、引言

在前一篇文章中，我们追踪了 C# 代码从编译到执行的全链路。现在，我们把镜头聚焦到 CLR 运行时内部最核心的一个数据结构：MethodTable。

每当你在托管堆上 new 一个对象，CLR 会为它分配一块内存。这块内存的第一个 8 字节（64 位系统）不是什么数据字段，而是一个指针------指向该对象所属类型的 MethodTable。这个指针是运行时识别和操控对象的唯一凭证。

但 MethodTable 的作用远不止"标识类型"这么简单。它存储了虚方法表（vtable）、接口实现映射、GC 扫描布局信息、对象大小、以及数十个标志位。理解 MethodTable 的结构，就像拿到了类型系统的"X 光片"------你能看到 struct 和 class 在运行时的本质差异、为什么 List<string> 和 List<object> 可以共享代码、以及为什么接口调用比虚方法调用慢。

二、托管对象的内存布局

2.1 引用类型对象的物理结构

在 CLR 中，每一个引用类型对象在堆上的物理布局如下（64 位系统）：

复制代码

┌───────────────────────────────────────┐
│  ObjHeader (8 bytes)                  │  ← 负偏移（在 MethodTable* 之前）
│   ├── SyncBlock Index (bit 1-31)      │
│   ├── Hash Code Cache / Thin Lock     │
│   └── Finalizer / AppDomain bits       │
├───────────────────────────────────────┤
│  MethodTable* (8 bytes)               │  ← 偏移 0，对象的地址指向这里
│   → 指向该类型的 MethodTable          │
├───────────────────────────────────────┤
│  Field 1 (N bytes)                    │  ← 实例字段按声明顺序排列
│  Field 2 (M bytes)                    │
│  ...                                  │
└───────────────────────────────────────┘

关键点：

ObjHeader 位于 MethodTable 指针之前（负偏移）。如果你持有对象引用 obj，实际指向的是 MethodTable 指针，ObHeader 在 obj - 8 的位置。
ObjHeader 是复用的 ：当对象没有被锁定时，它可以存储缓存的哈希码；当对象被 lock 时，它变为 Thin Lock（瘦锁）的索引。
如果对象被争用（多个线程同时 lock），Thin Lock 会"膨胀"为 SyncBlock，ObjHeader 指向 SyncBlock 表中的条目。

源码定义在 dotnet/runtime/src/coreclr/vm/object.h：

复制代码

class Object {
protected:
    PTR_MethodTable m_pMethTab;  // 偏移 0：指向 MethodTable
};

2.2 值类型的特殊布局

值类型（struct）的内存布局与引用类型完全不同：

在栈上/内联时：值类型没有 ObjHeader 和 MethodTable*，只有纯粹的字段数据。这是它比 class 快的基本原因------少了两个间接层。
被装箱时：值类型的数据被复制到堆上，并加上 ObjHeader 和 MethodTable*------这就是装箱的本质。
作为数组元素时：每个元素直接排列，中间没有指针间隔。

struct Point { public int X; public int Y; }

// 栈上的 Point：只有 8 字节（两个 int）
// 堆上的 Point[]：每 8 字节一个 Point，线性排列
// 装箱后的 object：ObjHeader(8) + MT*(8) + X(4) + Y(4) + padding(4) = 24 字节

2.3 字符串的特殊布局

字符串是一种特殊的数组。它的内存布局为：

复制代码

ObjHeader | MethodTable* | Length(int) | Padding(int) | chars...

字符串还缓存了自己的哈希码（紧接在 Padding 之后），这使得 string.GetHashCode() 不必每次都重新计算。

三、MethodTable 的数据结构

3.1 核心字段

MethodTable 是 CLR 中最大的数据结构之一。但为了性能，它被分为"热"和"冷"两部分：

MethodTable（热数据）：每次方法调用、字段访问、类型转换都需要访问的数据

复制代码

// src/coreclr/vm/methodtable.h (简化)
class MethodTable {
    DWORD m_dwFlags;           // HasComponentSize, IsValueType, IsArray...
    DWORD m_BaseSize;          // 对象基本大小（GC 分配时使用）
    union {
        MethodTable* m_pParentMethodTable;
        TypeDesc*    m_pEEClassOrCanonMT;
    };
    WORD m_wNumVirtuals;
    WORD m_wNumInterfaces;
    DWORD m_dwHashCode;        // 泛型实例化缓存查找
    // 之后是 vtable 槽位数组
};

EEClass（冷数据）：仅在类型加载、JIT 编译、反射时需要的数据

每个 MethodTable 指向一个 EEClass
泛型引用类型实例化（如 List<string> 和 List<object>）共享同一个 EEClass
值类型泛型实例化（如 List<int> 和 List<long>）各有独立的 EEClass

3.2 热/冷分离的设计智慧

为什么要把类型数据分为 MethodTable 和 EEClass？答案在工作集优化。

程序运行期间需要频繁访问的是"热数据"（类型检查、虚调用、GC 扫描）。这些数据放在 MethodTable 中，可以一次性加载到 CPU 缓存。
类型加载阶段需要的字段和方法定义是"冷数据"，放在 EEClass 中。

这个设计与 CPU 缓存友好的"数据局部性"原则完全吻合。对于一个有 10000 个类型的程序，如果所有类型数据都集中在一个结构体内，每次类型操作都可能触发 cache miss。

3.3 如何区分 MethodTable 和 TypeDesc

运行时使用 TypeHandle 来统一表示 MethodTable 和 TypeDesc。区分它们的方法是低位标记：

复制代码

TypeHandle = MethodTable*   (bit 1 = 0)
          = TypeDesc* | 2   (bit 1 = 1)

四、值类型与引用类型的 MethodTable 差异

以 class MyClass { int a; string b; } 为例：

m_BaseSize = ObjHeader(8) + MT*(8) + 字段(4+8) + Padding(4) = 32 字节
m_dwFlags 标记：ContainsGCPointers（因为 string 字段是 GC 引用）
m_wNumVirtuals：从 System.Object 继承的 4 个虚方法

以 struct MyValue { int a; int b; } 为例：

m_BaseSize = 仅字段大小(8 字节)（没有 ObjHeader 和 MT*）
不包含 vtable 槽位（值类型是 sealed 的）
GC 不扫描值类型的字段（因为它们内联在父对象中）

五、泛型与 MethodTable 共享

5.1 独立的 MethodTable

C# 的泛型不是"类型擦除"------每个不同的泛型实例化都是独立的类型 ，拥有独立的 MethodTable：

复制代码

typeof(List<int>) != typeof(List<long>); // true

5.2 引用类型泛型的代码共享

虽然 List<string> 和 List<object> 各有独立的 MethodTable，但它们的EEClass 是共享的。原因：在 64 位系统上，所有引用类型的大小都是 8 字节，内存布局完全相同。

5.3 值类型泛型的独立特化

List<int>（4 字节元素）和 List<long>（8 字节元素）内存布局不同，无法共享。JIT 为每个值类型泛型参数生成特化机器码------这就是 C# 泛型性能优于 Java 泛型的核心原因。

六、对数据结构设计的启示

为什么 struct 枚举器优于 class 枚举器：struct 枚举器不产生堆分配，不需要 ObjHeader 和 MethodTable*。
为什么 List<int> 比 ArrayList 快 ：List<int> 内部是 int[]，直接操作值；ArrayList 是 object[]，每个 int 都被装箱。
为什么 IList<T> 抽象比具体类型慢：通过接口调用每步都需要经过 VSD，而具体类型直接进行 vtable 分派。
为什么泛型集合比对象集合快、省内存：值类型泛型无装箱、无 GC 压力、连续内存布局。

七、总结

MethodTable 是 .NET 类型系统的"身份证"。它的设计精妙之处在于：热/冷分离优化了 CPU 缓存、泛型共享机制节省了内存、vtable 布局决定了方法分派的性能。理解 MethodTable，才能真正理解各种数据结构在运行时的行为差异。

下一篇 ：类型加载器：从 IL 元数据到运行时类型