特征可以用于枚举类型吗？

Question

我通读了trait documentation 并找到了在结构上使用特征的简洁定义。是否可以在 enum 类型上使用特征？我看到回答说不，但他们已经 3 岁了，并没有完全按照我的意愿去做。

我尝试过这样做：

#[derive(Debug, Copy, Clone)]
pub enum SceneType {
    Cutscene,
    Game,
    Menu,
    Pause,
    Credits,
    Exit,
}

//We want to guarantee every SceneType can be played statically
trait Playable {
    fn play();
}

impl Playable for SceneType::Cutscene {
    fn play() {}
}

error[E0573]: expected type, found variant `SceneType::Cutscene`
  --> src/main.rs:16:19
   |
16 | impl Playable for SceneType::Cutscene {
   |                   ^^^^^^^^^^^^^^^^^^^
   |                   |
   |                   not a type
   |                   help: you can try using the variant's enum: `SceneType`

我不明白这个错误，因为它引用的枚举在同一个文件中。如果我真的不能在枚举变体上使用特征，有什么办法可以保证任何枚举特征都必须实现某些方法？

Answer 1

特征可以用于枚举类型吗？

是的。事实上，你已经为你的枚举定义了多个特征；特征Debug、Copy 和Clone：

#[derive(Debug, Copy, Clone)]
pub enum SceneType

问题是您没有尝试为您的枚举实现Playable，而是尝试为枚举的变体之一 实现它。枚举变体不是类型。

正如错误信息告诉你的那样：

help: you can try using the variant's enum: `SceneType`

impl Playable for SceneType {
    fn play() {}
}

另见：

• Can struct-like enums be used as types?
• Is there a way to use existing structs as enum variants?