Rust：在无限循环中借用检查器

Question

我目前正在构建一个带有主循环的应用程序。设置作为引用添加到结构中以避免装箱。问题是，即使看起来完全有效，借用检查器也不会验证无限循环。例如，这不会编译：

struct Demo<'a> {
    data: Vec<&'a u8>,
}

impl<'a> Demo<'a> {
    fn new(data: Vec<&'a u8>) -> Self {
        Demo { data }
    }

    fn bug(mut self) -> ! {
        let a = 8;
        {
            self.data.push(&a);
            {
                self.forever();
            }
        }
    }

    fn forever(self) -> ! {
        loop {
            for dat in &self.data {
                println!("{}", dat);
            }
        }
    }
}

fn main() {
    let v = vec![&1, &1, &2, &3];
    Demo::new(v).bug();
}

我的问题是：如何重构上面的代码以避免装箱数据，但仍然能够使用主循环。

Answer 1

这里的问题与其说是借用检查器看不到无限循环，不如说是你在主动欺骗编译器。在main()中构造Demo<'a>时，生命周期'a是一个不同的生命周期（绑定到main()的范围）。在 bug() 中，您现在推送一个新引用，该引用必须持续到 生命周期 'a 已经确定为 。没办法了。

但是，您可以创建保证至少与 any 生命周期一样长的引用：

fn bug(mut self) -> ! {
    let a: &'static u8 = &8;
    {
        self.data.push(a);
        {
            self.forever();
        }
    }
}

这会起作用，因为无论 'a 是什么，'static 至少会活得一样长。

Answer 2

在 impl<'a> Demo<'a> 中，所有 self 都具有完全相同的类型，即完全相同的 'a。但就您而言，您正试图缩短使用寿命。您可以通过重新绑定 self:

来完成此操作

let mut this = self;
// the compiler infers that `this` must have a shorter lifetime:
this.data.push(&a);
this.forever();

(link to the playground)

您的其他示例可以在 similar way.

中修复

Rust：在无限循环中借用检查器

Rust: borrow checker in infinite loop

infinite-loop

rust

borrow-checker