Antwort.

Hintergrund:

Rust folgt der Philosophie der expliziten Initialisierung. Für einige Standardkollektionen und generische Typen ist es oft erforderlich, einen "Standardwert" zu haben. Bei komplexen Strukturen ist es jedoch häufig unklar, wie man sie ohne Parameter erstellen kann. Zu diesem Zweck wurde das Trait Default eingeführt, das einen Standardkonstruktor festlegt.

Problem:

Um universelle Container und Algorithmen zu schreiben, bei denen manchmal ein Standardwert erwartet wird (z. B. in Option::unwrap_or_default, Vec::resize), benötigt man einen Mechanismus, um Instanzen ohne Übergabe von Argumenten zu erstellen. Aber nicht alle Typen eignen sich für solch einen Konstruktor; manchmal kann der Standardwert unklar und gefährlich sein.

Lösung:

Der Typ implementiert das Trait Default und bietet die Methode default(), die eine Instanz zurückgibt (normalerweise "leer", null oder mit Vorbedingungen).
Standardimplementierungen können für leichte Strukturen nützlich sein, insbesondere mit grundlegenden Eigenschaften, sollten aber vorsichtig verwendet werden, um sicherzustellen, dass der Standardwert korrekt und sicher ist.
Man kann derive(Default) verwenden oder es manuell implementieren, wenn die Logik nicht trivial ist.

Beispielcode:

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

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

Schlüsselfunktionen:

Der Standardwert wird mit der statischen Methode Default::default() erstellt.
Ermöglicht die Arbeit mit generischen Typen: T: Default.
Nicht alle Typen sind verpflichtet, Default zu implementieren; es macht den Code universeller, erfordert jedoch Vorsicht bei der Wahl der Werte.

Fangfragen.

Wird Default::default für Option<T> gezwungenermaßen aufgerufen, wenn T: Default?

Nein, Optional ruft default für T nicht automatisch auf; unwrap_or_default wird explizit aufgerufen.

Können Standardparameter durch das Default-Trait im Konstruktor einer Struktur angegeben werden?

Nein, Default erstellt die gesamte Struktur, individuelle Standardfelder können nicht mit der normalen Konstruktor-Syntax ersetzt werden.

Kann derive(Default) für eine Struktur mit Feldern, die Default nicht implementieren, fehlschlagen?

Ja, derive(Default) funktioniert nur, wenn alle Felder der Struktur Default implementieren.

Typische Fehler und Antipatterns

Verwendung von Default für Typen, bei denen der Standardwert unsicher oder sinnlos ist (z. B. für File, NetworkSocket).
Wiederverwendung von Default, wo eine explizite Initialisierung mit Parametern erforderlich ist.
Vertrauen auf derive(Default) für eine Struktur mit nicht-standardmäßigen oder validierenden Wertregeln.

Beispiel aus dem Leben

Negativer Fall

Config mit Default, bei dem der Serverport 0 ist (ungültiger Standardwert). Das Programm startet unerwartet nicht auf dem richtigen Port.

Vorteile:

Schnelle Initialisierung ohne Angabe aller Felder.

Nachteile:

Falle: Das Verhalten des Programms entspricht nicht den Erwartungen des Benutzers.

Positiver Fall

Default für eine Struktur mit Einstellungen, die sichere, konsensuale Werte haben (retries=3, verbose=false).