¿Qué funciones y herramientas para trabajar con null safety se introdujeron en Dart 2.12?

En Dart 2.12 se introdujo el soporte para null safety, un sistema que ayuda a evitar errores relacionados con valores nulos. Funciones y herramientas principales:

• Tipos anulables y no anulables: por defecto, los tipos no pueden ser null para evitar errores NullPointerException. Para permitir null, se usa ?, por ejemplo, String?.
• Operadores de comprobación de null: ! (afirma que no es null), ?? (operador "si null, entonces"), ?. (llamada segura a método o propiedad).
• Análisis en tiempo de compilación: el compilador verifica que las variables no se usen sin inicialización o comprobación de null.

Ejemplo:

String? name; // puede ser null

void greet() {
  if (name != null) {
    print('Hola, ${name!}'); // ! indica al compilador que name no es null
  } else {
    print('Hola, invitado');
  }
}