我可以告诉C＃可为空的引用方法实际上是对字段的空检查吗

Question

考虑以下代码：

#nullable enable
class Foo
{
    public string? Name { get; set; }
    public bool HasName => Name != null;
    public void NameToUpperCase()
    {
        if (HasName)
        {
            Name = Name.ToUpper();
        }
    }
}

在Name = Name.ToUpper（）上，我收到一条警告，指出Name是可能的空引用，这显然是错误的。我可以通过内联HasName来解决此警告，因此条件是if（Name！= null）。

有什么方法可以指示编译器，HasName的真实响应暗含对Name的不可为空性的约束？

这很重要，因为HasName实际上可能会测试更多的东西，并且我可能想在多个地方使用它，或者它可能是API表面的公共部分。有很多原因希望将空检查纳入其自己的方法中，但是这样做似乎破坏了可空引用检查器。

Answer 1

更新：

C# 9.0 以MemberNotNullWhenAttribute的形式介绍了您正在寻找的内容。在您的情况下，您想要：

#nullable enable
class Foo
{
    public string? Name { get; set; }

    [MemberNotNullWhen(true, nameof(Name))]
    public bool HasName => Name != null;
  
    public void NameToUpperCase()
    {
        if (HasName)
        {
            Name = Name.ToUpper();
        }
    }
}

还有用于无条件断言的MemberNotNullAttribute。

旧答案：

我环顾四周，System.Diagnostics.CodeAnalysis找不到任何适用的属性，这非常令人失望。你能得到的最接近你想要的东西似乎是：

#nullable enable
class Foo
{
    public string? Name { get; set; }

    [MemberNotNullWhen(true, nameof(Name))]
    public bool HasName => Name != null;
  
    public void NameToUpperCase()
    {
        if (HasName)
        {
            Name = Name.ToUpper();
        }
    }
}

这看起来很麻烦，我知道。您可以查看可空属性的 MSDN 文档，也许您会发现更简洁的内容。