c# - 可为空的引用类型和构造函数警告

Question

我试图在我的项目中采用 C# 8 的可为空引用类型，并使其与 EF Core 一起顺利工作。

关注 this guide ，我使我的实体类具有接受初始化其不可为空属性所需的所有数据的构造函数:

public class MyEntity
    {
        public MyEntity(int someNumber, string name, string shortName, bool active)
        {
            SomeNumber= someNumber;
            Name = name;
            ShortName = shortName;
            Active = active;
        }

        public int SomeNumber { get; set; }
        public string Name { get; set; }
        public string ShortName { get; set; }
        public string? SomethingOptional { get; set; }
        public bool Active { get; set; }
    }

在我的业务案例中，我有时需要更新实体的所有属性。我可以使用属性 setter ，但由于我想通过加倍初始化语法来确保不会遗漏任何内容(实际上我的实体可以有 10 个或更多属性)，为了方便起见，我决定创建一个公共(public) Update() 函数并调用它而不是构造函数体:

        public MyEntity(int someId, string name, string shortName, bool active)
        {
            Update(someId, name, shortName, active);
        }

        public void Update(int someId, string name, string shortName, bool active)
        {
            SomeNumber = someId;
            Name = name;
            ShortName = shortName;
            Active = active;
        }

现在，在创建实体时，我调用构造函数，在更改它时，我调用 Update()。
但是，现在编译器给出了可空性警告 (CS8618)，即构造函数 未初始化不可空属性。 .显然无法猜测调用 Update 会初始化它们。

我可能用这个 Update() 方法过度设计了它，但现在我很好奇 有没有办法让编译器相信我的构造函数会初始化属性 ?

Answer 1

确实有点冗长，但是可以使用 [MemberNotNull] .NET 5 中的属性告诉编译器方法确保成员在返回后不为空。

using System.Diagnostics.CodeAnalysis;
    
public class MyEntity
{
    [MemberNotNull(nameof(Name), nameof(ShortName))]
    public void Update(int someId, string name, string shortName, bool active)
    {
        SomeNumber = someId;
        Name = name;
        ShortName = shortName;
        Active = active;
    }
}