Que funções e ferramentas para trabalhar com null safety foram introduzidas no Dart 2.12?

No Dart 2.12, foi introduzido o suporte à null safety, um sistema que ajuda a evitar erros relacionados com valores nulos. Funções e ferramentas principais:

• Tipos anuláveis e não anuláveis: por padrão, os tipos não podem ser null para evitar erros NullPointerException. Para permitir null, usa-se ?, por exemplo, String?.
• Operadores de verificação de null: ! (assegura que não é null), ?? (operador "se null, então"), ?. (chamada segura de método ou propriedade).
• Análise em tempo de compilação: o compilador verifica se as variáveis não são usadas sem inicialização ou verificação de null.

Exemplo:

String? name; // pode ser null

void greet() {
  if (name != null) {
    print('Olá, ${name!}'); // ! indica ao compilador que name não é null
  } else {
    print('Olá, convidado');
  }
}