使用rust "error: moving out of immutable field"

Question

我创建了以下 Rust 结构:

struct HTTPRequestHeader {
    name: ~str,
    data: ~str,
    next: Option<~HTTPRequestHeader>
}

和下面的代码来打印它:

fn print_headers(hdr: &HTTPRequestHeader) {
    println(fmt!("%s: %s", (*hdr).name, (*hdr).data));
    match (*hdr).next {
        Some(next_hdr) => { print_headers(next_hdr); }
        None => { }
    }
}

尝试编译此代码时，出现以下错误:

> rustc http_parse.rs
http_parse.rs:37:7: 37:18 error: moving out of immutable field
http_parse.rs:37    match (*hdr).next {
                          ^~~~~~~~~~~
error: aborting due to previous error

这是什么意思？包含 (*hdr).name, (*hdr).data) 的行编译没有错误。 match 语句不应该试图以任何方式改变 hdr.next，所以我看不出不变性是如何产生的。我试图编写一个不接受指针的修改版本:

fn print_headers(hdr: HTTPRequestHeader) {
    println(fmt!("%s: %s", hdr.name, hdr.data));
    match hdr.next {
        Some(next_hdr) => { print_headers(*next_hdr); }
        None => { }
    }
}

这个给了我:

> rustc http_parse.rs
http_parse.rs:37:7: 37:15 error: moving out of immutable field
http_parse.rs:37    match hdr.next {
                          ^~~~~~~~
http_parse.rs:38:36: 38:45 error: moving out of dereference of immutable ~ pointer
http_parse.rs:38        Some(next_hdr) => { print_headers(*next_hdr); }
                                                          ^~~~~~~~~
error: aborting due to 2 previous errors

请帮助我了解这里发生了什么! :)

Answer 1

虽然错误确实告诉您尝试将值从 移动到哪里，但它并不表示您尝试将它移动到到 的位置，这可能会有所帮助让它更清楚为什么它不起作用。

问题是你有一个唯一的指针(Option<~HTTPRequestHeader>)，这意味着你要么需要引用它，要么制作一个副本。由于它们只能有一个所有者，因此默认情况下它们会被移动。 Some(next_hdr) 中发生了什么匹配的分支。

所以你可能想要的是这样的:

fn print_headers(hdr: &HTTPRequestHeader) {
    println(fmt!("%s: %s", hdr.name, hdr.data));
    match hdr.next {
        Some(ref next_hdr) => print_headers(*next_hdr),
        None => {}
    }
}

此外，附注:如果您想通过指针访问某个结构的字段，则不需要显式取消引用它(即 hdr.name 与 (*hdr).name 一样有效)。