C#异步方法中的值类型局部变量会保存在哪里？-C#.Net教程-PHP中文网

在c#异步方法中，值类型局部变量通常保存在栈上，但在编译器生成的状态机结构体中，它们会被提升为字段并存储在堆上的状态机对象实例中。这是因为异步方法的执行可能被挂起和恢复，需要持久化保存所有局部变量的状态。

C#异步方法中的值类型局部变量会保存在哪里？

异步方法编译后的状态机结构是怎样的

当C#编译器遇到`async`关键字时，会将方法重写为一个实现了`IAsyncStateMachine`接口的结构体。该结构体包含一个`CurrentState`字段用于跟踪执行位置，以及所有被`await`跨越的局部变量作为字段。这些字段在堆上分配的状态机对象中被存储。

C#异步方法中的值类型局部变量会保存在哪里？

using System;
using System.Runtime.CompilerServices;

public class Program
{
    public static async Task Main()
    {
        int localValue = 42;
        await Delay();
        Console.WriteLine(localValue);
    }

    private static async Task Delay()
    {
        await Task.Delay(100);
    }
}

// 编译器生成的简化状态机示意：
// struct <main>d__0 : IAsyncStateMachine
// {
//     public int CurrentState;
//     public int localValue; // 原局部变量成为字段
//     public AsyncMethodBuilder<task> builder;
//     // ... 其他成员
// }</task></main>

上述代码展示了简单的异步方法。编译器会将`localValue`从栈上的局部变量提升为状态机结构体的字段。当调用`Delay()`时，如果任务未完成，当前执行点挂起，`localValue`的值保存在堆上的状态机对象中，以便后续恢复时能继续使用。

哪些局部变量会被提升到状态机中

只有那些生命周期跨越`await`表达式的局部变量才会被提升到状态机结构体中。如果在`await`之前声明且仅在`await`之前使用的局部变量，可能仍保留在栈上或通过优化处理。但为了安全起见，编译器通常会将所有在异步方法中声明的局部变量都纳入状态机，除非经过严格的逃逸分析证明不需要持久化。

"避开 C# 常见错误——空陷阱、异步陷阱、LINQ 陷阱及资源泄漏。"

下载

C#异步方法中的值类型局部变量会保存在哪里？

using System;
using System.Threading.Tasks;

public class Example
{
    public static async Task Test()
    {
        int beforeAwait = 10; // 仅在使用前存在，可能不提升
        int afterAwait = 20;  // 在await后使用，必须提升
        
        await Task.Delay(100);
        
        Console.WriteLine(beforeAwait); // 使用前需确保已提升
        Console.WriteLine(afterAwait);  // 必须从状态机读取
    }
}

在这个例子中，`beforeAwait`和`afterAwait`都可能被提升为状态机的字段，因为编译器难以精确优化它们的生存期。实际行为取决于编译器的优化策略，但通常所有局部变量都会被纳入状态机以确保正确性。这会导致额外的内存分配在堆上，而非栈上。