如何通过反射获取异步方法的LocalVariables？求可行方案

你遇到的问题本质是C#编译器对异步方法的编译转换机制：当你定义async方法时，编译器会自动将其重构成一个包含状态机的嵌套类（比如你看到的<AsyncVariablesTest>d__2），原方法内的局部变量会被移到这个状态机类的字段中，而非保留在原方法的MethodBody.LocalVariables里。所以直接通过GetMethodBody().LocalVariables只能拿到状态机实例的类型，而非你需要的变量类型。

下面提供两种可行的解决方案：

方案一：解析编译器生成的状态机字段 #

既然异步方法的局部变量变成了状态机类的字段，我们可以通过反射获取这个嵌套状态机类，再遍历它的字段来提取变量类型。注意状态机类是编译器自动生成的私有嵌套类，命名格式为<方法名>d__序号，需要用合适的BindingFlags来访问。

示例代码：

class Program {
    static void Main(string[] args) {
        var programType = typeof(Program);
        var asyncMethod = programType.GetMethod("AsyncVariablesTest");
        
        // 找到对应异步方法的状态机嵌套类
        var stateMachineType = programType.GetNestedTypes(BindingFlags.NonPublic)
            .First(t => t.Name.StartsWith($"<{asyncMethod.Name}>d__"));
        
        // 获取状态机类的所有实例字段
        var fields = stateMachineType.GetFields(BindingFlags.Instance | BindingFlags.Public | BindingFlags.NonPublic);
        
        // 过滤掉编译器生成的特殊字段（以<>开头），输出真实变量类型
        foreach (var field in fields) {
            if (!field.Name.StartsWith("<>")) {
                Console.WriteLine($"变量类型：{field.FieldType}");
            }
        }
        Console.ReadLine();
    }
    
    public async Task AsyncVariablesTest() {
        var firstVariable = "First Variable";
        var secondVariable = 10;
    }
}

运行这段代码会输出System.String和System.Int32，符合你的预期。

注意事项 #

• 这种方法依赖C#编译器的实现细节，如果未来编译器改变状态机的生成逻辑，可能需要调整代码。
• 状态机类中会包含一些编译器自动添加的字段（比如<>1__state、<>t__builder），需要通过名称前缀过滤掉。

方案二：使用Roslyn解析源代码（更可靠） #

如果你的场景允许访问源代码，使用**Roslyn（.NET Compiler Platform）**是更稳妥的方案——它可以直接解析C#代码的语法和语义，不受编译后IL结构的影响，能准确获取所有变量类型，不管是同步还是异步方法。

首先需要通过NuGet安装Microsoft.CodeAnalysis.CSharp包，然后使用以下示例代码：

using Microsoft.CodeAnalysis;
using Microsoft.CodeAnalysis.CSharp;
using System.Linq;

class Program {
    static void Main(string[] args) {
        // 这里可以替换为实际的源代码文件路径或字符串
        var sourceCode = @"
class Program {
    public async Task AsyncVariablesTest() {
        var firstVariable = ""First Variable"";
        var secondVariable = 10;
    }
}";

        // 解析语法树
        var syntaxTree = CSharpSyntaxTree.ParseText(sourceCode);
        // 创建编译上下文
        var compilation = CSharpCompilation.Create("TempCompilation")
            .AddReferences(MetadataReference.CreateFromFile(typeof(object).Assembly.Location))
            .AddSyntaxTrees(syntaxTree);
        
        // 获取语义模型
        var semanticModel = compilation.GetSemanticModel(syntaxTree);
        // 找到目标异步方法
        var asyncMethod = syntaxTree.GetRoot()
            .DescendantNodes()
            .OfType<MethodDeclarationSyntax>()
            .First(m => m.Identifier.Text == "AsyncVariablesTest");
        
        // 遍历方法内的所有变量声明，获取类型信息
        foreach (var variableDecl in asyncMethod.DescendantNodes().OfType<VariableDeclarationSyntax>()) {
            var typeInfo = semanticModel.GetTypeInfo(variableDecl.Type);
            Console.WriteLine($"变量类型：{typeInfo.Type}");
        }
        Console.ReadLine();
    }
}

这段代码会直接输出System.String和System.Int32，而且能处理更复杂的场景（比如类型推断、泛型变量、嵌套作用域等）。

方案对比 #

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