Question

我有以下问题：我有一个从缓冲区解析的数据结构，并包含对此缓冲区的一些引用，因此解析函数看起来像

fn parse_bar<'a>(buf: &'a [u8]) -> Bar<'a>

到目前为止，这么好。但是，为了避免某些生命周期问题，我想将数据结构和底层缓冲区放入结构中，如下所示：

struct BarWithBuf<'a> {bar: Bar<'a>, buf: Box<[u8]>}
// not even sure if these lifetime annotations here make sense,
// but it won't compile unless I add some lifetime to Bar

但是，现在我不知道如何实际构建BarWithBuf值。

fn make_bar_with_buf<'a>(buf: Box<[u8]>) -> BarWithBuf<'a> {
    let my_bar = parse_bar(&*buf);
    BarWithBuf {buf: buf, bar: my_bar}
}

不起作用，因为在构造BarWithBuf值时移动buf，但我们借用它进行解析。

我觉得应该可以按照

的方式做点什么

fn make_bar_with_buf<'a>(buf: Box<[u8]>) -> BarWithBuf<'a> {

    let mut bwb = BarWithBuf {buf: buf};
    bwb.bar = parse_bar(&*bwb.buf);
    bwb
}

以避免在解析Bar之后移动缓冲区，但我不能这样做，因为整个BarWithBuf结构必须一次性初始化。现在我怀疑我可以使用unsafe代码来部分构造结构，但我宁愿不这样做。解决这个问题的最佳方法是什么？我需要不安全的代码吗？如果我这样做，这里安全吗？或者我完全在错误的轨道上，有一种更好的方法将数据结构及其底层缓冲区联系在一起？

Answer 1

我认为你是对的，没有不安全的代码就不可能做到这一点。我会考虑以下两个选项：

将Bar中的引用更改为索引。该框的内容不受借用保护，因此如果您不小心，索引可能会失效。但是，索引可能会以更清晰的方式传达参考的含义。
将Box<[u8]>移至Bar，并将buf() -> &[u8]函数添加到Bar的实现中;而不是引用，将索引存储在Bar中。现在Bar是缓冲区的所有者，因此它可以控制其修改并保持索引有效（从而避免选项＃1的问题）。
根据下面DK的建议，将索引存储在BarWithBuf（或帮助程序结构BarInternal）中，并将函数fn bar(&self) -> Bar添加到BarWithBuf的实现中，即时构建Bar。

这些选项中哪一个最合适取决于实际的问题背景。我同意某种形式的“逐个成员构造”的结构对Rust非常有帮助。

如何创建一个结构，其中一个字段引用另一个字段

1 个答案: