在 Rust 中使用 List<T>

Question

我刚刚开始使用 Rust，并尝试编写一些基本算法来感受该语言。我在这里的尝试是编写一个函数，给定int 将其转换为由bool 值的链接列表表示的二进制形式，true 用于1，false 用于0（如果有更好的“位”类型我也愿意接受这个建议）。

我目前的实现如下：

fn to_base_2(num: int) -> List<bool> {
    fn to_base_2_acc(num: int, acc: List<bool>) -> List<bool> {
        if num == 0 {
            return acc;
        } else {
            let bit = (num % 2) == 0;
            let new_acc = Cons(bit, acc);
            return to_base_2_acc(num / 2, new_acc);
        }
    }

    to_base_2_acc(num, Nil);
}

此代码编译失败：

main.rs:20:28: 20:31 error: mismatched types: expected `@extra::list::List<bool>` but found `extra::list::List<bool>` (expected @-ptr but found enum extra::list::List)
main.rs:20              let new_acc = Cons(bit, acc);
                                                ^~~

但是，通过将 @ 放在 List 前面来更新要管理的代码会导致以下结果：

main.rs:15:34: 15:45 error: The managed box syntax is being replaced by the `std::gc::Gc` and `std::rc::Rc` types. Equivalent functionality to managed trait objects will be implemented but is currently missing.
main.rs:15      fn to_base_2_acc(num: int, acc: @List<bool>) -> List<bool> {
                                                ^~~~~~~~~~~
main.rs:15:34: 15:45 note: add #[feature(managed_boxes)] to the crate attributes to enable
main.rs:15      fn to_base_2_acc(num: int, acc: @List<bool>) -> List<bool> {
                                                ^~~~~~~~~~~
main.rs:25:21: 25:25 error: The managed box syntax is being replaced by the `std::gc::Gc` and `std::rc::Rc` types. Equivalent functionality to managed trait objects will be implemented but is currently missing.
main.rs:25      to_base_2_acc(num, @Nil);
                                   ^~~~
main.rs:25:21: 25:25 note: add #[feature(managed_boxes)] to the crate attributes to enable
main.rs:25      to_base_2_acc(num, @Nil);
                                   ^~~~

这是使用 rustc 0.9-pre。链表在这个版本的编译器中不起作用吗？

Answer 1

您需要@，因为extra::list::List 的定义使得Cons 需要@List<T> 作为第二个值。

但是，正如您所发现的，尝试添加 @ 会引发功能门错误。正如 snf 所评论的，您可以添加

#[feature(managed_boxes)];

到根 crate 文件的顶部以启用 @ 的使用。