Могу ли я сказать C # обнуляемым ссылкам, что метод по сути является пустой проверкой на поле

Рассмотрим следующий код:

#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. Есть много причин, чтобы захотеть включить нулевую проверку в свой собственный метод, но это, похоже, нарушает проверку ссылок на пустые значения.

Я осмотрел различные атрибуты 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();
    }
}

Я знаю, это выглядит довольно громоздко. Вы можете посмотреть в документах MSDN об атрибутах , которые можно обнулять , возможно, вы найдете что-то более аккуратное

String является ссылочным типом, а Nullable (например 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();
        }
    }
}