Question

我无法弄清楚此代码的生命周期参数。我尝试的所有内容通常都会导致编译错误：

考虑使用显式生命周期参数，如图所示

或类似

在类型&'ent Entity<'a, 'ent>中，引用的生命周期比它引用的数据的寿命更长。

Entity，Reference是简化版本，可将此示例保持最小。

struct Entity<'a> {
    id: i32,
    name: &'a str,
    references: Option<Vec<Reference<'a>>>,
}

struct Reference<'a> {
    entity: &'a Entity<'a>,
}

fn main() {
    let mut ents: Vec<Entity> = vec![Entity {
                                      id: 0,
                                      name: "Zero",
                                      references: None,
                                  },
                                  Entity {
                                      id: 1,
                                      name: "One",
                                      references: None,
                                  },
                                  Entity {
                                      id: 2,
                                      name: "Two",
                                      references: None,
                                  },
                                  Entity {
                                      id: 3,
                                      name: "Three",
                                      references: None,
                                  }];
    let references_ents_id = vec![vec![3, 1, 2], vec![1], vec![0, 3], vec![3, 0]];
    create_references(&references_ents_id, &mut ents);
}

fn create_references(refs_id: &Vec<Vec<i32>>, ents_vec: &mut Vec<Entity>) {
    for (id_ent, references) in refs_id.iter().enumerate() {
        let mut references_of_ent: Vec<Reference> = vec![];
        for id_ent in references {
            references_of_ent.push(Reference {
                entity: ents_vec.iter().find(|ent| ent.id == *id_ent).unwrap(),
            });
        }
        ents_vec[id_ent].references = Some(references_of_ent);
    }
}

Rust Playground

Answer 1

我看错了方向。所以，我找到了一个解决方案，但不幸的是它并不安全。

您可以使用Rc和Weak来实现它，以允许节点的共享所有权，尽管这种方法可以支付内存管理的成本。
您可以使用原始指针使用不安全的代码来实现它。这样会更有效率，但会绕过Rust的安全保障。
将借用的引用与UnsafeCell。

Rust FAQ

递归结构错误生命周期（无法推断函数调用中生命周期参数的适当生命周期... [E0495]）

1 个答案: