Variables Late

Fait partie de la section Programmation Orientée Objet du Journey Dart de Coddy — leçon 19 sur 110.

Le mot-clé late indique à Dart qu'une variable non-nullable sera initialisée avant d'être utilisée, même si elle n'est pas assignée immédiatement. C'est utile lorsque vous ne pouvez pas initialiser un champ dans la déclaration ou le constructeur, mais que vous êtes certain qu'il aura une valeur avant d'être accédé.

class User {
  late String username;
  
  void initialize(String name) {
    username = name;
  }
  
  void greet() {
    print('Hello, $username!');
  }
}

User user = User();
user.initialize('Alice');
user.greet();  // Hello, Alice!

Sans late, Dart se plaindrait que username n'est pas initialisé. Le modificateur late promet que vous assignerez une valeur avant de la lire.

Un autre avantage de late est l'initialisation paresseuse. Une variable late avec un initialiseur ne calculera sa valeur qu'au moment de son premier accès :

class Config {
  late String settings = loadSettings();
  
  String loadSettings() {
    print('Loading...');
    return 'default';
  }
}

Config config = Config();
print('Config created');
print(config.settings);  // "Loading..." s'affiche ici, puis "default"

La méthode loadSettings() s'exécute uniquement lorsque settings est accédé pour la première fois, et non lors de la création de l'objet. Attention cependant : accéder à une variable late avant qu'elle ne soit initialisée génère une erreur d'exécution.

Défi

Facile

Construisons un gestionnaire de connexion à une base de données qui démontre à la fois l'initialisation différée et l'initialisation paresseuse (lazy initialization) en utilisant des variables late.

Vous allez créer deux fichiers pour organiser votre code :

database.dart : Définissez une classe Database qui simule une connexion à une base de données. Votre classe doit avoir :
- Une variable late String connectionString qui sera définie après la création de l'objet
- Une variable late String status avec un initialiseur paresseux qui affiche Checking connection... et retourne 'Connected'
- Une méthode connect(String connStr) qui définit la connectionString et affiche Connection configured: [connectionString]
- Une méthode query(String sql) qui affiche Executing on [connectionString]: [sql]
- Une méthode checkStatus() qui affiche Status: [status] (cela déclenchera l'initialisation paresseuse lors du premier appel)
main.dart : Importez votre classe de base de données et démontrez les deux utilisations de late :
- Créez une instance de Database
- Affichez Database object created
- Appelez connect() avec la chaîne de connexion 'localhost:5432/mydb'
- Appelez query() avec 'SELECT * FROM users'
- Appelez checkStatus() pour déclencher l'initialisation paresseuse

Remarquez comment connectionString est définie manuellement après la création de l'objet, tandis que status calcule sa valeur uniquement lors de son premier accès.

Sortie attendue :

Database object created
Connection configured: localhost:5432/mydb
Executing on localhost:5432/mydb: SELECT * FROM users
Checking connection...
Status: Connected

Aide-mémoire

Le mot-clé late vous permet de déclarer des variables non-nullables qui seront initialisées plus tard, avant d'être utilisées :

class User {
  late String username;
  
  void initialize(String name) {
    username = name;
  }
}

User user = User();
user.initialize('Alice');

Initialisation paresseuse (Lazy Initialization) : Une variable late avec un initialiseur calcule sa valeur uniquement lors de son premier accès :

class Config {
  late String settings = loadSettings();
  
  String loadSettings() {
    print('Loading...');
    return 'default';
  }
}

Config config = Config();  // loadSettings() not called yet
print(config.settings);     // loadSettings() called here

Avertissement : L'accès à une variable late avant son initialisation lève une erreur d'exécution (runtime error).

Essayez vous-même

import 'database.dart';

void main() {
  // TODO : Créer une instance de Database
  
  // TODO : Afficher 'Database object created'
  
  // TODO : Appeler connect() avec 'localhost:5432/mydb'
  
  // TODO : Appeler query() avec 'SELECT * FROM users'
  
  // TODO : Appeler checkStatus() pour déclencher l'initialisation paresseuse
}