flux génériques et types de données abstraites

Question

Voici un programme de strawman qui illustre la question que j'ai

trait RequestBuilder { 
    type Out 

    def complete(p: Promise[Out]): Unit 
} 

def makeRequest(in: RequestBuilder): Source[(RequestBuilder, Promise[in.Out]), Future[in.Out]] = { 
    val p = Promise[in.Out] 

    Source.single(in -> p).mapMaterializedValue(_ => p.future) 
} 

val sink = MergeHub.source[(RequestBuilder, Promise[???])].to(Sink.foreach { 
    case (r, p) => r.complete(p) 
}).run() 

sink.runWith(makeRequest(new RequestBuilder { 
    type Out = Int 

    def complete(p: Promise[Out]): Unit = p.success(1) 
})) 

La question est, comment puis-je tapez le Promise[???] dans l'évier? Je suis en mesure de contourner ce problème en faisant la promesse d'une partie du trait RequestBuilder lui-même, mais cela me semble comme une odeur de code à

Answer 1

Vous pouvez faire un alias de type pour le tuple:

type BuilderWithPromise[B <: RequestBuilder] = (B, Promise[B#Out]) 

ou une classe de cas:

case class BuilderWithPromise[B <: RequestBuilder)(
    builder: B, 
    promise: Promise[B#Out] 
) 

de toute façon devrait fonctionner