结构更新语法不适用于借来的数据

Question

我有一个这样的结构，带有一些已解析的参数：

struct Args {
    out: Option<String>,
    version: bool,
    help: bool,
    files: Vec<String>,
}

我想递归解析一个列表，每次需要修改时返回一个新修改的Args结构：

fn parse(parsed: &Args, start: usize, args: Vec<String>) -> Args {
    if start >= args.len() {
        return parsed.clone();
    }

    if args[start] == "--version" {
        return parse(&Args { version: true, ..parsed.clone() }, start + 1, args);
    }
    if args[start] == "--help" {
        return parse(&Args { help: true, ..parsed.clone() }, start + 1, args);
    }
    return Args { files: args[start..args.len()].to_vec(), ..parsed.clone() };
}

我使用这样的函数：

fn main() {
    let args = std::env::args().collect::<Vec<String>>();
    let parsed = parse(&Args::default(), 1, args);
}

此代码有效，但我想输入：

return parse(&Args { version: true, ..parsed }, start + 1, args);

代替：

return parse(&Args { version: true, ..parsed.clone() }, start + 1, args);

避免在克隆过程中复制过多的数据。当我删除 .clone() 时，它说应该是 Args 类型，但它却得到了 &Args。

当我取消引用 *parsed 时，编译器说“无法移出借用的内容”

Answer 1

当T 类型为Clone 时，在&T 上调用clone() 也将返回T，因为仅仅复制指针是没有意义的。事实上，如果它确实克隆了底层数据，然后返回了对它的引用，那么你就会遇到麻烦，因为T 会被删除，指针悬空。

要将&T 转换为T，您可以使用* 运算符取消引用它。但是，这会给您带来问题，因为parsed 是由parse 函数借用的，这意味着它必须在完成后将其归还。如果您取消引用它并移动值，那么您将脱离借用的上下文。