Réponse.

Historique de la question :

Rust adhère à la philosophie de l'initialisation explicite. Pour certaines collections standard et certains types génériques, il est souvent nécessaire d'avoir une valeur "par défaut". Cependant, pour des structures complexes, il est souvent ambigu de savoir comment les créer sans paramètres. À cette fin, le trait Default a été introduit, qui définit un constructeur standard.

Problème :

Pour écrire des conteneurs et des algorithmes universels où l'on s'attend parfois à une valeur par défaut (par exemple, dans Option::unwrap_or_default, Vec::resize), un mécanisme de création d'instances sans passer d'arguments est nécessaire. Mais tous les types ne conviennent pas pour ce type de constructeur ; parfois, la valeur par défaut peut être non évidente et dangereuse.

Solution :

Le type implémente le trait Default, fournissant la méthode default() qui retourne une certaine instance (généralement "vide", mise à zéro ou avec des préconditions).
Les implémentations par défaut peuvent être utiles pour des structures légères, en particulier avec des propriétés de base, mais doivent être utilisées avec prudence pour que la valeur par défaut soit correcte et sûre.
On peut utiliser derive(Default) ou implémenter manuellement si la logique n'est pas triviale.

Exemple de code :

#[derive(Default, Debug)]
struct Config {
    retries: u32,
    verbose: bool,
}

fn main() {
    let cfg = Config::default();
    println!("{:?}", cfg);
}

Caractéristiques clés :

La valeur par défaut est créée par la méthode statique Default::default().
Permet une utilisation avec des types génériques : T: Default.
Tous les types ne sont pas obligés d'implémenter Default ; cela rend le code plus universel, mais nécessite de la prudence lors du choix des valeurs.

Questions pièges.

Le Default::default sera-t-il appelé automatiquement pour Option<T>, si T : Default ?

Non, Optional n'appelle pas par défaut default pour T automatiquement ; unwrap_or_default est appelé explicitement.

Les paramètres avec une valeur par défaut peuvent-ils être définis via le trait Default dans le constructeur d'une structure ?

Non, Default crée toute la structure dans son ensemble, les champs individuels par défaut ne peuvent pas être remplacés par la syntaxe classique du constructeur.

Le derive(Default) peut-il échouer pour une structure avec des champs n'implémentant pas Default ?

Oui, derive(Default) fonctionne uniquement si tous les champs de la structure implémentent Default.

Erreurs typiques et anti-modèles

Utilisation de Default pour des types où la valeur par défaut n'est pas sûre ou n'a pas de sens (par exemple, pour File, NetworkSocket).
Réutilisation de Default là où une initialisation explicite avec des paramètres est requise.
Espérer que derive(Default) fonctionne pour une structure avec des règles de valeurs non standard ou validantes.

Exemple de la vie réelle

Cas négatif

Config c Default, où le port du serveur est 0 (valeur par défaut invalide). Le programme démarre de manière inattendue sur un port incorrect.

Avantages :

Initialisation rapide sans spécifier tous les champs.

Inconvénients :

Piège : le comportement du programme ne correspond pas aux attentes de l'utilisateur.

Cas positif

Default pour une structure de configuration avec des valeurs sûres et consensuelles (retries=3, verbose=false).