Rust 有条件默认实现

发布于04月16日

在特征TraitA也被实现的情况下，是否可以定义特征TraitB的功能/方法fun_b的默认实现？下面我定义了一个带有超级特征TraitA的额外特征TraitBDerived，但我希望这个潜在的默认实现是透明的，因为不需要使用另一个特征.

trait TraitA {
    fn fun_a() -> String;
}

trait TraitB {
    fn fun_b() -> String;
}

trait TraitBDerived: crate::TraitA {
    fn fun_b() -> String {
        String::from("prefix ").add(&Self::fun_a())
    }
}

推荐答案

只需按照标准库中的方法进行-对实现TraitA的所有类型实现TraitB，例如，参见Playground

但是请注意，您无法为所有类型实现外部特征，只能为您定义的特征.

use std::ops::Add;

trait TraitA {
    fn fun_a() -> String;
}

trait TraitB {
    fn fun_b() -> String;
}

impl<T> TraitB for T where T: TraitA {
    fn fun_b() -> String {
        String::from("prefix ").add(&Self::fun_a())
    }
}

impl TraitA for i32 {
    fn fun_a() -> String { "TraitA".to_owned() }
}

impl TraitB for usize {
    fn fun_b() -> String { "TraitB".to_owned() }
}


fn main(){
    println!("{}", i32::fun_a()); // TraitA
    println!("{}", i32::fun_b()); // prefix TraitA
    //println!("{}", usize::fun_a()); // not implemented
    println!("{}", usize::fun_b()); // TraitB
}