实施 Drop trait 后“借来的价值活得不够长”

Question

作为 Rust 的新手，我想使用一些数据结构，最终得到了类似没有有效负载的节点类型的东西。

use std::cell::RefCell;
use std::collections::HashMap;
use std::ops::Drop;

#[derive(Debug)]
struct Container<'a> {
    next : Option<&'a RefCell<Container<'a>>>,
}

impl<'a> Container<'a> {
    fn new() -> Container<'a> {
        Container { next: None }
    }

    fn set(&mut self, next: &'a RefCell<Container<'a>>) {
        self.next = Some(next);
    }
}

目标是让这些节点不拥有它们的邻居，所以 std::rc::Rc 是不可能的。 所以我做了一些测试，结果很好：

fn main() {
    // items:
    let cont_1 = RefCell::new(Container::new());
    let cont_2 = RefCell::new(Container::new());

    let b_1 = &cont_1;
    let b_2 = &cont_2;

    (*b_2).borrow_mut().set(b_1);
    (*b_1).borrow_mut().set(b_2);

    println!("{:?}", b_1.borrow());
}

由于我在玩，然后我尝试在 Container 类型上实现 Drop trait

impl<'a> Drop for Container<'a>{
    fn drop(&mut self) {}
}

这导致两个（另一个用于 cont_2）

error[E0597]: `cont_1` does not live long enough
  --> src/main.rs:11:15
   |
11 |     let b_1 = &cont_1;
   |               ^^^^^^^ borrowed value does not live long enough
...
18 | }
   | -
   | |
   | `cont_1` dropped here while still borrowed
   | borrow might be used here, when `cont_1` is dropped and runs the destructor for type `std::cell::RefCell<Container<'_>>`

现在，我相信 Drop 会导致解除分配在范围的末尾，否则它通常会在最后一次使用之后发生？ 但无论哪种方式，抱怨都是关于价值不够长......我尝试在两者之间添加 drop(...) ，但失败了。 我想我什至不明白释放的顺序究竟是如何改变的。 我希望cont_1会在最后被释放，因为它首先被初始化/声明，这意味着我真的不明白它是如何被借用的。

Answer 1

如果在drop()实现中使用self.next.unwrap()...会发生什么？ 由于您的变量之一必然会在另一个变量之前删除，因此最后一个变量将具有悬空引用，因此未定义行为。 所以你的代码不编译是正确的。

IMO，解决方案是使用某种引用计数指针。 如果您不想要Rc ，因为它们不拥有邻居（它会创建一个引用循环并因此泄漏您的对象），您可以使用Weak引用。 像这样的东西（游乐场） ：

use std::cell::RefCell;
use std::ops::Drop;
use std::rc::{Rc, Weak};

#[derive(Debug)]
struct Container {
    next : Option<Weak<RefCell<Container>>>,
}

impl Container {
    fn new() -> Container {
        Container { next: None }
    }
    fn set(&mut self, next: &Rc<RefCell<Container>>) {
        self.next = Some(Rc::downgrade(next));
    }
}

impl Drop for Container{
    fn drop(&mut self) {}
}

fn main() {
    // items:
    let cont_1 = Rc::new(RefCell::new(Container::new()));
    let cont_2 = Rc::new(RefCell::new(Container::new()));

    cont_1.borrow_mut().set(&cont_1);
    cont_2.borrow_mut().set(&cont_2);

    println!("{:?}", cont_1.borrow());
}