ジェネリック型を関連する型で返す

Question

もっと汎用的なものを手に入れようとしましたが、関連する型で試してみることに失敗しました。特定の種類の形状に対してBuilderを返そうとすると、Shapeの形質とRendererの型が与えられます。私が達成したい何

形状

#[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 
    } 
} 

はtですshape与え場合set_shape方法はRectangleBuilderを返します帽子はあなたが新しいSelfをインスタンス化ShapeBuilderトレイトの静的メソッドを提供する必要があるタイプRectangle

Answer 1

です。静的メソッドは、selfパラメータを持たない単なるメソッドです。

pub trait ShapeBuilder: Sized { 
    type Renderer: ShapeRenderer; 

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

するか、賢いこととDefaultのsubtraitとしてShareBuilderを定義します。

あなたは、直接メソッドを追加することができます。

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() 
    } 
}