Tür Çıkarımı

Coddy'nin Rust Journey'sinin Fundamentals bölümünün bir parçası — ders 12 / 75.

Rust'ta, tip çıkarımı (type inference) derleyicinin bir değişkenin tipini değerine ve kullanımına göre otomatik olarak saptamasını sağlar. Bu, bir değişkeni tanımlarken genellikle tipi açıkça belirtmenize gerek olmadığı anlamına gelir, böylece kodunuz daha özlü ve okunması daha kolay olur.

Örneğin:

let x = 5;
// Rust, x'in bir i32 olduğunu çıkarır

let y = 3.14;
// Rust, y'nin bir f64 olduğunu çıkarır

let message = "Hello, world!";
// Rust, message'ın bir &str (string) olduğunu çıkarır

let is_true = true;
// Rust, is_true'nun bir bool olduğunu çıkarır

Bu örneklerde x, y, message ve is_true türlerini belirtmedik. Rust derleyicisi, onlara atanan değerlere dayanarak türlerini otomatik olarak çıkardı.

Tür çıkarımı sadece kolaylık sağlamakla kalmaz, aynı zamanda hataların önlenmesine de yardımcı olur. Derleyici, değişkenlerin nasıl kullanıldığını kontrol eder ve çıkarılan türlerin kod boyunca tutarlı olmasını sağlar. Bir çelişki olması durumunda, derleyici bir hata oluşturacaktır.

Görev

Başlangıç

Tip çıkarımını (type inference) gösteren bir Rust programı yazın. Aşağıdaki değişkenleri açık tür belirtimleri (explicit type annotations) olmadan tanımlayın ve başlatın:

10 değerine sahip quantity adında bir değişken.
99.99 değerine sahip price adında bir değişken.
"Coddy is awesome!" değerine sahip message adında bir değişken.
true değerine sahip is_available adında bir değişken.

Bu değişkenleri tanımladıktan sonra, değerlerini konsola yazdırmak için println!() kullanın. Rust'ın bu değişkenlerin türlerini değerlerine göre nasıl çıkardığını (infer) gözlemleyin.

Kopya kağıdı

Rust'ın tür çıkarımı (type inference), derleyicinin değişken türlerini değerlerine göre otomatik olarak belirlemesine olanak tanıyarak birçok durumda açık tür belirtme ihtiyacını ortadan kaldırır.

let x = 5;        // Rust i32 çıkarımı yapar
let y = 3.14;     // Rust f64 çıkarımı yapar
let message = "Hello, world!";  // Rust &str çıkarımı yapar
let is_true = true;  // Rust bool çıkarımı yapar

Derleyici, tür tutarlılığını sağlamak için değişken kullanımını kontrol eder ve çakışma olması durumunda hatalar oluşturur.

Kendin dene

fn main() {
    // Değişkenleri burada tanımlayın
    
    
    // Değerleri yazdır
    println!("Quantity: {}", quantity);
    println!("Price: {}", price);
    println!("Message: {}", message);
    println!("Is available: {}", is_available);
}