Odpowiedź.

Historia pytania:

Rust opiera się na filozofii jawnej inicjalizacji. Dla niektórych standardowych kolekcji i typów ogólnych często wymaga się, aby mieć wartość "domyślną". Jednak dla złożonych struktur często bywa niejasne, jak dokładnie je tworzyć bez parametrów. W tym celu wprowadzono trait Default, który definiuje standardowy konstruktor.

Problem:

Aby pisać uniwersalne kontenery i algorytmy, gdzie czasami oczekuje się wartości domyślnej (na przykład w Option::unwrap_or_default, Vec::resize), potrzebny jest mechanizm tworzenia instancji bez przekazywania argumentów. Jednak nie wszystkie typy nadają się do takiego konstruktora; czasami wartość domyślna może być nieoczywista i niebezpieczna.

Rozwiązanie:

Typ implementuje trait Default, oferując metodę default(), która zwraca pewną instancję (zazwyczaj "pustą", wyzerowaną lub z warunkami wstępnymi).
Implementacje domyślne mogą być pomocne dla lekkich struktur, szczególnie z podstawowymi właściwościami, ale należy ich używać z ostrożnością, aby wartość domyślna była poprawna i bezpieczna.
Można użyć derive(Default) lub zaimplementować ręcznie, jeśli logika nie jest trywialna.

Przykład kodu:

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

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

Kluczowe cechy:

Wartość domyślna jest tworzona przez statyczną metodę Default::default().
Umożliwia pracę z typami ogólnymi: T: Default.
Nie wszystkie typy muszą implementować Default; czyni kod bardziej uniwersalnym, ale wymaga ostrożności przy wyborze wartości.

Pytania podchwytliwe.

Czy Default::default będzie wymuszony dla Option<T>, jeśli T: Default?

Nie, Optional nie wywołuje domyślnej wartości dla T automatycznie; unwrap_or_default jest wywoływane jawnie.

Czy parametry z wartościami domyślnymi mogą być ustalone przez trait Default w konstruktorze struktury?

Nie, Default tworzy całą strukturę jako całość, indywidualne pola domyślne nie mogą być zastąpione zwykłą składnią konstruktora.

Czy derive(Default) może nie zadziałać dla struktury z polami, które nie implementują Default?

Tak, derive(Default) działa tylko wtedy, gdy wszystkie pola struktury implementują Default.

Typowe błędy i antywzorce

Użycie Default dla typów, w których wartość domyślna jest niebezpieczna lub bezsensowna (na przykład dla File, NetworkSocket).
Ponowne wykorzystanie Default tam, gdzie wymagana jest jawna inicjalizacja z parametrami.
Nadzieja na derive(Default) dla struktury z niestandardowymi lub walidującymi zasadami wartości.

Przykład z życia

Negatywny przypadek

Config c Default, gdzie port serwera — 0 (nieważna wartość domyślna). Program niespodziewanie uruchamia się na niewłaściwym porcie.

Zalety:

Szybka inicjalizacja bez podawania wszystkich pól.

Wady:

Pułapka: zachowanie programu nie odpowiada oczekiwaniom użytkownika.

Pozytywny przypadek

Default dla struktury ustawień z bezpiecznymi, konsensualnymi wartościami (retries=3, verbose=false).