scala - Scala中的类型别名有序泛型

Question

我对二叉树的外观有一个最小的定义：

type Tree[T] = Option[Node[T]]
case class Node[T](left: Tree[T], entry: T, right: Tree[T])

我现在想将二叉搜索树定义为：

type BST[T: Ordering] = Tree[T] 

但这不会编译。我究竟做错了什么？

Answer 1

你得到的编译错误基本上说上下文边界不能用于类型别名。上下文边界确实在函数或类定义中起作用。例如，

class BST[T: Ordering](val tree: Tree[T])

实际上是简写符号

class BST[T](val tree: Tree[T])(implicit ordering: Ordering[T])

请注意，不同的BST对象可能具有不同Ordering的 s，并且这些值必须在运行时存储。

对于您的用例，最简单的方法可能是将上下文绑定到您想到的通用函数上，

def f[T: Ordering](t1: Tree[T], t2: Tree[T]) {
  import scala.math.Ordering.Implicits._
  t1.get.entry < t2.get.entry
}

然后将在类型已知Ordering[T]的 的调用站点找到适当的隐式。fT