rust - 如何制作其中一个字段引用另一个字段的结构

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}
}

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

我觉得应该可以按照以下方式做一些事情

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 代码来部分构造该结构，但我宁愿不这样做。解决这个问题的最佳方法是什么？我需要不安全的代码吗？如果我这样做，在这里这样做安全吗？还是我完全走错了路，有更好的方法将数据结构及其底层缓冲区绑定(bind)在一起吗？

Answer 1

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

1. 更改 Bar 中的引用到一个索引。盒子的内容不受借用的保护，因此如果您不小心，索引可能会失效。但是，索引可能会以更清晰的方式传达引用的含义。

2. 移动Box<[u8]>进入Bar , 并添加一个函数 buf() -> &[u8]执行Bar ;在 Bar 中存储索引而不是引用.现在Bar是缓冲区的所有者，因此它可以控制其修改并保持索引有效(从而避免选项 #1 的问题)。

3. 根据下面 DK 的建议，将索引存储在 BarWithBuf 中(或在辅助结构 BarInternal 中)并添加一个函数 fn bar(&self) -> Bar执行BarWithBuf , 它构造了一个 Bar即时。

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