Czy mogę powiedzieć C # zerowalne odwołania, że ​​metoda jest faktycznie kontrola zerowa w polu

Rozważ następujący kod:

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

Na Name = Name.ToUpper () pojawia się ostrzeżenie, że Name to możliwe odwołanie zerowe, co jest wyraźnie niepoprawne. Mogę wyleczyć to ostrzeżenie, wpisując HasName, więc warunkiem jest if (Nazwa! = Null).

Czy jest jakiś sposób, w jaki mogę pouczyć kompilator, że prawdziwa odpowiedź HasName implikuje ograniczenie związane z brakiem wartości dopuszczalnej dla Name?

Jest to ważne, ponieważ HasName może faktycznie przetestować o wiele więcej rzeczy i może chciałbym użyć go w kilku miejscach lub może to być publiczna część powierzchni API. Istnieje wiele powodów, dla których warto uwzględnić sprawdzanie wartości NULL we własnej metodzie, ale wydaje się, że powoduje to uszkodzenie sprawdzania wartości referencyjnych.

Rozejrzałem się po różnych atrybutach System.Diagnostics.CodeAnalysisi nie mogłem znaleźć niczego odpowiedniego, co jest bardzo rozczarowujące. Najbliżej tego, co możesz osiągnąć, wydaje się być:

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

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

Wiem, wygląda to dość nieporęcznie. Możesz zajrzeć do dokumentów MSDN pod kątem atrybutów zerowalnych , może znajdziesz coś fajniejszego.

String jest typem odniesienia, a nullable (np. int?) To typy wartości nullable. Więc tak naprawdę nie możesz tego zrobić string? myString; Potrzebujesz tego:

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