data-structures - "overflow while adding drop-check rules"实现指形树

我正在尝试定义一个手指树结构并将其基本操作实现为 Rust 中的练习。我想出了以下内容，这基本上就是 paper 中描述的内容。

use self::FingerTree::{Empty, Single, Deep};
use self::Digit::{One, Two, Three, Four};

enum Digit<A> {
    One(A),
    Two(A, A),
    Three(A, A, A),
    Four(A, A, A, A),
}

enum Node<V, A> {
    Node2(V, A, A),
    Node3(V, A, A, A),
}

enum FingerTree<V, A> {
    Empty,
    Single(A),
    Deep {
        size: V,
        prefix: Digit<A>,
        tree: Box<FingerTree<V, Node<V, A>>>,
        suffix: Digit<A>,
    },
}

fn main() {
    let e: FingerTree<i32, String> = Empty;
}

编译给了我一个我不明白的错误:

error[E0320]: overflow while adding drop-check rules for FingerTree<i32, std::string::String>
  --> fingertree.rs:28:9
   |
28 |     let e: FingerTree<i32, String> = Empty;
   |         ^
   |
note: overflowed on enum Node variant Node2 field 0 type: i32
  --> fingertree.rs:28:9
   |
28 |     let e: FingerTree<i32, String> = Empty;
   |         ^

error[E0320]: overflow while adding drop-check rules for FingerTree<i32, std::string::String>
  --> fingertree.rs:28:38
   |
28 |     let e: FingerTree<i32, String> = Empty;
   |                                      ^^^^^
   |
note: overflowed on enum Node variant Node2 field 0 type: i32
  --> fingertree.rs:28:38
   |
28 |     let e: FingerTree<i32, String> = Empty;
   |                                      ^^^^^

为什么这不起作用？我如何使它工作？

最佳答案

你创造了一个无限的类型。

实例化 FingerTree<V, A> 实例化 FingerTree<V, Node<V, A>> 实例化 FingerTree<V, Node<V, Node<V, A>>> 实例化，......而且看不到尽头。

编译器无法判断该类型实际上不会在运行时使用，因此为最坏的情况做好准备。而最坏的是无限的。

简单地用 tree 替换 Box<FingerTree<V, A>> 的类型可以解决这个问题，尽管它可能不适合当前的情况。

关于data-structures - "overflow while adding drop-check rules"实现指形树，我们在Stack Overflow上找到一个类似的问题：https://stackoverflow.com/questions/41936513/