如何在Scala中設置多個類型邊界？

Question

我希望能夠宣佈這樣的事情：

trait Narrowable[A] extends Iterable[A] { 

    def narrow[B <: A & B <: AnyRef] : Iterable[B] 

} 

也就是說它的類型B應該是兼備了A和AnyRef亞型。這可能嗎？

Answer 1

使用複合類型：

trait Narrowable[A] extends Iterable[A] { 
    def narrow[B <: A with AnyRef] : Iterable[B] 
}