Dapatkah saya memberi tahu C # nullable referensi bahwa suatu metode secara efektif merupakan pemeriksaan nol pada suatu bidang

Pertimbangkan kode berikut:

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

Pada Name = Name.ToUpper () saya mendapat peringatan bahwa Name adalah referensi nol, yang jelas salah. Saya bisa menyembuhkan peringatan ini dengan memasukkan HasName sehingga kondisinya adalah jika (Nama! = Null).

Apakah ada cara saya bisa menginstruksikan kompiler bahwa tanggapan sebenarnya dari HasName menyiratkan kendala non-nullability pada Nama?

Ini penting karena HasName mungkin sebenarnya menguji lebih banyak hal, dan saya mungkin ingin menggunakannya di beberapa tempat, atau mungkin menjadi bagian publik dari permukaan API. Ada banyak alasan untuk ingin memasukkan cek nol ke dalam metode itu sendiri, tetapi hal itu tampaknya mematahkan pemeriksa referensi nullable.

Saya melihat-lihat atribut yang berbeda dari System.Diagnostics.CodeAnalysisdan saya tidak dapat menemukan sesuatu yang berlaku, yang sangat mengecewakan. Tampaknya yang paling dekat dengan apa yang Anda inginkan adalah:

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

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

Kelihatannya cukup rumit, saya tahu. Anda dapat melihat pada dokumen MSDN untuk atribut yang dapat dibatalkan , mungkin Anda akan menemukan sesuatu yang lebih rapi.

String adalah tipe referensi, dan nullable (misalnya int?) adalah tipe nilai nullable. Jadi Anda tidak bisa melakukan ini string? myString; Yang Anda butuhkan adalah ini:

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();
        }
    }
}