如何在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]
}