Dönüştürücü, değiştirilemez olarak bildirilmeyen bir değişken değiştirildiğinde neden bir hata bildirmiyor?

Question

Ben Rust 1.13 yüklü ve denenmiş:

fn main() { 
    let x: u32; 
    x = 10; // no error? 
} 

Bazı uyarılar var bu dosyayı derlenmiş

, ancak hiçbir hata vardır. x'un mut olarak bildirilmediğinden hata yapmamalı mı? Yazdığınız ne

Answer 1

aynıdır:

let x: u32 = 10; 

derleyici bundan sonra onu mutasyona için izin vermez: Bir kullanmaya çalışırsanız bir derleyici hatadır

let x: u32; 
x = 10; 
x = 0; // Error: re-assignment of immutable variable `x` 

Not olduğunu Başlatılmamış değişken:

let x: u32; 
println!("{}", x); // Error: use of possibly uninitialized variable: `x` 

Ini istiyorsanız, bu özellik oldukça yararlı olabilir Çalışma koşullarına bağlı olarak değişkeni farklı şekilde tialize edin. Saf bir örnek:

let x: u32; 
if condition { 
    x = 1; 
} else if other_condition { 
    x = 10; 
} else { 
    x = 100; 
} 

Ama başlatılmamış olduğunu bir olasılık varsa hala hala bir hata olacaktır:

belirtildiği gibi

let x: u32; 
if condition { 
    x = 1; 
} else if other_condition { 
    x = 10; 
} // no else 
println!("{:?}", x); // Error: use of possibly uninitialized variable: `x` 

Answer 2

, bu mutasyon değil, ertelenmiş başlatma:

• mutasyonu olan bir değişkeni değerinin değiştirilmesi ile ilgili olup,
• ertelenmiş başlatılmaktadır alizasyon, bir noktada bir değişkenin bildirilmesi ve daha sonra başlatılmasıyla ilgilidir. yanlışlıkla (++ taşındı bir değişken ya da C) farklı bir başlatılmamış değişken kullanarak riski yoktur C aksine çok değişken, derleme zamanında bir değer olup olmadığını

Pas derleyici izler.

---

ertelenmiş başlatma kullanarak en önemli sebebi kapsamı olduğunu.

fn main() { 
    let x; 
    let mut v = vec!(); 

    { 
     x = 2; 
     v.push(&x); 
    } 

    println!("{:?}", v); 
} 

Rust ariyet denetleyicisi referans bu sarkan referanslar önlenmesi anlamına gelir değeri daha uzun ömürlü olamaz doğrular.

Bu v.push(&x)x uzun v daha yaşar gerektirir ve bu nedenlev önce ilan edilmesi anlamına gelir.

Bunun için gereksinim sık sık yok olmaz, ancak diğer çözümler olduğunda çalışma zamanı kontrolleri gerektirir.