在Scala中，<:<是什么意思？

Question

可能是重复问题：
在Scala 2.8中，<:<、<%<和=:=的含义是什么，它们在哪里有文档？

例如，在scala-arm 1.0中的这个示例中：

def toTraversable[B](implicit ev: R <:< TraversableOnce[B]): Traversable[B] = 
  new ManagedTraversable[B,R] {
    val resource = self
    override protected def internalForeach[U](resource: R, g : B => U) : Unit = 
      ev(resource).foreach(g) 
  }

- Robin Green

---

http://www.scala-lang.org/docu/files/ScalaReference.pdf - Jontatas

有关其他两千个重复内容，请参见此处。 - Daniel C. Sobral

Answer 1

<:<（以及类似这样的奇怪构造）在Predef.scala中进行了定义（源代码位于scala-lang.org），这可能是了解它们的最佳资源。

通常，这样的类可以用于在特定方法的作用域内进一步限制类型参数。<:<特别用于要求R是TraversableOnce[B]的子类型。

Predef的描述如下：

为了约束在方法的参数列表中范围内的任何抽象类型T（不仅仅是方法自己的类型参数），只需添加一个隐式参数，类型为T <:< U，其中U是所需的上界；或者对于下界，使用：L <:< T，其中L是所需的下界。

- Submonoid