为什么“不能泄漏私有类型”只适用于结构而不适用于枚举？

Question

在Learning Rust With Entirely Too Many Linked Lists 中，他们表明pub enum 不能拥有私人struct:，

struct Node {
    elem: i32,
    next: List,
}

pub enum List {
    Empty,
    More(Box<Node>),
}

这会导致编译器报错：

error[E0446]: private type `Node` in public interface
 --> src/main.rs:8:10
  |
8 |     More(Box<Node>),
  |          ^^^^^^^^^^ can't leak private type

但是即使Link 是私有的，这段代码也不会导致错误：

pub struct List {
    head: Link,
}

enum Link {
    Empty,
    More(Box<Node>),
}

struct Node {
    elem: i32,
    next: Link,
}

造成这种差异的原因是什么？为什么私有枚举不会导致错误，而私有结构会导致错误？

Answer 1

在第一个示例中，枚举 List 是公开的。这意味着枚举变量More 也是公开的。但是，More 不能被外部代码使用，因为Node 不是公开的。因此，您有一个外部可见的东西，但实际上不能使用，这可能不是您想要的。

在第二个示例中，结构 List 是公共的。但是，head 字段不是公开的。因此，Link 是否公开并不重要，因为外部代码首先看不到head 字段。