如何制作一个结构体，其中一个字段引用另一个字段

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

Answer 1

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

1. 将引用更改Bar为索引。框中的内容不会受到借用的保护，因此如果您不小心，索引可能会变得无效。然而，索引可能会以更清晰的方式传达参考文献的含义。

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

3. 根据下面 DK 的建议，将索引存储在BarWithBuf（或辅助结构体中）并向的实现BarInternal添加一个函数，这会构造一个即时结构。fn bar(&self) -> BarBarWithBufBar

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