scala – 类型参数化或结构子类型或

trait Tree[T <: { def union(x: T): T }]

您可以定义树的元素必须可用的特征,但是：

trait TreeVal[T] {
    type A
    def key: A
    def union(x: T): T
}

这可以用两种方式.首先,类必须实现该接口,这严重限制了哪些类可以用作键.这将是这样的：

trait Tree[T <: TreeVal[T]]

它也可以作为隐式转换提供,如下所示：

class IntVal(v: Int) extends TreeVal[Int] {
    type A = Int
    def key: A = v
    def union(x: Int): Int = x + v
}
implicit def IntIsVal(v: Int): IntVal = new IntVal(v)

class Tree[T <% TreeVal[T]] // must be class,so it can receive parameters

这使用了所谓的视图边界.查看更多信息,但足以说您将能够处理任何已定义隐式转换且范围内的内容,就好像它是TreeVal一样.例如：

class Tree[T <% TreeVal[T]](node: T,left: Option[Tree[T]],right: Option[Tree[T]]) {
    override def toString = "(%s < %s > %s)" format (left.getOrElse("o"),node.key,right.getOrElse("o"))
}

或者,您可以将其与类型类模式一起使用,并进行一些更改：

trait TreeVal[T] {
    type A
    def key(v: T): A
    def union(x: T,y: T): T
}
class Tree[T : TreeVal]  // must be class,so it can receive parameters

类型类模式使用上下文边界.查看更多信息.这种风格通常比现在的风格更受欢迎,因为它在许多方面更加灵活.不过,两者都有效.

在这种情况下,人们会像这样使用它：

implicit object IntVal extends TreeVal[Int] {
    type A = Int
    def key(v: Int) = v
    def union(x: Int,y: Int) = x + y
}

class Tree[T: TreeVal](node: T,right: Option[Tree[T]]) {
    val treeVal = implicitly[TreeVal[T]]
    import treeVal._

    override def toString = "(%s < %s > %s)" format (left.getOrElse("o"),key(node),right.getOrElse("o"))
}