Wnioskowanie o typie

Część sekcji Podstawy ścieżki Rust w Coddy. Lekcja 12 z 75.

W Rust wnioskowanie o typach pozwala kompilatorowi automatycznie wywnioskować typ zmiennej na podstawie jej wartości i sposobu użycia. Oznacza to, że często nie musisz jawnie określać typu podczas deklarowania zmiennej, dzięki czemu Twój kod jest bardziej zwięzły i łatwiejszy do czytania.

Na przykład:

let x = 5;
// Rust wnioskuje, że x jest typu i32

let y = 3.14;
// Rust wnioskuje, że y jest typu f64

let message = "Hello, world!";
// Rust wnioskuje, że message jest typu &str (ciąg znaków)

let is_true = true;
// Rust wnioskuje, że is_true jest typu bool

W tych przykładach nie określiliśmy typów zmiennych x, y, message i is_true. Kompilator Rust automatycznie wywnioskował ich typy na podstawie przypisanych im wartości.

Wnioskowanie o typach jest nie tylko wygodne, ale także pomaga zapobiegać błędom. Kompilator sprawdza, jak używane są zmienne, i upewnia się, że wywnioskowane typy są spójne w całym kodzie. Jeśli wystąpi konflikt, kompilator wygeneruje błąd.

Wyzwanie

Początkujący

Napisz program w Rust, który demonstruje wnioskowanie o typach. Zadeklaruj i zainicjuj następujące zmienne bez jawnych adnotacji typów:

Zmienna o nazwie quantity z wartością 10.
Zmienna o nazwie price z wartością 99.99.
Zmienna o nazwie message z wartością "Coddy is awesome!".
Zmienna o nazwie is_available z wartością true.

Po zadeklarowaniu tych zmiennych użyj println!(), aby wyświetlić ich wartości w konsoli. Zaobserwuj, jak Rust wnioskuje o typach tych zmiennych na podstawie ich wartości.

Spróbuj swoich sił

fn main() {
    // Zadeklaruj tutaj zmienne
    
    
    // Wyświetl wartości
    println!("Quantity: {}", quantity);
    println!("Price: {}", price);
    println!("Message: {}", message);
    println!("Is available: {}", is_available);
}