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

在impl<'a> Demo<'a>内，所有selfs具有完全相同的类型，对于完全相同的'a。但在你的情况下，你正试图缩短寿命。你可以通过重新绑定self来做到这一点：

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

（Qazxswpoi）

你的另一个例子可以在link to the playground中修复。

Answer 2

这里的问题不在于借用检查器无法看到无限循环，而是您正在积极地向编译器撒谎。在similar way中构建Demo<'a>时，生命周期main()是一个独特的生命周期（与'a的范围相关）。在main()中，你现在推出一个新的引用，只要生命周期'a已经建立，就必须持续。没有办法解决这个问题。

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

bug()

这将有效，因为无论

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

是什么，'a将至少生活一段时间。