如何正确实现基于零大小类型约束API的Rust Rocket结构体？

针对你在实现《Rust for Rustaceans》中ZST状态机示例时遇到的两个问题，直接给出修正方案和解释：

问题1：Default trait实现时的字段初始化错误 #

PhantomData虽是零大小类型，但结构体字段必须显式初始化。不过PhantomData本身实现了Default，可以直接用Default::default()或显式指定类型来完成初始化。

问题2：launch方法的类型转换问题 #

Rocket<Grounded>和Rocket<Launched>是完全不同的类型，无法直接强制转换。由于ZST实例的创建无运行时开销，直接创建新的Rocket<Launched>实例即可完成状态切换。

修正后的完整代码 #

struct Grounded;
struct Launched;

struct Rocket<Stage = Grounded> {
    stage: std::marker::PhantomData<Stage>,
}

impl Default for Rocket<Grounded> {
    fn default() -> Self {
        // 两种初始化方式均可行：显式指定类型或调用Default
        Rocket { stage: std::marker::PhantomData::<Grounded> }
        // 或 Rocket { stage: Default::default() }
    }
}

impl Rocket<Grounded> {
    pub fn launch(self) -> Rocket<Launched> {
        // 创建新的Launched状态实例，无运行时成本
        Rocket { stage: std::marker::PhantomData::<Launched> }
    }
}

impl Rocket<Launched> {
    pub fn accelerate(&mut self) { println!("Accelerating"); }
    pub fn decelerate(&mut self) { println!("Decelerating"); }
}

impl<Stage> Rocket<Stage> {
    pub fn color(&self) { println!("blue"); }
    pub fn weight(&self) { println!("10kg"); }
}

fn main() {
    let mut rocket: Rocket = Default::default();
    rocket.color();
    rocket.weight();
    
    // 发射后切换状态
    let mut launched_rocket = rocket.launch();
    launched_rocket.accelerate();
    launched_rocket.decelerate();
    launched_rocket.color();
}

关键修改说明 #

1. Default实现：必须显式初始化stage字段，借助PhantomData的Default实现或直接指定类型的PhantomData常量即可完成。
2. launch方法：通过创建新的Rocket<Launched>实例完成状态转换，这种转换完全是编译期类型检查，无任何运行时开销。
3. 补充了main函数的状态转换示例，展示类型系统如何确保只有已发射的火箭才能调用加速/减速方法。

内容的提问来源于stack exchange，提问作者Danilo Souza Morães