¿Puedo decirle a C # referencias anulables que un método es efectivamente una verificación nula en un campo

Considere el siguiente código:

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

En Name = Name.ToUpper () recibo una advertencia de que Name es una posible referencia nula, que es claramente incorrecta. Puedo curar esta advertencia al incluir HasName para que la condición sea if (Name! = Null).

¿Hay alguna forma de indicarle al compilador que una respuesta verdadera de HasName implica una restricción de nulabilidad en Name?

Esto es importante porque HasName en realidad podría probar muchas más cosas, y podría querer usarlo en varios lugares, o podría ser una parte pública de la superficie API. Hay muchas razones para querer incluir la verificación nula en su propio método, pero hacerlo parece romper el verificador de referencia anulable.

Observé los diferentes atributos System.Diagnostics.CodeAnalysisy no pude encontrar nada aplicable, lo cual es muy decepcionante. Lo más cercano que puede llegar a lo que quiere parece ser:

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

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

Parece bastante engorroso, lo sé. Puede buscar en los documentos de MSDN atributos anulables , tal vez encuentre algo más ordenado.

La cadena es un tipo de referencia y anulable (p int?. Ej. ) Son tipos de valores anulables. Entonces realmente no puedes hacer esto string? myString; Lo que necesitas es esto:

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