Matching auf Typen, die ein Merkmal implementieren und daher zurückgeben

Question

Ich probiere einige spezifische Builder-Muster aus. Bitte beachten Sie das Design hier - es ist ein Versuch.

Ich habe eine Renderer Art, die eine Methode set_shape ergibt. Der für den Aufruf angegebene Argumenttyp sollte das leere Merkmal IsRenderable implementieren. Die Anmeldung der Methode sollte sich dann zwischen den Strukturtypen Rectangle und Circle unterscheiden, die beide das Merkmal IsRenderable implementieren. Kümmere dich nicht um den zurückkehrenden Typ.

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

trait IsRenderable {} 

impl IsRenderBuilder for Rectangle {} 

impl<'a> Renderer<'a> { 
    // logic that needs lifetime 'a 
    pub fn set_shape<T: IsRenderable>(shape: T) -> Box<IsRenderBuilder> { 
     match shape { 
      _ => panic!("WTF!"), 
     } 
    } 
} 

Ich möchte so etwas tun. PSEUDO:

match shape { 
    Rectangle => return RectangleShapeBuilder, 
    Circle => return CircleShapeBuilder, 
    _ => panic!("WTF!"), 
} 

Answer 1

Statt match zu verwenden, sollten Sie eine Methode auf Ihrem IsRenderable Eigenschaft hinzufügen, die die entsprechenden Builder für die jeweilige Implementierer zurückgibt.

#[derive(Clone, Copy)] 
pub struct Rectangle; 

pub trait IsRenderable { 
    fn new_builder(&self) -> Box<IsRenderBuilder>; 
} 

impl IsRenderable for Rectangle { 
    fn new_builder(&self) -> Box<IsRenderBuilder> { 
     Box::new(RectangleShapeBuilder) 
    } 
} 

struct RectangleShapeBuilder; 

pub trait IsRenderBuilder {} 

impl IsRenderBuilder for RectangleShapeBuilder {} 

pub fn set_shape<T: IsRenderable>(shape: T) -> Box<IsRenderBuilder> { 
    shape.new_builder() 
} 

Sie könnten sogar die IsRenderBuilder Boxen ein zugehöriges Art zu vermeiden, verwenden:

#[derive(Clone, Copy)] 
pub struct Rectangle; 

pub trait IsRenderable { 
    type Builder: IsRenderBuilder; 

    fn new_builder(&self) -> Self::Builder; 
} 

impl IsRenderable for Rectangle { 
    type Builder = RectangleShapeBuilder; 

    fn new_builder(&self) -> Self::Builder { 
     RectangleShapeBuilder 
    } 
} 

pub struct RectangleShapeBuilder; 

pub trait IsRenderBuilder {} 

impl IsRenderBuilder for RectangleShapeBuilder {} 

pub fn set_shape<T: IsRenderable>(shape: T) -> T::Builder { 
    shape.new_builder() 
}