[Rust笔记] 研究变量生存期, 记录下 NLL 的一些反直觉行为

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
};

---