烂人不配爱做C#也有些年头了，前阵子帮同事排查一个上位机程序内存只涨不降的问题，现象很典型：UI界面上按的次数越多，内存涨得越凶，但代码里根本没有连续 new 大对象的痕迹。后来抓了 dump 一看，问题出在一个扫码枪的触发事件上——每次扫码都往事件上挂了一个异步方法，委托链越接越长，方法连同它捕获的串口对象和窗体引用全被钉在了托管堆上。
这事让我下定决心，把 C# 方法的生命周期与内存布局整个体系好好捋一遍。方法的生命周期不只是“调用-返回”这么简单，它牵扯到 JIT 编译、方法描述符、栈帧分配、异步状态机、闭包捕获这些绕不开的内部机制；内存布局则直接决定了值类型和引用类型在栈帧里怎么排、异步状态机在哪里分配、委托为什么会变成泄漏源。这篇文章就是想把这条链路讲透，适合三种人看：正在准备 C# 面试的、被线上内存问题折磨过的、以及想真正理解 async/await 和 lambda 背后原理的人。
1. 方法不是“一段代码”，是CLR里的一等公民
1.1 方法的一生：从IL到机器码
很多初学者以为方法就是源代码里那个函数体，调用的时候 CPU 直接跑那段代码。真实情况复杂得多。C# 源码先被编译成 IL（中间语言），方法在 IL 里只是一个方法头、一个局部变量签名块和一组 IL 指令。CLR 加载类型时，这些 IL 会被解析成方法描述符（MethodDesc），但此刻方法还只是一堆“蓝图”，不能直接执行。
方法第一次被调用的瞬间，才触发 JIT（Just-In-Time）编译。CLR 的方法入口最初指向一个预编译存根（PreStub），调用时存根判断方法还没编译，就调用 JIT 把 IL 转成机器码，再把方法描述符里的入口地址改写成新机器码地址。下次再调用同一个方法，就直接跳到已编译的机器码了，不再走 JIT 流程。
这里有个 .NET 开发者必须知道的细节：从 .NET Core 3.0 开始默认启用分层编译（Tiered Compilation）。方法第一次调用时先生成 Tier-0 代码，追求编译速度，不做深度优化；如果这个方法被频繁调用，后台线程再生成一份经过充分优化的 Tier-1 代码，然后原子替换入口。所以你会发现一个热方法在前几百次调用里性能平平，之后突然变快，这不是玄学，是分层编译在起作用。
注意：JIT 生成的机器码存放在 JIT Code Heap 里，和托管堆是分开的。普通程序集加载后，这些机器码一般伴随程序集加载上下文一直存活；只有使用 Collectible Assembly 或 DynamicMethod 时，JIT 代码才有被回收的可能。所以“方法本身常驻内存”和“方法每次调用分配栈帧”是两回事，面试时能把这两个层次说清楚，就能筛掉一大半人。
1.2 方法描述符与方法表：方法在托管堆上的“身份证”
方法的“生命周期”里，方法描述符（MethodDesc）是一个容易忽略但极其关键的结构。每个方法在运行时都有一个 MethodDesc，里面存着方法的 IL 入口、JIT 入口、局部变量签名、特性标志等。它在 Loader Heap 里分配，不随方法调用结束而销毁。
类型本身有一个核心结构叫 MethodTable（方法表），它记录了类型的虚方法槽、接口映射、字段布局信息。实例方法调用时，JIT 生成的代码通常通过对象头的 TypeHandle 找到 MethodTable，再通过方法槽索引跳到具体实现。虚方法走的就是这条链路，所以接口方法调用的开销略高于非虚方法，就是因为多了一层方法槽查找。
MethodDesc 和 MethodTable 的存在，解释了为什么 C# 能安全地做 override、接口分派、反射调用。反射的本质就是通过 MethodDesc 的元数据信息，动态构造一个调用 stub 再跳转到 JIT 代码入口。我见过很多性能排查场景，最后定位到耗时点在某个接口方法上，用 dotnet-trace 看到的栈就是 MethodTable 分派链路。
泛型方法还有一个额外的记忆点：泛型参数不同，JIT 会为它生成不同的实例化版本。比如 M<T>() 被 M<int> 和 M<string> 调用，CLR 会维护两套 MethodDesc 和两段 JIT 代码。值类型参数会为每个具体类型单独生成机器码，引用类型参数则共享同一份代码。这就是为什么 List<int> 和 List<string> 的内部方法表现不一样——值类型那套是专门优化的。
1.3 一次方法调用，CPU和CLR各自做了什么
把一次普通实例方法的调用串起来看，生命周期是这样的：
- 调用方执行 call 指令，把返回地址压栈，控制权转移到被调用方法的入口。
- 如果方法还没 JIT，入口是 PreStub，先触发 JIT 编译，生成机器码，更新 MethodDesc 入口，再跳转过去。
- JIT 生成的 prolog 代码建立栈帧：保存非易失寄存器、分配局部变量空间、按需初始化安全点（GC Poll）。
- 方法体执行期间，局部变量放到寄存器和栈上，引用对象只在托管堆分配，栈上只放引用地址。
- 方法执行 return 指令前，epilog 恢复寄存器，释放栈帧，把返回值放到 rax（或浮点返回值 xmm0）。
- 控制权回到调用方，栈指针恢复到 call 之前的位置，这一次方法的“生命周期”结束。
这个流程里，步骤 3 和 4 的内存布局是理解整个主题