爲什麼`＆mut＆foo`有效，但'＆mut a_ref_to_foo`無效？

Question

在以下示例中，編譯了t1，但t2沒有編譯。

&mut &stream有什麼特別的嗎？我不認爲Deref踢

use std::net::TcpStream; 

fn t1() { 
    let stream = TcpStream::connect("127.0.0.1").unwrap(); 
    let a = &mut &stream; 
} 

fn t2(stream: &TcpStream) { 
    let a = &mut stream; 
} 

Playground

9 | fn t2(stream: &TcpStream) { 
    |  ------ use `mut stream` here to make mutable 
10 |  let a = &mut stream; 
    |     ^^^^^^ cannot borrow mutably 

Answer 1

&mut &foo 

這做了兩兩件事 - 它創造&Foo類型的臨時值，然後創建另一個臨時&mut &Foo類型。

let a_ref_to_foo = &foo; 
&mut a_ref_to_foo 

這也將創建一個臨時&mut &Foo型的，而是一些通過變量綁定a_ref_to_foo是可觀察的，不另一個臨時。

的問題是相同的，因爲這例如：

// Works 
String::new().clear(); 

// Doesn't work 
let s = String::new(); 
s.clear(); 

當你有一個臨時值，必須在它的所有權，其包括治療它作爲可變的。一旦它被分配到一個綁定，綁定擁有所有權，您必須指出它允許被突變或不被允許。