铁锈：无限循环中的借用检查器 [英] Rust: borrow checker in infinite loop

问题描述

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

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

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

推荐答案

在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中修复。

这篇关于铁锈：无限循环中的借用检查器的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持IT屋！