Generics Error: expected type parameter, found struct

前端 未结 2 1477
你的背包
你的背包 2020-11-30 15:34

I started a new project, where I want to be as modular as possible, by that I mean that I would like to be able to replace some parts with others in the future. This seems t

相关标签:
2条回答
  • 2020-11-30 15:53

    First error: you create a Rustmark object with the field parser of type DefaultParser and the field renderer of type HTMLRenderer, but the function is expected to return Rustmark <P, R>. In general P is not of type DefaultParser and R is not of type HTMLRenderer, so it will never compile. A good solution if you want have default values of the right type is to bound P and R to implement the Default trait, this way:

    use std::default:Default;
    
    impl <P: MarkParser + Default, R: MarkRenderer + Default> Rustmark <P, R> {
        fn new() -> Rustmark <P, R> {
            Rustmark {
                parser: P::default(),
                renderer: R:default(),
            }
        }
    }
    

    Second error: that main problem is that you return a reference of something that probably will die inside the rendermethod (the String you allocate in the inner rendermethod probably). The compiler is telling you that it doesn't know the lifetime of the object that is pointed by that reference, so it cannot guarantee that the reference is valid. You can specify a lifetime parameter but in your case probably the best solution is to return the String object itself, not a reference.

    0 讨论(0)
  • 2020-11-30 15:59

    Following the answer of Andrea P I looked up the default trait in std. Which is defined like this:

    pub trait Default {
        fn default() -> Self;
    }
    

    And what I ended up doing was not use the default trait but add a constructor new in my MarkParser and MarkRenderer traits like this:

    pub trait MarkParser {
        fn new() -> Self;
        fn parse(&self, input: &str) -> &str;
    }
    

    The key piece that I didn't know about was the Self keyword and in this way I can write my implementation like this:

    impl <P: MarkParser, R: MarkRenderer> Rustmark <P, R> {
        fn new() -> Rustmark <P, R> {
            Rustmark {
                parser: P::new(),
                renderer: R::new(),
            }
        }
    
        fn render(&self, input: &str) -> &str {
            self.renderer.render(self.parser.parse(input))
        }
    }
    

    This is exactly the same thing as implementing the Default trait, except that I get to use new instead of default which I prefer and I don't have to add the Default trait to the impl of RustMark.

    impl <P: MarkParser, R: MarkRenderer> Rustmark <P, R> {
    

    instead of

    impl <P: MarkParser + Default, R: MarkRenderer + Default> Rustmark <P, R> {
    

    Big thanks to Andrea P for pointing me in the right direction.

    0 讨论(0)
提交回复
热议问题