我对二叉树应该是什么样子有一个最小的定义：
type Tree[T] = Option[Node[T]]
case class Node[T](left: Tree[T], entry: T, right: Tree[T])
我现在想将二叉搜索树定义为：
type BST[T: Ordering] = Tree[T]
但这不会编译。我做错了什么？
【问题讨论】：
标签： scala generics comparable type-alias
你得到的编译错误基本上是说 context bounds 不能用于类型别名。上下文边界确实在函数或类定义中起作用。例如，
class BST[T: Ordering](val tree: Tree[T])
实际上是
的简写符号class BST[T](val tree: Tree[T])(implicit ordering: Ordering[T])
请注意，不同的BST 对象可能有不同的Orderings，这些值必须在运行时存储。
对于您的用例，最简单的方法可能是将上下文绑定到您想到的通用函数上，
def f[T: Ordering](t1: Tree[T], t2: Tree[T]) {
import scala.math.Ordering.Implicits._
t1.get.entry < t2.get.entry
}
然后会在f的调用点找到适当的Ordering[T]隐式，其中T的类型是已知的。
【讨论】：
class BST[T](val tree: Tree[T])(implicit ordering: Ordering[T])”