Risposta.

Storia della questione:

Rust aderisce alla filosofia della inizializzazione esplicita. Per alcune collezioni standard e tipi generici è spesso necessario avere un valore "di default". Tuttavia, per strutture complesse può essere difficile capire come crearle senza parametri. A questo scopo è stato introdotto il trait Default, che definisce un costruttore standard.

Problema:

Per scrivere contenitori e algoritmi generici, dove a volte è atteso un valore di default (ad esempio, in Option::unwrap_or_default, Vec::resize), è necessario un meccanismo per creare un'istanza senza passare argomenti. Ma non tutti i tipi sono adatti per un tale costruttore; a volte il valore di default può essere poco chiaro e pericoloso.

Soluzione:

Il tipo implementa il trait Default, fornendo il metodo default(), che restituisce un'istanza (di solito "vuota", zeroed o con precondizioni).
Le implementazioni di default possono essere utili per strutture leggere, specialmente con proprietà di base, ma devono essere utilizzate con cautela per garantire che il valore di default sia corretto e sicuro.
Puoi usare derive(Default) o implementarlo manualmente, se la logica non è banale.

Esempio di codice:

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

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

Caratteristiche chiave:

Il valore di default è creato con il metodo statico Default::default().
Consente di lavorare con tipi generici: T: Default.
Non tutti i tipi devono implementare Default; rende il codice più universale, ma richiede cautela nella scelta dei valori.

Domande insidiose.

Verrà forzatamente chiamato Default::default per Option<T>, se T: Default?

No, Optional non chiama automaticamente default per T; unwrap_or_default viene chiamato esplicitamente.

Possono i parametri con valore di default essere impostati tramite il trait Default nel costruttore della struttura?

No, Default crea l'intera struttura; i campi singoli di default non possono essere sostituiti con la normale sintassi del costruttore.

Può derive(Default) rompersi per una struttura con campi che non implementano Default?

Sì, derive(Default) funziona solo se tutti i campi della struttura implementano Default.

Errori comuni e anti-pattern

Utilizzare Default per tipi dove il valore di default è insicuro o privo di senso (ad esempio, per File, NetworkSocket).
Riutilizzare Default dove è necessaria un'inizializzazione esplicita con parametri.
Sperare che derive(Default) funzioni per una struttura con regole di valore non standard o di validazione.

Esempio dalla vita reale

Caso negativo

Config c Default, dove la porta del server è 0 (valore non valido di default). Il programma si avvia inaspettatamente su una porta sbagliata.

Pro:

Inizializzazione rapida senza dover specificare tutti i campi.

Contro:

Trappola: il comportamento del programma non corrisponde alle aspettative dell'utente.

Caso positivo

Default per una struttura di configurazione con valori sicuri e consensuali (retries=3, verbose=false).