与C中的指针不同，Box<T>不能为空。它总是持有一个指向T的非空指针。Option<Box<T>>代表了指向堆分配对象的 * 可空 * 指针的概念。
如果你把一个普通的Box<T>存储在一个T中，那么每个对象都将包含一个指向另一个不同对象的非空指针，如果没有空性，并且Box<T>必然是非循环的，那么你最终会得到一个无限大的数据结构。

如果struct，enum或union直接或间接包含自身，而不使用某种指针，则大小必须是无限的，这是不可能的。通过使用Option<Box<T>>，您只在实际需要时才分配更多空间。

Box指针用于确定递归类型的大小。

enum List{
    // Cons refers to List itself
    // since this is a recursive type its size cannot be determined at compile time
    Cons(i32,List),
    Nil,
}

由于递归的原因，Rust无法计算出它需要存储多少空间，因此我们编写如下代码：

#[derive(Debug)]
enum List{
    // Cons is similar to a linked list
    Cons(i32,Box<List>),
    Nil,
}

现在编译器知道列表类型只有i32和固定大小的Box指针。当我们使用List枚举定义列表变量时

let list_var=Cons(1,Box::new(Cons(10,Box::new(Cons(100,Box::new(Nil))))));

这里的问题是每次我们创建Cons变量时，我们都用Box Package 它，即使我们必须写Nil . 'Nil is something that has no associated value but with wrapping it with Box'指针，我们仍然分配堆空间，这是不必要的。

enum List{
    // we avoid allocating heap space for Nil
    // Option's None will replace Nil
    Cons(i32, Option<Box<List>>),
    // Nil,  we remove this
}

之后，我将这样初始化list_var

// instead of Box::new(Nil) I am using None
let list_var=List::Cons(1,Some(Box::new(Cons(10,Some(Box::new(Cons(100,None)))))));