为何C#编译器无法识别构造函数退出前变量已非空？

你的代码如下：

public class Document
{
    private string file_path;
    public Document()
    {
        InitializeDocument();
    }
    private void InitializeDocument()
    {
        file_path = @"C:\mydocument.doc";
    }
}

编译时触发的错误：

CS8618: Non-nullable field 'file_path' must contain a non-null value when exiting constructor. Consider adding 'required' modifier or declaring the field as nullable.

错误原因 #

C#的静态空值分析器无法追踪构造函数外部方法对字段的赋值——它只会检查构造函数体内的直接赋值、字段的初始值，或者标记为required的属性/字段是否被初始化。虽然实际运行时file_path确实会被赋值，但编译器的静态检查看不到这一点，所以依然报错。

几种解决方案 #

1. 直接在构造函数内赋值

把初始化逻辑移到构造函数里，让编译器能直接看到赋值操作：

public class Document
{
    private string file_path;
    public Document()
    {
        file_path = @"C:\mydocument.doc";
    }
}

2. 给字段添加初始值设定项

如果初始化逻辑简单，直接在字段声明时赋值：

public class Document
{
    private string file_path = @"C:\mydocument.doc";
    public Document()
    {
        // 若有其他初始化逻辑可保留，否则可以为空构造
    }
}

3. 用非空断言告诉编译器字段会被赋值

如果必须保留InitializeDocument方法（比如初始化逻辑复杂），可以用null!断言标记字段，明确告诉编译器“这个字段肯定不会为空”：

public class Document
{
    private string file_path = null!;
    public Document()
    {
        InitializeDocument();
    }
    private void InitializeDocument()
    {
        file_path = @"C:\mydocument.doc";
    }
}

注意：使用断言后要确保InitializeDocument一定会被调用赋值，否则运行时可能出现空引用异常。

4. 将字段标记为可空（不推荐，除非业务允许）

如果业务逻辑中file_path确实可能为空，可以把字段改为可空类型：

private string? file_path;

但这个方案不符合你当前的需求，仅作为补充选项。

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