如何为引用类型字段的Setter正确标注可空性以解决CS8618警告？

这个编译器警告其实不是假阳性，而是C#的空值静态分析有它的局限——它不会自动深入到SetField方法内部去追踪字段赋值的逻辑。它只看到_foo是一个未初始化的非空字段，构造函数里又没有直接给它赋值，所以就抛出了CS8618。不过我们可以通过添加正确的空值注解来引导编译器的分析，不用修改核心的代码逻辑。

方法1：给SetField<T>方法添加空值注解 #

真正负责给字段赋值的是基类的SetField<T>方法，所以我们需要在这个方法上添加注解，告诉编译器：当这个方法被调用后，传入的ref字段一定会被设置为非null值。

具体要做这两个修改：

1. 给SetField<T>添加[MemberNotNull(nameof(field))]注解，明确告知编译器，方法执行完成后，传入的field参数（也就是子类的_foo字段）会变成非null。
2. 给方法加上where T : notnull泛型约束，强化对非空类型的限制，帮助编译器更准确地分析。

修改后的基类代码如下：

using System.ComponentModel;
using System.Diagnostics.CodeAnalysis;
using System.Collections.Generic;

public abstract class PropertyChangeNotifierBase : INotifyPropertyChanged
{
    public event PropertyChangedEventHandler? PropertyChanged;

    protected void OnPropertyChanged(string propertyName) 
        => PropertyChanged?.Invoke(this, new PropertyChangedEventArgs(propertyName));

    [MemberNotNull(nameof(field))]
    protected bool SetField<T>(ref T field, T value, [CallerMemberName] string propertyName = "")
        where T : notnull
    {
        if (EqualityComparer<T>.Default.Equals(field, value)) return false;
        field = value;
        OnPropertyChanged(propertyName);
        return true;
    }
}

这样修改后，编译器就能理解：当子类构造函数里调用FooProperty = fooValue时，底层的SetField会确保_foo被赋值为非null，CS8618警告自然就会消失。

方法2：直接在构造函数中初始化字段（不推荐） #

如果你不想用注解，也可以直接在构造函数里给_foo赋值，再手动触发变更通知，但这样会破坏我们用SetField统一处理变更逻辑的封装性，不建议这么做：

public PropertyChanger(Foo fooValue)
{
    _foo = fooValue;
    OnPropertyChanged(nameof(FooProperty));
}

为什么之前的尝试没用？ #

你之前给子类的FooProperty加[MemberNotNull(nameof(_foo))]注解，这个思路方向对，但没找对位置——因为编译器还是不知道属性的setter内部到底做了什么。只有在真正修改字段的SetField方法上添加注解，才能让编译器追踪到整个赋值链路的空值状态。

备注：内容来源于stack exchange，提问作者Hydrargyrum