Scalaのクラスは、私はこのようなコードを書きたいフィールド

Question

のタイプであるジェネリックとの形質を拡張します。 だから私はこの書き込み：

class C[BI0] private (val b: B) extends A[BI0] 
object C { 
    def apply(b: B): C[b.BI] = new C(b) 
} 

をしかし、それは醜いです。より良い実装がありますか？

なぜこの質問がありますか？私は例を思いつく：

trait Store[Goods] { 
    def sell(goods: Goods): Unit 
} 
class CarFactory { 
    def make(): Car = new Car 
    class Car 
} 
class CarStore(val factory: CarFactory) extends Store[factory.Car]{//can't compile 
    def sell(car: factory.Car): Unit = {} 
} 

私はこの車店のみ工場factoryの車を売るためCarFactory#Carを使用する必要はありません。

Answer 1

私は良い方法はないと思います。あなたが持っているのは、クラス宣言でパスに依存する型を使用して作業する、かなり標準的な方法です。代わりに、タイプメンバーを使用することができます：

trait A { type S } 

class B { class BI } 

class C(val b: B) extends A { type S = b.BI } 

Answer 2

ここで何をしようとしているのかよく分かりませんが、これはあなたのために機能しますか？

trait A[S] 
class B { 
    class BI 
} 
class C(val b: B) extends A[B#BI]