为何同一文件中非文件局部类无法声明文件局部类型的私有成员？

首先明确：CS9051的限制是C#编译器的硬性规则——文件局部类型（file修饰）不能出现在非文件局部类型的成员签名中，哪怕这个成员是私有也不例外。

为什么会有这个限制？ #

核心原因是元数据暴露与作用域隔离的冲突：

• 非file修饰的类（比如示例中的public Class1），它的所有成员的类型信息都会被写入程序集的元数据。即使是私有成员，通过反射等手段也能读取到其类型定义，这意味着这些类型信息会被暴露到当前文件之外的程序集范围内。
• file类型的设计初衷是严格限定在单个文件内隔离，编译器不允许它出现在跨文件可见的元数据中，否则就违背了file修饰符的“文件局部”隔离目标。

为什么方法内的局部变量可以使用？ #

方法内部的局部变量class2，它的类型信息不会被写入类的元数据，只在方法的执行逻辑内部有效，完全不会泄露到文件之外。这种使用场景完全符合file类型的作用域限制，因此编译器允许这么做。

如何解决这个问题？ #

如果确实需要在Class1中持有Class2类型的成员，只需把Class1也改为文件局部类即可，这样两个类都处于同一文件局部作用域内，成员声明就合法了：

file class Class1
{
    private Class2 _class2; // 无编译错误

    private void Something()
    {
        Class2 class2;
    }
}

file class Class2
{

}

关于实用性的疑问 #

这个限制并不是降低file修饰符的实用性，而是为了严格维护其“文件局部”的隔离承诺。如果允许非file类持有file类型成员，就会出现类型信息泄露的风险，破坏file修饰符的设计意图。如果你的场景需要跨类持有成员，但又不想暴露类型到文件外，将相关类都标记为file是最合规的做法。

内容的提问来源于stack exchange，提问作者rory.ap