Inferensi Tipe

Termasuk bagian Dasar-Dasar dalam perjalanan Rust di Coddy. Pelajaran 12 dari 75.

Di Rust, inferensi tipe memungkinkan compiler menyimpulkan tipe variabel secara otomatis berdasarkan nilai dan penggunaannya. Artinya, kamu sering tidak perlu menentukan tipe secara eksplisit saat mendeklarasikan variabel, sehingga kodemu lebih ringkas dan mudah dibaca.

Contohnya:

let x = 5;
// Rust menyimpulkan bahwa x bertipe i32

let y = 3.14;
// Rust menyimpulkan bahwa y bertipe f64

let message = "Hello, world!";
// Rust menyimpulkan bahwa message bertipe &str (string)

let is_true = true;
// Rust menyimpulkan bahwa is_true bertipe bool

Dalam contoh-contoh ini, kita tidak menentukan tipe x, y, message, dan is_true. Compiler Rust secara otomatis menyimpulkan tipe mereka berdasarkan nilai yang diberikan kepada mereka.

Inferensi tipe tidak hanya praktis, tetapi juga membantu mencegah error. Compiler memeriksa cara variabel digunakan dan memastikan tipe yang disimpulkan konsisten di seluruh kode. Jika terjadi konflik, compiler akan menghasilkan error.

Tantangan

Pemula

Tulis program Rust yang menunjukkan inferensi tipe. Deklarasikan dan inisialisasi variabel berikut tanpa anotasi tipe eksplisit:

Variabel bernama quantity dengan nilai 10.
Variabel bernama price dengan nilai 99.99.
Variabel bernama message dengan nilai "Coddy is awesome!".
Variabel bernama is_available dengan nilai true.

Setelah mendeklarasikan variabel-variabel ini, gunakan println!() untuk menampilkan nilainya di konsol. Amati bagaimana Rust menyimpulkan tipe variabel-variabel ini berdasarkan nilainya.

Coba sendiri

fn main() {
    // Deklarasikan variabel di sini
    
    
    // Tampilkan nilainya
    println!("Quantity: {}", quantity);
    println!("Price: {}", price);
    println!("Message: {}", message);
    println!("Is available: {}", is_available);
}