地址范围：不够长

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）内。因此，你不能参考它，因为它立即被丢弃。

我认为这有点违反直觉，可能值得创建一个问题。也许这只是因为更重要的事情而被忽视的那些东西之一。