包含遞迴資料結構的 Box

遞迴資料型別或含有動態大小的資料型別必須使用 Box：

#[derive(Debug)]
enum List<T> {
    Cons(T, Box<List<T>>),
    Nil,
}

fn main() {
    let list: List<i32> = List::Cons(1, Box::new(List::Cons(2, Box::new(List::Nil))));
    println!("{list:?}");
}
StackHeaplistCons1Cons2Nil

  • If Box was not used and we attempted to embed a List directly into the List, the compiler would not compute a fixed size of the struct in memory (List would be of infinite size).

  • Box 大小與一般指標相同，並且只會指向堆積中的下一個 List 元素，因此可以解決這個問題。

  • 將 Box 從 List 定義中移除後，畫面上會顯示編譯器錯誤。如果您看到「Recursive with indirection」錯誤訊息，建議您使用 Box 或其他種類的參考，而不是直接儲存值。