我有以下问题:我有一个数据 struct ,它是从缓冲区解析的,并且包含一些对这个缓冲区的引用,所以解析函数看起来像

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

到目前为止,一切顺利.然而,为了避免某些生命周期问题,我希望将数据 struct 和底层缓冲区放入 struct 中,如下所示:

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,但我们borrow 它进行解析.

我觉得应该可以按照

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 struct 必须一次性初始化.

推荐答案

我认为你是对的,没有不安全的代码是不可能做到这一点的.我会考虑以下两种 Select :

  1. Bar中的引用更改为索引.该框的内容不受借阅保护,因此如果不小心,索引可能会无效.然而,索引可能会以更清晰的方式传达引用的含义.

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

  3. 根据DK在下面的建议,将索引存储在BarWithBuf(或helper struct BarInternal)中,并在BarWithBuf的实现中添加一个函数fn bar(&self) -> Bar,这将动态构造一个Bar.

这些选项中哪一个最合适取决于实际的问题背景.我同意,某种形式的 struct "逐件施工"对防 rust 有很大帮助.

Rust相关问答推荐

使用DeliverProcess W或ShellExecuteExW复制Windows Run行为?

SQL x中的mut *transaction和mut transaction有什么区别?

为什么拥有的trait对象的相等运算符移动了正确的操作数?

将内部类型作为参数的泛型 struct 上的方法

如果A == B,则将Rc A下推到Rc B

rust 迹-内存管理-POP所有权-链表

默认特征实现中的生命周期问题

为什么我们需要std::thread::scope,如果我们可以使用thread.join()在函数的生命周期内删除引用?

定义只有一些字段可以缺省的 struct

变量需要parse()中的显式类型

当我try 使用 SKI 演算中的S I I实现递归时,为什么 Rust 会失败?

为什么 Rust 需要可变引用的显式生命周期而不是常规引用?

详尽的匹配模式绑定

`UnsafeCell` 在没有锁定的情况下跨线程共享 - 这可能会导致 UB,对吗?

Rust ECDH 不会产生与 NodeJS/Javascript 和 C 实现相同的共享密钥

在 Bevy 项目中为 TextureAtlas 精灵实施 NearestNeighbor 的正确方法是什么?

Some(v) 和 Some(&v) 有什么区别?

了解 Rust 闭包:为什么它们持续持有可变引用?

如何判断服务器是否正确接收数据

为什么我可以在没有生命周期问题的情况下内联调用 iter 和 collect?