メソッドが事実上フィールドのnullチェックであることをC＃のnull可能参照に通知できますか

次のコードを検討してください。

#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がnull参照の可能性があるという警告が表示されますが、これは明らかに正しくありません。HasNameをインライン化することでこの警告を解決できるため、条件は（Name！= null）になります。

HasNameからの真の応答がNameにnull可能でない制約を意味することをコンパイラーに指示する方法はありますか？

HasNameは実際により多くのことをテストする可能性があり、いくつかの場所で使用したり、APIサーフェスのパブリック部分になる可能性があるため、これは重要です。nullチェックを独自のメソッドに組み込む理由はたくさんありますが、そうすることでnull可能な参照チェッカーが機能しなくなるようです。

からさまざまな属性を調べましたが、System.Diagnostics.CodeAnalysis該当するものが見つからなかったため、非常に残念です。あなたが望むものに到達できる最も近いものは次のようです：

public bool TryGetName([NotNullWhen(true)] out string? name)
{
    name = Name;
    return name != null;
}

public void NameToUpperCase()
{
    if (TryGetName(out var name))
    {
        Name = name.ToUpper();
    }
}

かなり扱いにくいように見えます。null可能な属性については、MSDNのドキュメントを参照してください。きちんとしたものが見つかる可能性があります。

文字列は参照型であり、nullable（egなどint?）はnullable値型です。したがって、これを実際に行うことはできませんstring? myString。あなたが必要なのはこれです：

class Foo
{
    public string Name { get; set; }
    public bool HasName => !String.IsNullOrEmpty(Name);  ////assume you want empty to be treated same way as null
    public void NameToUpperCase()
    {
        if (HasName)
        {
            Name = Name.ToUpper();
        }
    }
}