Возвращение общего типа через связанный тип

Question

Я пытаюсь получить что-то более общее, но не могу попробовать его со связанными типами. Дано значение Shape и тип Renderer, который пытается вернуть Builder для определенного типа фигуры.

форма

#[derive(Clone, Copy)] 
pub struct Rectangle{ 
    pub origin: Point, 
    pub height: usize, 
    pub width: usize, 
} 

pub trait Shape{ 
    type Builder : ShapeBuilder; 
} 

impl Shape for Rectangle{ 
    type Builder = RectangleBuilder; 
} 

строитель

pub trait ShapeBuilder{ 
    type Renderer: ShapeRenderer; 
    fn set_origin() -> Self::Renderer; 
} 

pub struct RectangleBuilder; 

impl ShapeBuilder for RectangleBuilder{ 
    type Renderer = RectangleRenderer; 
    fn set_origin() -> Self::Renderer{ 
     RectangleRenderer 
    } 
} 

визуализатор

pub struct Renderer<'a>{ 
    canvas:&'a mut Canvas 
} 

impl <'a>Renderer<'a>{ 
    pub fn new(canvas:&'a mut Canvas) -> Renderer { 
     Renderer{ 
      canvas: canvas 
     } 
    } 
    pub fn set_shape<T: Shape>(&self, shape: T) -> T::Builder{ 
     // trying to return the specific builder through shape::Builder 
     // or something like that 
    } 
} 

То, что я хочу достигнуть, т шляпа метод set_shape вернет RectangleBuilderесли данный shape имеет тип Rectangle

Answer 1

Вам необходимо предоставить статический метод в ShapeBuilder признака, который создает новый Self. Статический метод - это просто метод без параметра self.

Вы можете добавить метод непосредственно:

pub trait ShapeBuilder: Sized { 
    type Renderer: ShapeRenderer; 

    fn new() -> Self; 
    fn set_origin() -> Self::Renderer; 
} 

или быть умным и определить ShareBuilder как subtrait из Default.

pub trait ShapeBuilder: Default { 
    type Renderer: ShapeRenderer; 

    fn set_origin() -> Self::Renderer; 
} 

Затем в set_shape, вы можете создать экземпляр ShapeBuilder:

impl <'a>Renderer<'a>{ 
    pub fn set_shape<T: Shape>(&self, shape: T) -> T::Builder { 
     ShapeBuilder::new() // or Default::default() 
    } 
}