Question

我正在努力理解链表的这两种实现之间的区别。第一个版本是Rust书中使用Box<T>呈现的版本：

enum List {
    Cons(i32, Box<List>),
    Nil,
}

这是我在想的另一个实现：

enum List<'a> {
    Cons(i32, &'a List<'a>),
    Nil,
}

两者之间是否有重要区别，或者在这种情况下它们是等效的？

Answer 1

这两种实施方式都可以在技术上工作，但仍需要进行一些权衡。

Box在堆上分配，然后拥有数据。与管理引用相比，这非常方便且灵活。

为了使用&引用构建第二种类型的列表，您需要在某个地方拥有数据。因此，您需要管理任意数量的节点，并确保它们不会超出范围。这可能是非常严格的。例如，制作一个构造一个列表然后返回它的函数并不容易：

fn make_list<'a>() -> List<'a> {
    let node1 = List::Nil;
    let node2 = List::Cons(1, &node1);
    let node3 = List::Cons(2, &node2);
    node3
    // node1 and node2 go out of scope here...
}

这是行不通的，因为它引用了函数局部变量，当函数返回时，它们超出了范围。使用Box的版本将起作用，因为Box拥有数据的所有权。

使用Box <t>和＆'a T实现的链表之间有区别吗？

1 个答案: