如何处理不准确的CS8602「可能为 null」警告？

问题场景 #

启用可空引用类型（#nullable enable）后，以下代码中Print()方法访问字段o时触发CS8602（可能为空的引用的取消引用）警告，但从代码逻辑来看，Print()仅会在Prepare()之后被调用，此时o必然被赋值为非空值，且Print()是私有方法，不存在其他调用路径。

using System;

#nullable enable
public class Program
{
    public static void Main()
    {
        Console.WriteLine("Hello World");
        var p = new Program();
        p.Go();
    }
    
    object? o;
    public void Go()
    {
        Prepare();
        Print();
    }
    
    private void Prepare()
    {
        o = "Test String";
    }
    private void Print()
    {
        Console.WriteLine(o.ToString()); // dereference of a possibly null reference
    }
}

原因：编译器的静态分析限制 #

编译器的可空引用类型分析不会追踪跨方法的字段赋值状态。即使Go()中严格遵循先Prepare()后Print()的顺序，编译器也不会假设所有调用Print()的场景都满足o已初始化——哪怕Print()是私有方法，编译器也不会做这种跨方法的流程关联推导。它仅分析Print()方法内部的上下文：字段o的声明类型是object?，因此判定存在空引用风险，触发警告。

合理解决方法 #

1. 非空断言运算符! #

在确定o非空的场景下，使用!明确告知编译器该引用不会为空，这是最直接的方式，且在你能保证逻辑正确性的前提下，不属于“坏味道”：

private void Print()
{
    Console.WriteLine(o!.ToString());
}

2. 传递参数替代字段依赖 #

修改Print()方法，将o作为参数传入，让编译器能直接追踪参数的非空状态，同时让代码依赖更明确：

public void Go()
{
    Prepare();
    Print(o!);
}

private void Print(object obj)
{
    Console.WriteLine(obj.ToString());
}

由于Prepare()已为o赋值，这里的o!也可省略（编译器能识别Go()中Prepare()后的o非空）。

3. 用属性保证运行时与编译时的非空性 #

通过封装属性，既让编译器识别非空状态，又能在意外未初始化时抛出明确异常：

private object? _o;
private object O => _o ?? throw new InvalidOperationException("请先调用Prepare()初始化");

private void Prepare()
{
    _o = "Test String";
}

private void Print()
{
    Console.WriteLine(O.ToString());
}

4. 调整字段初始化逻辑 #

如果o在类实例化后必然会被初始化，可直接将字段声明为非空类型，并在构造函数或初始化时赋值：

private object o;

public Program()
{
    // 或在构造函数中调用Prepare()
    o = "Test String";
}

但此方法仅适用于o不存在空状态的场景。

内容的提问来源于stack exchange，提问作者Mr. Boy