Palabra clave Late y Null Safety

Parte de la sección Programación Orientada a Objetos del Journey de Dart de Coddy — lección 26 de 110.

A veces necesitas una variable no nula, pero no puedes asignar su valor de inmediato. La palabra clave late le dice a Dart "Prometo inicializar esto antes de usarlo".

late String description;

void setup() {
  description = 'Initialized later';
}

void main() {
  setup();
  print(description);  // Funciona - inicializado antes de su uso
}

Sin late, Dart se quejaría de que description no está inicializada. Con late, tú asumes la responsabilidad de asegurar que tenga un valor antes de acceder a ella. Si intentas leerla antes de la inicialización, obtendrás un error de tiempo de ejecución.

Un caso de uso común son los cálculos costosos que desea retrasar hasta que sean realmente necesarios:

class DataProcessor {
  late List<int> data = _loadData();
  
  List<int> _loadData() {
    print('Loading data...');
    return [1, 2, 3, 4, 5];
  }
}

DataProcessor processor = DataProcessor();
// 'Loading data...' aún no se ha impreso
print(processor.data);  // Ahora se carga e imprime

El método _loadData() solo se ejecuta cuando se accede a data por primera vez, no cuando se crea el objeto. Esta inicialización diferida puede mejorar el rendimiento cuando el valor podría no ser necesario nunca.

Usa late cuando estés seguro de que una variable se inicializará antes de su uso, pero no puedes hacerlo en la declaración. Es una promesa al compilador: rompe esa promesa y tu programa fallará.

Desafío

Fácil

Vamos a construir un administrador de configuración que demuestre el poder de las variables late para la inicialización diferida. Crearás un sistema donde las operaciones de configuración costosas solo ocurren cuando la configuración es realmente necesaria.

Organizarás tu código en dos archivos:

config_manager.dart: Define una clase ConfigManager que maneje los ajustes de la aplicación. La clase debe tener:
- Un String appName pasado a través del constructor
- Un late String databaseUrl que se inicializará más tarde a través de un método de configuración
- Un late int maxConnections con inicialización perezosa (lazy) que imprima Calculating max connections... cuando se acceda por primera vez y devuelva 100
- Un método setupDatabase(String url) que inicialice el databaseUrl
- Un método displayConfig() que imprima la configuración actual
main.dart: Importa tu administrador de configuración y demuestra cómo funcionan las variables late:
- Crea un ConfigManager con el nombre de aplicación 'MyApp'
- Imprime Config created
- Llama a setupDatabase con la URL 'localhost:5432/mydb'
- Imprime Accessing max connections...
- Imprime el valor de maxConnections
- Imprime Accessing max connections again...
- Imprime el valor de maxConnections de nuevo (observa que el mensaje de cálculo no se repite)
- Llama a displayConfig()

El método displayConfig() debe imprimir en este formato:

--- Configuration ---
App: [appName]
Database: [databaseUrl]
Max Connections: [maxConnections]

¡Observa cómo el cálculo perezoso de maxConnections solo se ejecuta una vez, la primera vez que accedes a él. Este es el beneficio de late con un inicializador!

Salida esperada:

Config created
Accessing max connections...
Calculating max connections...
100
Accessing max connections again...
100
--- Configuration ---
App: MyApp
Database: localhost:5432/mydb
Max Connections: 100

Hoja de referencia

La palabra clave late te permite declarar variables no nulas que se inicializarán más tarde, antes de ser utilizadas:

late String description;

void setup() {
  description = 'Initialized later';
}

void main() {
  setup();
  print(description);  // Funciona - inicializada antes de su uso
}

Sin late, Dart requiere una inicialización inmediata. Con late, prometes inicializar la variable antes de acceder a ella. Leer una variable late no inicializada provoca un error de tiempo de ejecución.

Inicialización perezosa (Lazy Initialization): Cuando una variable late tiene un inicializador, la inicialización se pospone hasta que se accede a la variable por primera vez:

class DataProcessor {
  late List<int> data = _loadData();
  
  List<int> _loadData() {
    print('Loading data...');
    return [1, 2, 3, 4, 5];
  }
}

DataProcessor processor = DataProcessor();
// 'Loading data...' no se ha impreso todavía
print(processor.data);  // Ahora se carga y se imprime

El método _loadData() solo se ejecuta cuando se accede a data por primera vez, no cuando se crea el objeto. Esto mejora el rendimiento cuando es posible que el valor nunca se necesite o cuando la inicialización es costosa.

Pruébalo tú mismo

import 'config_manager.dart';

void main() {
  // TODO: Crea un ConfigManager con el nombre de aplicación 'MyApp'
  
  // TODO: Imprime 'Config created'
  
  // TODO: Llama a setupDatabase con la URL 'localhost:5432/mydb'
  
  // TODO: Imprime 'Accessing max connections...'
  
  // TODO: Imprime el valor de maxConnections
  
  // TODO: Imprime 'Accessing max connections again...'
  
  // TODO: Imprime el valor de maxConnections de nuevo
  // (nota que el mensaje de cálculo no se repite)
  
  // TODO: Llama a displayConfig()
}