如何告知C#编译器方法返回对象的可空属性实际非空？

当类的属性标记为可空，但特定方法返回的对象该属性实际始终非空时，有几种严谨的方式告知编译器，消除“可能为空引用的解引用”警告：

1. 使用MemberNotNull属性（C# 8.0+） #

给方法添加[MemberNotNull(nameof(Seat.Person))]属性，明确告知编译器：调用此方法返回的Seat对象中，Person成员一定非空。

修改后的代码示例：

using System.Diagnostics.CodeAnalysis;

var seat = GetOccupiedSeat();
Console.WriteLine(seat.Person.Name); // 不再有警告

[MemberNotNull(nameof(Seat.Person))]
private Seat GetOccupiedSeat()
{
    return new Seat(new Person("Bob"));
}

public class Seat
{
    public bool IsAvailable => Person == null;
    public Person? Person { get; set; }

    public Seat(Person? person = null)
    {
        Person = person;
    }
}

public class Person
{
    public string Name { get; set; }
    public Person(string name)
    {
        Name = name;
    }
}

该属性需要引用System.Diagnostics.CodeAnalysis命名空间，专门用于告诉静态分析工具，方法返回对象的指定成员不会为null。

2. 创建表示非空状态的派生类 #

如果业务逻辑中Seat明确区分“已占用”和“可用”两种状态，可以拆分派生类，让OccupiedSeat的Person属性为非空类型，从根源避免警告：

var seat = GetOccupiedSeat();
Console.WriteLine(seat.Person.Name); // 无警告

private OccupiedSeat GetOccupiedSeat()
{
    return new OccupiedSeat(new Person("Bob"));
}

public class Seat
{
    public bool IsAvailable => Person == null;
    public Person? Person { get; protected set; }

    protected Seat(Person? person = null)
    {
        Person = person;
    }
}

public class OccupiedSeat : Seat
{
    public new Person Person { get; }

    public OccupiedSeat(Person person) : base(person)
    {
        Person = person;
    }
}

public class Person
{
    public string Name { get; set; }
    public Person(string name)
    {
        Name = name;
    }
}

这种方式贴合业务语义，通过类型系统本身约束状态，无需额外属性标记。

3. 快速方案：使用null原谅运算符! #

若需临时解决警告且能确保逻辑正确性，可在可空属性后添加!，强制告知编译器该值不会为null：

var seat = GetOccupiedSeat();
Console.WriteLine(seat.Person!.Name); // 无警告

注意：这种方式不够严谨，后续代码修改若破坏GetOccupiedSeat的约定，编译器不会再给出警告，存在潜在风险。

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