价值不够长

时间:2017-02-28 08:07:45

标签: rust lifetime borrowing

我不完全了解生命周期,但我认为b的生命将在self之前结束。

那么,如何编辑这段代码呢?我在内存中复制一些东西吗?如果我创建一个新实例,这个生命周期必须遵循这种情况。

pub struct Formater {
    layout: &'static str,
}

impl Formater {
    pub fn new(layout: &'static str) -> Formater {
        let regex = Regex::new(r"%\{([a-z]+)(?::(.*?[^\\]))?\}").unwrap();
        let b = regex.replace_all(layout, "{}");

        return Formater {
            layout: &b,
        };
    }
}

错误:

error: `b` does not live long enough
  --> src/format.rs:16:22
   |
16 |             layout: &b,
   |                      ^ does not live long enough
17 |         };
18 |     }
   |     - borrowed value only lives until here
   |
   = note: borrowed value must be valid for the static lifetime...

1 个答案:

答案 0 :(得分:9)

b的范围是new函数,因此当函数返回时,它的内存将被释放。但是您试图从该函数返回对b的引用。如果Rust允许您执行此操作,那么可能使用该引用的唯一代码将在值<无效后使用。借用检查器可以保护您免受未定义的行为

使layout成为&'static str听起来就像让事情变得简单,但期望regex.replace_all的动态分配内存是静态的是不合理的。在不进入unsafe代码的情况下,您应该将'static生命周期中的任何内容视为编译时常量。例如,字符串文字。

正如其他人所说,您可能希望layout成为StringString&str类似,但拥有基础str。这意味着当您移动String时,基础str随之移动。 &str是一个引用,不得超过它所指向的str的所有者。

如果你真的希望它是&str,那么替代但不那么符合人体工程学的方法是让new()的调用者拥有&str,并将其作为可变引用传递。

pub struct Formatter<'a> {
    layout: &'a str,
}

impl <'a> Formatter<'a> {
    pub fn new(layout: &'a mut &str) -> Formatter<'a> {
        let regex = Regex::new(r"%\{([a-z]+)(?::(.*?[^\\]))?\}").unwrap();
        *layout = regex.replace_all(layout, "{}");

        return Formatter {
            layout: layout,
        };
    }
}

这会将问题移到调用堆栈的一层,这意味着传递给new的引用将被new变异。

pub fn main() {
    let mut s = "blah %{blah}";
    {
        let formatter = Formatter::new(&mut s);
        println!("{:?}", formatter.layout); // "blah {}"
    }
    println!("{:?}", s); // "blah {}"
}

现在smain所有,因此formatter只要在main范围内使用的范围较小时才有效。

但总的来说,我认为这种方法比较麻烦,除非你有充分的理由,否则你应该坚持使用String