La keyword late e la sicurezza dei valori null

Fa parte della sezione Programmazione orientata agli oggetti del percorso Dart di Coddy. Lezione 26 di 110.

A volte ti serve una variabile non nullable, ma non puoi assegnarle subito un valore. La parola chiave late dice a Dart: «Prometto di inizializzarla prima di usarla».

late String description;

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

void main() {
  setup();
  print(description);  // Funziona - inizializzata prima dell'uso
}

Senza late, Dart segnalerebbe che description non è inizializzato. Con late, ti assumi la responsabilità di assicurarti che abbia un valore prima di accedervi. Se provi a leggerlo prima dell'inizializzazione, otterrai un errore in fase di esecuzione.

Un caso d'uso comune riguarda i calcoli costosi che vuoi rimandare fino a quando non sono effettivamente necessari:

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 mostrado
print(processor.data);  // Ahora carga los datos y los muestra

Il metodo _loadData() viene eseguito solo quando si accede per la prima volta a data, non quando viene creato l’oggetto. Questa inizializzazione differita può migliorare le prestazioni quando il valore potrebbe non essere mai necessario.

Usa late quando sei certo che una variabile verrà inizializzata prima dell'uso, ma non puoi farlo al momento della dichiarazione. È una promessa al compilatore: se non la mantieni, il programma si arresta in modo anomalo.

Sfida

Facile

Costruiamo un gestore della configurazione che dimostri la potenza delle variabili late per l’inizializzazione differita. Creerai un sistema in cui le operazioni di configurazione costose vengono eseguite solo quando la configurazione è effettivamente necessaria.

Organizzerai il codice in due file:

config_manager.dart: definisci una classe ConfigManager che gestisce le impostazioni dell’applicazione. La classe dovrebbe avere:
- Un String appName passato tramite il costruttore
- Un late String databaseUrl che verrà inizializzato in seguito tramite un metodo di configurazione
- Un late int maxConnections con inizializzazione lazy che stampa Calculating max connections... al primo accesso e restituisce 100
- Un metodo setupDatabase(String url) che inizializza databaseUrl
- Un metodo displayConfig() che stampa la configurazione corrente
main.dart: importa il gestore della configurazione e mostra come funzionano le variabili late:
- Crea un ConfigManager con il nome dell’app 'MyApp'
- Stampa Config created
- Chiama setupDatabase con l’URL 'localhost:5432/mydb'
- Stampa Accessing max connections...
- Stampa il valore di maxConnections
- Stampa Accessing max connections again...
- Stampa di nuovo il valore di maxConnections (nota che il messaggio di calcolo non viene ripetuto)
- Chiama displayConfig()

Il metodo displayConfig() dovrebbe stampare nel seguente formato:

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

Nota come il calcolo lazy di maxConnections venga eseguito una sola volta, al primo accesso. Questo è il vantaggio di late con un inizializzatore!

Output previsto:

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

Provalo tu

import 'config_manager.dart';

void main() {
  // TODO: Crea un ConfigManager con il nome dell'app 'MyApp'
  
  // TODO: Stampa 'Config created'
  
  // TODO: Chiama setupDatabase con l'URL 'localhost:5432/mydb'
  
  // TODO: Stampa 'Accessing max connections...'
  
  // TODO: Stampa il valore di maxConnections
  
  // TODO: Stampa 'Accessing max connections again...'
  
  // TODO: Stampa di nuovo il valore di maxConnections
  // (nota che il messaggio di calcolo non viene ripetuto)
  
  // TODO: Chiama displayConfig()
}