斯卡拉类扩展与通用性状这是一个类型的字段

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]