异步函数中本地值类型的GC行为：同步与异步执行差异

问题背景 #

假设存在以下场景：

• 一个异步函数
• 在async/await节点前初始化了一个值类型变量
• 该值类型未逃逸出当前函数

代码示例：

readonly struct MyStruct : IDisposable
{
    // ... 字段、IDisposable实现等 ...
}

async Task test()
{
    using var myStructInstance = GetMyStruct(); // 外部函数返回MyStruct实例
    await SomethingElse();
}

想明确后续异步调用在不同执行方式下对系统GC行为的影响，具体问题：

1. 若SomethingElse()同步返回，是否可认为myStructInstance完全保留在栈上，无堆内存分配？
2. 若SomethingElse()挂起异步执行，myStructInstance会被提升为堆上受GC跟踪的独立对象吗？还是因其生命周期严格绑定生成的异步状态机，成为状态机内存布局的一部分，不被GC单独跟踪？

核心目的：明确异步函数中本地使用的值类型是否可能增加GC压力，或是影响极小。

回答 #

1. SomethingElse()同步返回的情况 #

当await的任务同步完成时，C#编译器会触发同步路径优化：不会生成堆上的异步状态机对象。此时myStructInstance作为本地值类型变量，完全存活在栈上，不会产生任何堆内存分配，也不会给GC带来额外压力。

2. SomethingElse()挂起异步执行的情况 #

当任务需要挂起时，异步状态机对象会被分配到堆上。此时myStructInstance会作为状态机结构体的一个字段被包含进去——它不是独立的堆对象，只是状态机内存布局的一部分。GC只会跟踪整个状态机对象，不会单独处理这个值类型字段。

这种情况下，GC压力仅来自状态机本身的堆分配，值类型只是占用状态机对象内的部分内存空间，不会产生额外的GC跟踪负担，对GC的影响极小。

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