2

我创建了以下 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

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

4

1 回答 1

7

虽然该错误确实告诉您尝试将值从其中移动到哪里，但并不表示您尝试将其移动到哪里，这可能有助于更清楚地了解它为什么不起作用。

问题是您有一个唯一的指针 ( 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）。

于 2013-06-03T20:25:35.080 回答