Question

我有一个通用的特性：trait Trait<T>我想创建另一个特征来指定泛型：type Alias = Trait<String>。这将允许impl Alias for T，而不必指定类型参数。我尝试了几种方法来做到这一点，但没有发现任何有效的方法。

这不是Type alias for multiple traits或Aliasing trait with associated types的重复，因为执行trait Alias: Trait<T>要求人们无论如何都要实施Trait<T>。我想提供隐藏仿制品的特性。

更清晰的代码示例：

trait DefaultEvents = Events<UserStruct, ChannelStruct, IrcStruct>;

struct MyHandler;

impl DefaultEvents for MyHandler {
    ...
}

Answer 1

这是我最好的建议，这意味着你需要做更多的工作（有很多手工特质继承），但它应该达到你想要的用户便利。

pub mod user_friendly {
    pub trait GivesNum<T> {
        fn get_num(&self) -> T;
    }

    pub trait GivesDouble {
        fn get_double(&self) -> f64;
    }

    impl<S> GivesNum<f64> for S where S: GivesDouble {
        fn get_num(&self) -> f64 { self.get_double() }
    }
}

// now your library's user needs to do less
use user_friendly::*;

struct MyStruct { num: f64 }

impl GivesDouble for MyStruct {
    fn get_double(&self) -> f64 { 2.0 * self.num }
}

fn main() {
    let s = MyStruct{ num: 5.0 };
    println!("MyStruct.get_num() = {}", s.get_num());
}

Try it on Rust Playground

具有默认类型的别名通用特征

1 个答案: