我可以在Scala抽象类型中使用'嵌套'来简化类定义吗？

Question

我正在努力了解如何尽可能以干/简单的方式使用Scala的抽象类型。比方说，我有以下几点：

trait Product 
trait Pallet[A <: Product] 
class Import[ 
    A <: Product, 
    B <: Pallet[A]] { 

    def offload(): List[A] = { 
    ... 
    } 
} 

class Fridge extends Product 
class FridgePallet extends Pallet[Fridge] 

val fridges = new Import[Fridge, FridgePallet]() 

这工作，但感觉有点冗长 - 因为编译器知道FridgePallet键入与Fridge，有没有简化Import类的打字去除的需要的一种方式明确的A <: Product声明？我想我正在寻找类似如下（不工作）：

class Import[B <: Pallet[A <: Product]] { 
    def offload(): List[A] = ... 
} 
val fridges = new Import[FridgePallet]() 

我也试图与_小号取代A秒 - 但后来我不得不使用.asInstanceOf[List[Fridge]]铸造得到在offload()输出上返回类型特异性。

我在想什么/没有理解？

Answer 1

我没有看到一个办法做到这一点，而与一般类型住，但如果你能使用类型成员，而不是，你将会得到：

trait Product 
trait Pallet { 
    type A <: Product 
} 
class Import[B <: Pallet] { 
    def offload(): List[B#A] = { ... } 
} 

class Fridge extends Product 
class FridgePallet extends Pallet { 
    type A = Fridge 
} 

val fridges = new Import[FridgePallet]() 

Answer 2

trait Pallet[A <: Product] { 
    type ptype = A 
} 

class Import[P <: Pallet[_]] { 
    def offload(): List[P#ptype] = ... 
}