在同一向量 Rust 中用另一个字符串扩展一个字符串

发布于11月28日

我是铁 rust 新手，我不能解决这个简单的问题: 请考虑以下代码:

let mut a = vec![String::from("aa"), String::from("bb")];
a[0] += &*a[1];

Borry Checker理所当然地抱怨我在这里既有不可变的借词，也有可变的借词.它还暗示了我:

help: try adding a local storing this...
  --> src\main.rs:61:15
   |
61 |     a[0] += &*a[1];
   |               ^^^^
help: ...and then using that local here
  --> src\main.rs:61:5
   |
61 |     a[0] += &*a[1];
   |     ^^^^^^^^^^^^^^

我真的不明白那是什么意思.我真的需要克隆字符串才能执行如此简单的操作吗？(这将导致总共两个副本:进入临时的，然后回到a[0]，而不是最佳的1个副本直接进入a[0])

推荐答案

天真地，就像这样(没有理由取消引用a[1]):

fn main() {
    let mut a = vec![String::from("aa"), String::from("bb")];
    a[0] += &a[1];
}

遗憾的是，正如您所注意到的，这会导致borrow 判断器出现问题.修改a[0]会不变地borrow 它，而你也需要不变地borrow a[1]来追加它.并且不允许同时不变地和不变地borrow a:

error[E0502]: cannot borrow `a` as immutable because it is also borrowed as mutable
 --> src/main.rs:3:14
  |
3 |     a[0] += &a[1];
  |     ---------^---
  |     |        |
  |     |        immutable borrow occurs here
  |     mutable borrow occurs here
  |     mutable borrow later used here

原因是拉斯特不知道a[0]和a[1]是自变量.此行为是有意的，而且很重要，因为它可以防止某些可能导致未定义行为的情况.铁 rust 有一个零不确定的行为保证.

不过，您可以通过split_at_mut函数将数组拆分为两个独立可变的部分.这是可行的，因为铁 rust 现在可以保证这两个部分是独立的.按顺序borrow 它们使得(目前的)拉斯特不可能证明这一点.

fn main() {
    let mut a = vec![String::from("aa"), String::from("bb")];

    let (a_left, a_right) = a.split_at_mut(1);
    a_left[0] += &a_right[0];

    println!("{:?}", a);
}