NLL 導致的非直覺的作用域擴大

1. NLL 完全無視詞法作用域

1.1. 是否可以認為 NLL 在fb.set(&b);處縮短了fb的起始生存期以配合b?
1.2. 應該認為 NLL 縮短了fb還是延長了b的生存期?

struct MyCell(T); impl MyCell { pub fn set(&mut self, t: T) { self.0 = t; } } let a = 3; let mut fb = MyCell(&a); // 將 fb 綁定到 a 的生存期 let _ = { let b = 4; fb.set(&b); false // 直覺上 b 在此結束生存期 }; // 直覺上 fb 在此結束生存期 // NLL 智能的使 b 和 fb 的生存期同時結束, 使得 fb 可以使用 b

2. 強制延長外部變量生存期得到符合直覺的編譯失敗

struct MyCell(T); impl MyCell { pub fn set(&mut self, t: T) { self.0 = t; } } let a = 3; let mut fb = MyCell(&a); // 將 fb 綁定到 a 的生存期 let _ = { let b = 4; fb.set(&b); false // b 在此結束生存期 }; fb; // 強制延長 fb 生存期

3.Drop導致隱式生存期延長而編譯失敗

主代碼與 1 完全相同, 與 1 相比僅多一個空Drop, 而編譯失敗原因同 2

struct MyCell(T); impl MyCell { pub fn set(&mut self, t: T) { self.0 = t; } } impl Drop for MyCell { fn drop(&mut self) {} } let a = 3; let mut fb = MyCell(&a); // 將 fb 綁定到 a 的生存期 let _ = { let b = 4; fb.set(&b); false // b 在此結束生存期 }; // drop 導致的隱式延長 fb 生存期

4. 編譯失敗 循環使得fb生存期不能縮短

有可能rust升級使其可通過編譯

struct MyCell(T); impl MyCell { pub fn set(&mut self, t: T) { self.0 = t; } } let a = 3; let mut fb = MyCell(&a); // 將 fb 綁定到 a 的生存期 let _ = loop { // loop 使得 fb 必須在此有效 而不能使 b 滿足此要求 let b = 4; fb.set(&b); if true { break false } // b 在此結束生存期 }; // fb 在此結束生存期

5. 編譯成功 基本等同于 4

NLL 過于智能的消除了loop

struct MyCell(T); impl MyCell { pub fn set(&mut self, t: T) { self.0 = t; } } let a = 3; let mut fb = MyCell(&a); // 將 fb 綁定到 a 的生存期 let _ = loop { let b = 4; fb.set(&b); break false; // 過于智能的消除了 loop };

審核編輯：湯梓紅