为什么C#编译器将无闭包匿名委托生成为实例方法而非静态方法

问题背景 #

原始代码 #

static class Program
{
    static void Main(string[] args)
    {
        Action action = () => Console.WriteLine("Test");
        action();
    }
}

反编译后的编译器真实生成代码 #

（.NET 5环境，ILSpy禁用「反编译匿名方法」选项）

internal static class Program
{
    [Serializable]
    [CompilerGenerated]
    private sealed class <>c
    {
        public static readonly <>c <>9 = new <>c();

        public static Action <>9__0_0;

        internal void <Main>b__0_0()
        {
            Console.WriteLine("Test");
        }
    }

    private static void Main(string[] args)
    {
        (<>c.<>9__0_0 ?? (<>c.<>9__0_0 = <>c.<>9.<Main>b__0_0))();
    }
}

疑问 #

<Main>b__0_0方法没有捕获任何局部变量或状态，为什么它必须是另一个类型的实例方法，而不是Program类型的静态方法？

解答 #

• 命名隔离需求：C#规范要求编译器生成的成员不能和用户手动编写的成员产生冲突。把所有匿名方法相关的生成逻辑都收拢到独立的私有嵌套类<>c中，可以完全隔离用户代码和编译器生成代码的命名空间，从根源上避免成员重名问题。如果直接在Program类生成静态方法，即使使用特殊命名，也不符合代码内聚的设计原则。
• 统一闭包实现逻辑：编译器处理匿名委托时不用区分「有捕获变量/无捕获变量」两种场景，复用同一套嵌套类生成逻辑即可，大幅降低编译器的实现复杂度，减少边界异常的出现概率。有捕获变量的匿名委托本身就需要嵌套类存储捕获的局部变量，无捕获场景复用这套逻辑不会产生额外的性能损耗。
• 委托缓存逻辑兼容：示例中的代码已经实现了委托实例的全局缓存，避免重复创建委托对象。这套缓存逻辑基于嵌套类的静态字段实现，无状态匿名方法作为嵌套类的实例方法，配合单例的<>c实例使用，性能和静态方法几乎一致，同时能和有捕获场景的委托创建逻辑保持统一。
• 避免用户类型成员污染：如果每个无捕获匿名委托都在用户定义的类中生成静态方法，会导致用户类的成员列表膨胀，反射获取用户类成员时会混入大量编译器生成的无关方法。收拢到私有嵌套类中后，这些生成成员默认不会对外暴露，不会干扰用户对原类型的使用。

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