何时优先使用zero-variant enum而非unit-like struct？

首先明确核心区别：

• 单元结构体（struct Unit;）：有且仅有一个实例，用来表示“无状态但存在的标记”，确实和Erlang的atom有相似性。
• 零变体枚举（enum Never {}）：没有任何可能的实例，属于Rust里的“不可实例化类型”。

零变体枚举的主要用途 #

• 标记不可能的返回值：如果一个函数逻辑上永远不会返回（比如无限循环、无条件panic），可以用零变体枚举作为返回类型，比Rust的特殊类型!（从未类型）更具语义，且能在泛型中灵活使用。

  enum Never {}
  
  fn forever_panic() -> Never {
      loop {
          panic!("这个函数永远不会结束");
      }
  }
  

• 排除枚举的无效分支：在枚举中加入零变体分支，可以静态确保该分支永远不会被构造，编译器会自动忽略该分支的匹配逻辑，减少冗余代码。

  enum OperationResult {
      Success,
      Retry,
      // 这个分支永远无法被创建，仅用于标记逻辑上不可能的情况
      Unreachable(Never),
  }
  
  fn handle_result(res: OperationResult) {
      match res {
          OperationResult::Success => println!("操作成功"),
          OperationResult::Retry => println!("需要重试"),
          // 编译器会识别这个分支不可达，甚至可以省略
          OperationResult::Unreachable(_) => unreachable!(),
      }
  }
  

• 泛型中的“不可实例化”约束：当你需要一个类型参数，但该参数永远不需要被实例化时，用零变体枚举可以从编译层面防止意外创建实例，避免逻辑错误。

优先选择零变体枚举而非单元结构体的场景 #

• 需要完全禁止实例化时：如果你的类型逻辑上就不应该存在任何实例（比如表示“不可能发生的状态”），必须用零变体枚举——单元结构体允许创建实例，可能导致误用。
• 语义更精准的场景：当你想表达“这件事绝对不会发生”时，零变体枚举的语义比单元结构体更清晰：单元结构体表示“无意义但存在的单元”，而零变体枚举表示“不存在任何可能的实例”。
• 避免意外实例化：单元结构体可以被随意创建（比如let x = Unit;），如果你的类型不应该被实例化，零变体枚举从编译阶段就杜绝了这种可能。
• 替代!类型的泛型场景：Rust的!类型是特殊的从未类型，无法作为普通类型参数传递，而零变体枚举是普通枚举，可以在泛型中灵活使用，实现类似!的语义。

内容的提问来源于stack exchange，提问作者ITChap