C#闭包DisplayClass为何不按需创建？堆分配优化疑问

一、三个代码版本的编译降阶结果 #

版本1：使用静态回调方法 #

原逻辑：Test方法调用GetOrAdd时传入静态的TestCallback方法。
编译降阶后，编译器生成仅初始化一次的静态辅助类，关联静态回调：

// 编译器生成的静态辅助类（仅创建一次）
private static class DisplayClass_0
{
    public static readonly Func<object> TestCallback = new Func<object>(TestCallbackImpl);

    private static object TestCallbackImpl()
    {
        // 原TestCallback的业务逻辑
        return new object();
    }
}

public void Test(string x)
{
    if (x != "abort")
    {
        _cache.GetOrAdd("key", DisplayClass_0.TestCallback);
    }
}

特点：静态辅助类及内部Func实例仅首次使用时创建，后续调用复用，无重复堆分配。

版本2：使用实例回调方法 #

原逻辑：TestCallback改为当前类的实例方法，仅在GetOrAdd调用时传入。
编译降阶后，Func实例仅在进入目标分支时创建：

public void Test(string x)
{
    if (x != "abort")
    {
        // 仅执行到此处时创建Func实例
        Func<object> callback = new Func<object>(this.TestCallback);
        _cache.GetOrAdd("key", callback);
    }
}

private object TestCallback()
{
    // 原实例方法业务逻辑
    return new object();
}

特点：Func实例的创建被延迟到实际需要的分支，仅x != "abort"时产生堆分配。

版本3：传入外部Func参数 #

原逻辑：Test方法新增Func<object> callback参数，无论x是否为"abort"，每次调用都会创建闭包类及Func实例。
编译降阶后，闭包类实例在方法入口处即被创建：

// 编译器生成的闭包类
private sealed class DisplayClass_1
{
    public Func<object> callback;

    public object LambdaImpl()
    {
        return callback();
    }
}

public void Test(string x, Func<object> callback)
{
    // 方法进入时立即创建闭包实例，与后续分支是否执行无关
    DisplayClass_1 closure = new DisplayClass_1();
    closure.callback = callback;
    Func<object> lambda = new Func<object>(closure.LambdaImpl);

    if (x != "abort")
    {
        _cache.GetOrAdd("key", lambda);
    }
}

特点：闭包类实例和Func实例在Test调用时就会创建，即便x == "abort"不执行缓存逻辑，堆分配依然发生。

二、编译逻辑疑问解答 #

上述降阶代码完全符合C#编译器的实际编译逻辑。闭包类（DisplayClass）不延迟创建的原因主要有三点：

1. 变量捕获的语义一致性：C#规范要求捕获的变量生命周期与包含它的方法一致。延迟创建闭包会导致变量引用时机不确定，破坏语义一致性。
2. 编译器优化的复杂度限制：精准判断闭包是否会被执行需要复杂的数据流分析，对于逻辑复杂的代码，编译器很难确保优化无误，因此选择在方法入口统一创建闭包实例。
3. 避免潜在副作用：如果闭包捕获的变量在创建前被修改，延迟创建可能导致捕获的值不符合预期。提前创建能保证变量捕获时机稳定。

三、改进后GetOrDefineMetadata方法的分配情况 #

改进后的逻辑是先调用TryGetValue尝试获取缓存，失败再调用GetOrAdd，这种情况下仅当缓存未命中时才会产生堆分配：

• 若TryGetValue成功，直接返回缓存值，不会执行GetOrAdd分支，也就不会创建Func实例或闭包类。
• 若TryGetValue失败，才进入GetOrAdd分支，此时才会创建对应的Func实例或闭包类实例，产生堆分配。

需要注意：如果GetOrAdd传入的是捕获外部变量的闭包，且闭包仅在该分支内定义使用，编译器会将闭包类的创建延迟到分支内部，避免不必要的分配；只有当闭包定义在分支外部时，才会提前创建。

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