地址範圍：不夠長

Question

我對這兩個看似相似的程序的結果感到驚訝。

fn main() { 
    let y: &int = &31i; 
    println!("My number is {}.",*y) 
} 
//Output 
My number is 31. 

但是，這段代碼給了我一個錯誤。

fn main() { 
    let y: ∫ 
    y = &31i; 
    println!("My number is {}.",*y) 
} 
// Output on Rust Playpen 
3:12 error: borrowed value does not live long enough 
5:2 note: reference must be valid for the block at 1:10... 
3:13 note: ...but borrowed value is only valid for the statement at 3:4 

顯然，&31i超出範圍，如果它y已經被宣佈後已分配給y。但是，如果它位於聲明y的同一行上，則它保持在範圍內。我不明白這是爲什麼。

Rust的設計如何讓它表現如此呢？提前致謝。

Answer 1

我認爲這是因爲&運算符在綁定或其他地方使用時的不同規則。

此：

let y: &int = &31i; 

是相同的：

let temp: int = 31i; 
let y: &int = &temp; 

除了temp是看不見的。這是例如在lifetimes guide，雖然這個指南似乎是尚未改寫的舊版本（像其他指南）。

但這：

let y: ∫ 
y = &31i; 

沒有這樣的語義出於某種原因，所以只有31i生活的表達（即31i）內。因此，你不能參考它，因爲它立即被丟棄。

我認爲這有點違反直覺，可能值得創建一個問題。也許這只是因爲更重要的事情而被忽視的那些東西之一。