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