Odpowiedź

W Rust używana jest ścisła statyczna typizacja: typy wszystkich zmiennych i funkcji są znane na etapie kompilacji i nie mogą być zmieniane podczas wykonywania programu. Oznacza to, że kompilator wczesniej wykryje większość błędów związanych z niewłaściwym użyciem typów, zanim program zostanie uruchomiony.

Statyczna typizacja zapewnia:

• Wczesne wykrywanie błędów na etapie kompilacji, co poprawia odporność na błędy i zapobiega szerokiemu spektrum błędów.
• Optymalizację wydajności, ponieważ kompilator dokładnie wie, jakie typy są używane i może generować bardziej efektywny kod maszynowy.
• Bezpieczeństwo w pracy z pamięcią — Rust nie dopuszcza niepoprawnych konwersji typów, zmniejszając ryzyko błędów, na przykład przy pracy ze wskaźnikami.

Przykład:

let x: i32 = 5;
let y: f64 = 2.0;
let z = x as f64 + y; // poprawnie: x konwertowane na f64
// let w = x + y; // błąd kompilacji: różne typy

Pytanie podchwytliwe

Jak w Rust zaimplementować funkcję, która działa zarówno z liczbami, jak i z ciągami znaków? Czy wystarczy użycie typu dyn Any?

Odpowiedź: Użycie dyn Any umożliwia wykonanie downcastu typów, ale do uniwersalnych funkcji w Rust preferowane jest użycie generyków i traitów z ograniczeniami. Na przykład:

use std::fmt::Display;
fn print_value<T: Display>(val: T) {
    println!("{}", val);
}

Przykłady rzeczywistych błędów z powodu nieznajomości niuansów tematu

---

Historia

W dużym projekcie analizy danych próbowano połączyć różne kolekcje liczbowe bez wyraźnego указania typu, co skutkowało niejawna konwersją (cast). Doprowadziło to do nieoczekiwanego zachowania podczas dalszych obliczeń, które ujawniono jedynie przy przepełnieniu. Skutek — kilka dni na refaktoryzację typów i doprecyzowanie ograniczeń typów, aby wyeliminować podobne błędy.

Historia

Programista próbował dynamicznie określić typ parametru przez enum z wariantami dla różnych typów danych. Kompilator nie pozwolił zserializować enum bez dodania odpowiednich makr derive (#[derive(Serialize)]), co opóźniło wydanie o dobę.

Historia

W jednym z projektów fintech programiści myśleli, że Rust automatycznie konwertuje typy w wyrażeniach arytmetycznych, tak jak to robią Python czy JavaScript. W wyniku tego na etapie kompilacji wylały się setki błędów i trzeba było przerobić część kodu, wyraźnie wskazując konwersje typów.