Rust中的Trait与Trait Bounds详解

// 定义一个trait，表示“会飞的能力”
trait Fly {
    fn fly(&self);
}

// 孙悟空实现了Fly trait
struct MonkeyKing {}

impl Fly for MonkeyKing {
    fn fly(&self) {
        println!("孙悟空驾筋斗云，一跃冲天！");
    }
}

// 猪八戒也实现了Fly trait
struct ZhuBajie {}

impl Fly for ZhuBajie {
    fn fly(&self) {
        println!("猪八戒施展水遁术，化作一道清烟飞走！");
    }
}

// 定义一个trait，表示“会灭火的能力”
trait Extinguish {
    fn extinguish(&self);
}

// 孙悟空实现了Extinguish trait
impl Extinguish for MonkeyKing {
    fn extinguish(&self) {
        println!("孙悟空拔出猴毛，变出无数小猴子扑灭火焰！");
    }
}

// 猪八戒也实现了Extinguish trait
impl Extinguish for ZhuBajie {
    fn extinguish(&self) {
        println!("猪八戒用嘴一吹，火焰瞬间熄灭！");
    }
}

// 唐僧希望徒弟们都能灭火，因此添加Trait Bounds
fn cross_flame_mountain<T: Extinguish>(disciple: T) {
    disciple.extinguish();
}

// 测试代码
fn main() {
    let monkey_king = MonkeyKing {};
    cross_flame_mountain(monkey_king); // 输出：孙悟空拔出猴毛，变出无数小猴子扑灭火焰！

    let zhu_bajie = ZhuBajie {};
    cross_flame_mountain(zhu_bajie); // 输出：猪八戒用嘴一吹，火焰瞬间熄灭！
}

trait Fly {
    fn fly(&self);
}

// 定义Trait
trait Fly {
    fn fly(&self);
}

trait Extinguish {
    fn extinguish(&self);
}

// 为所有实现了Fly的类型提供默认的Extinguish实现
impl<T: Fly> Extinguish for T {
    fn extinguish(&self) {
        println!("使用飞行能力扑灭火焰！");
    }
}

// 孙悟空实现了Fly trait
struct MonkeyKing {}
impl Fly for MonkeyKing {
    fn fly(&self) {
        println!("孙悟空驾筋斗云，一跃冲天！");
    }
}

// 猪八戒也实现了Fly trait
struct ZhuBajie {}
impl Fly for ZhuBajie {
    fn fly(&self) {
        println!("猪八戒施展水遁术，化作一道清烟飞走！");
    }
}

// 唐僧需要徒弟们具备飞行和灭火的能力
fn cross_difficulties<T: Fly + Extinguish>(disciple: T) {
    disciple.fly();
    disciple.extinguish();
}

// 测试代码
fn main() {
    let monkey_king = MonkeyKing {};
    cross_difficulties(monkey_king); // 输出：
                                    // 孙悟空驾筋斗云，一跃冲天！
                                    // 使用飞行能力扑灭火焰！

    let zhu_bajie = ZhuBajie {};
    cross_difficulties(zhu_bajie); // 输出：
                                   // 猪八戒施展水遁术，化作一道清烟飞走！
                                   // 使用飞行能力扑灭火焰！
}