Scalaでのファクトリの実装を簡潔に行う方法

Question

特性Tがあるとします。以下を達成するための最良の方法は何ですか：Tの実装を書き込ん

• みんながTのパラメータなしの初期化を可能にする可能性を提供することを余儀なくされなければならない、すなわち、我々は、おそらくの実装を強制する必要があります設定可能な工場。
• 実際の初期化パラメータ（特定の実装AのT）にのみ依存するすべてのロジック/データは、一元的に処理/格納する必要がありますが、工場とAの両方で使用可能にする必要があります。

私は（約）これを実現するために見る最も簡単な/簡潔な方法は、この工場に工場やリンクTのための形質を追加するには、次のようになります。

trait T { 
    val factory: TFactory 
} 
trait TFactory { 
    def build(): T 
    val description: String // example for logic/data that only depend on the parameters 
} 

// example implementation: 
class A(val factory: AFactory, paramA: Int, paramB: Int, paramC: Int) extends T 

class AFactory(paramA: Int, paramB: Int, paramC: Int) extends TFactory { 
    def build = new A(this, paramA, paramB, paramC) 
    val description = f"$paramA $paramB $paramC" 
} 

明らかにこれは実際には「強制しません（別の実装が利用可能である限り）ファクトリの実装であり、明らかにAのインスタンス化を生成して、「間違った」TFactoryにリンクすることが可能です。私がこのアプローチについて気に入らないのは、初期化パラメータの繰り返しです。私はしばしば、別のクラスAParamsを作成して、新しいパラメータを追加しやすくするために、すべてのパラメータを再度ラップします。したがって、私は3つのクラスで終わります。imhoは、この単純な問題のための多くの定型文です。

私の質問は、同じ主な目標を達成する（しかし完全に）異なるアプローチがあるかどうかですが、より簡潔ですか？

Answer 1

私はあなたの要件を完全に理解しているとは確信していませんが、この動作についてどう思いますか？

trait TFactory{ 
    def build():T 
    val description:String 
} 

trait T extends TFactory 

//can't declare A without build and not make it abstract 
class A(paramA: Int, paramB: Int, paramC: Int) extends T { 
    def build = new A(paramA, paramB, paramC) 
    val description = f"$paramA $paramB $paramC"  
} 

val a1 = new A(1, 4, 5) 
val a2 = a1.build() 

//We can give ourselves as a factory to something that expects TFactory 
val factory:TFactory = a1 
val a_new = factory.build() 

//More likely we can just give our build method 
def func(f:()=>T) = { 
    val new_t = f() 
    new_t 
} 
val a_newer = func(a1.build) 


println(a1 +": " + a1.description) 
println(a2 +": " + a2.description) 
println(a_new +": " + a_new.description) 
println(a_newer +": " + a_newer.description) 

出力：

Main$$anon$1$A@69267649: 1 4 5 
Main$$anon$1$A@69b1fbf4: 1 4 5 
Main$$anon$1$A@24148662: 1 4 5 
Main$$anon$1$A@3f829e6f: 1 4 5 

Answer 2

表現型パラメータの追加：

trait Factory[Prod] { 
    def build(): Prod 
} 

trait Prod[Repr] { 
    def factory: Factory[Repr] 
} 

をそれとも、あなたはタイプが同じままであることを "強制" したい場合（私はしないだろうあなたがそれから何かを得ない限り）：

trait Prod[Repr <: Prod[Repr]] { 
    def factory: Factory[Repr] 
} 

次に：

case class AConfig(a: Int, b: Int) 

case class A(config: AConfig) extends Prod[A] { 
    def factory = AFactory(config) 
} 

case class AFactory(config: AConfig) extends Factory[A] { 
    def build() = A(config) 
} 

val f0 = AFactory(AConfig(1, 2)) 
val p0 = f0.build() 
val f1 = p0.factory 
val p1 = f1.build() 
assert(p0 == p1)