Quali funzioni e strumenti per lavorare con la null safety sono stati introdotti in Dart 2.12?

In Dart 2.12 è stata introdotta la supporto alla null safety, un sistema che aiuta a evitare errori legati ai valori null. Funzioni e strumenti principali:

• Tipi nullable e non nullable: per impostazione predefinita, i tipi non possono essere null per evitare errori NullPointerException. Per consentire null si usa ?, ad esempio, String?.
• Operatori di verifica null: ! (assert non null), ?? (operatore "se null, allora"), ?. (chiamata sicura di metodo o proprietà).
• Analisi in tempo di compilazione: il compilatore verifica che le variabili non siano usate senza inizializzazione o controllo null.

Esempio:

String? name; // può essere null

void greet() {
  if (name != null) {
    print('Ciao, ${name!}'); // ! indica al compilatore che name non è null
  } else {
    print('Ciao, ospite');
  }
}