Puis-je dire aux références nullables C # qu'une méthode est effectivement une vérification nulle sur un champ

Considérez le code suivant:

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

Sur Name = Name.ToUpper (), je reçois un avertissement indiquant que Name est une référence null possible, ce qui est clairement incorrect. Je peux remédier à cet avertissement en insérant HasName afin que la condition soit if (Name! = Null).

Existe-t-il un moyen de dire au compilateur qu'une vraie réponse de HasName implique une contrainte de non-nullité sur Name?

Ceci est important car HasName pourrait en fait tester beaucoup plus de choses, et je pourrais vouloir l'utiliser à plusieurs endroits, ou il pourrait être une partie publique de la surface de l'API. Il existe de nombreuses raisons de vouloir factoriser la vérification nulle dans sa propre méthode, mais cela semble casser le vérificateur de référence nullable.

J'ai regardé les différents attributs de System.Diagnostics.CodeAnalysiset je n'ai rien trouvé qui soit applicable, ce qui est très décevant. Le plus proche de ce que vous voulez semble être:

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

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

Ça a l'air assez lourd, je sais. Vous pouvez consulter les documents MSDN pour les attributs nullables , peut-être trouverez-vous quelque chose de plus propre.

La chaîne est un type de référence et nullable (par exemple int?) est un type de valeur nullable. Vous ne pouvez donc pas vraiment faire cela string? myString; Vous avez besoin de ceci:

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