"L'opérateur ne peut pas être invoqué inconditionnellement car le récepteur peut être nul" Erreur après avoir migré vers la sécurité nul de Dart

L'ingénieur de dart Erik Ernst indique sur github :

La promotion de type ne s'applique qu'aux variables locales. ... La promotion d'une variable d'instance n'est pas solide, car elle pourrait être remplacée par un getteur qui exécute un calcul et renvoie un objet différent chaque fois qu'il est invoqué. Cf. dart-lang / langage # 1188 Pour les discussions sur un mécanisme similaire à type promotion mais basée sur des vérifications dynamiques, avec quelques liens vers des discussions connexes.

La promotion de type local fonctionne donc:

class MyClass {
  String? _myString;
  
  String myMethod() {
    if (_myString == null) {
      return '';
    }
    
    return _myString!;
  }
}

mais les variables d'instance ne font pas la promotion. Pour cela, vous devez dire manuellement à Dart que vous êtes sûr que la variable d'instance n'est pas nul dans ce cas en utilisant l'opérateur ! :

  String myMethod(String? myString) {
    if (myString == null) {
      return '';
    }
    
    return myString;
  }

p>

L'erreur:

Disons, c'est votre code et vous faites une vérification nul sur la variable d'instance et en voyant toujours une erreur:

double bar() {
  return i!.toDouble(); // <-- Bang operator in play.
}

La méthode «Todouble» ne peut pas être invoquée inconditionnellement car le récepteur peut être «nul».

L'erreur que vous voyez dans le code comme celle-ci est parce que les getters ne sont pas promus avec leurs homologues non nuls . Parlons de la raison.

---

Raison de l'erreur:

Disons, il y a une classe bar qui étend foo et remplacer i variable et ne lui attribue aucune valeur (en gardant null ):

double bar() {
  return i?.toDouble() ?? -1; // Provide some default value.
}

Donc, si vous pouviez faire

double bar() {
  var i = this.i; // <-- Use of local variable.
  if (i != null) return i.toDouble();
  return -1;
}

, vous auriez rencontré une erreur nulle d'exécution, c'est pourquoi la promotion de type Getters est interdite.

---

Solutions:

Nous devons rejeter la nullabilité de int? . Il existe généralement 3 façons de le faire (plus de façons d'inclure l'utilisation de comme , est , etc.)

• Utilisez la variable locale (recommandée)

  print(Bar().func() * 2);
  

• utilisation ?. avec ??

  class Bar extends Foo {
    @override
    int? i;
  }
  

• Utilisez l'opérateur de bang (!)

  Vous ne devez utiliser cette solution que lorsque vous êtes sûr à 100% que la variable ( i ) ne sera jamais null .

  class Foo {
    int? i = 0;
  
    double func() {
      if (i != null) return i.toDouble(); // <-- Error
      return -1;
    }
  }
  

Style: thème.of (Context) .TextTheme.headline5! .CopyWith (

style: Theme.of(context).textTheme.headline5!.copyWith(
                        color: Colors.white

Essayez de rendre l'appel conditionnel en utilisant? Ou un vérificateur de sécurité nul -!

p>