Rust中枚举enum的变体能否引用同个枚举的其他变体？

你写的示例代码无法通过Rust编译，同一个枚举的变体不能直接作为类型被同枚举的其他变体引用。

原因说明 #

• Rust的枚举变体本身不是独立类型，所有变体都隶属于同一个枚举类型，仅作为该类型的不同值构造器、值形态存在，无法在类型标注的位置使用Self::Text这类变体标识。
• 你示例中Secret(Self::Text)的写法里，Self::Text不属于合法的类型表达式，编译器会直接抛出类型不识别的错误。

替代实现方案 #

如果你想实现「Secret变体只能存储和Text变体结构一致的内容」的需求，有两种常用实现方式：

方案1：抽离公共载荷为独立类型 #

把Text变体的内部数据单独定义为结构体，两个变体都引用该结构体即可，这种方式在编译期就能保证Secret存储的内容和Text的结构完全一致，不需要额外运行时校验：

// 抽离Text变体的公共载荷
struct TextContent(String);

enum Message {
    Text(TextContent),
    Secret(TextContent)
}

方案2：存储枚举本身+运行时校验 #

如果确实需要存储完整的Message枚举值，可以用Box包裹枚举避免无限大小问题，再通过构造方法做运行时校验，保证Secret只能包裹Text变体：

enum Message {
    Text(String),
    // 用Box包裹避免枚举大小无法确定的编译错误
    Secret(Box<Self>)
}

impl Message {
    /// 构造Secret变体的安全方法，仅接收Text类型的Message
    fn new_secret(text_msg: Message) -> Result<Self, &'static str> {
        match text_msg {
            Self::Text(_) => Ok(Self::Secret(Box::new(text_msg))),
            _ => Err("Secret仅允许包裹Text类型的Message")
        }
    }
}

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