深入解析.NET堆栈跟踪中含委托的复杂栈帧结构

嘿，这个问题太典型了——那些编译器自动生成的类名和方法名看起来像一堆乱码，但其实每个部分都有明确的含义！我来帮你拆解Microsoft.AspNetCore.Mvc.Controllers.ControllerBinderDelegateProvider.<>c__DisplayClass0_0.<<CreateBinderDelegate>g__Bind|0>d.MoveNext()这个栈帧：

我们把它拆成几个核心部分逐一解释：

1. <>c__DisplayClass0_0：闭包容器类 #

• <>开头的标识符是C#编译器的专属命名，用来避免和你自己定义的类型/方法重名（你自己写代码时没法用<>作为标识符开头）。
• c__DisplayClass是固定前缀，代表这是一个闭包类：当代码里的匿名函数、本地函数捕获了外部方法的变量时，编译器会自动生成这个类，把被捕获的变量存放在里面，让内部函数可以访问。
• 0_0是编译器的编号：同一个类里如果有多个不同的闭包场景，会用不同的数字后缀来区分。

2. <<CreateBinderDelegate>g__Bind|0>：异步本地函数的编译器化名 #

这部分是最绕的，我们再拆细：

• <CreateBinderDelegate>：表示这个本地函数是定义在ControllerBinderDelegateProvider类的CreateBinderDelegate方法内部的。
• g__Bind：g__是C# 7+本地函数的专属前缀，Bind是这个本地函数原来的名称（也就是Asp.NET Core源码里写的那个本地函数名）。
• |0：是这个本地函数的唯一编号，防止同一个方法里多个本地函数重名时产生冲突。
• 外层的<>和>是编译器用来包裹“所属方法+本地函数名”的标记，把它和其他部分区分开。

3. d：异步状态机类 #

因为这个Bind本地函数是异步方法（返回Task/Task<T>），C#编译器会自动生成一个实现IAsyncStateMachine的状态机类，后缀d是这类状态机的约定命名（你可以理解为代表异步状态机的专属标记）。

4. MoveNext()：异步状态机的执行入口 #

异步方法的逻辑并不是直接按顺序执行的，而是被拆分成了状态机的步骤，MoveNext()就是状态机执行每一步的核心方法——每次遇到await暂停后，恢复执行时都会调用这个方法继续往下走。

总结一下整个栈帧的含义 #

这个栈帧代表：在ControllerBinderDelegateProvider类的CreateBinderDelegate方法内部，定义了一个名为Bind的异步本地函数；这个函数捕获了外部变量，所以编译器生成了闭包类<>c__DisplayClass0_0；同时因为是异步方法，又生成了状态机类<<CreateBinderDelegate>g__Bind|0>d；当前正在执行这个状态机的MoveNext()方法，也就是异步逻辑的某一步。

内容的提问来源于stack exchange，提问作者ThomasArdal