斯卡拉類擴展與通用性狀這是一個類型的字段

Question

的我想寫這樣的代碼：

trait A[S] 
class B { 
    class BI 
} 
class C(val b: B) extends A[b.BI] // won't compile 

這將無法編譯。 所以我寫這個：

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 = {} 
} 

我不想使用CarFactory#Car，因爲這款車店只賣工廠factory的汽車。

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]