实现特质PartialOrdered [T]

作为练习，我应该实现一个特性PartialOrdered [T]。实现特质PartialOrdered [T]

trait PartialOrdered[T] { 
    def below(that: T): Boolean 
    def < (that: T): Boolean = (this below that) && !(that below this) 

    /* followed by other relations <=, >, >=, ==, .. */ 
}

扩展这一性状A K类应该有以下实现，使得

a.below(b: K) = { true if a <= b, 
        false in any other case

然而，编译提供了以下错误：

value below is not a member of type parameter T 
def < (that: T): Boolean = (this below that) && !(that below this) 
                 ^

所以我缺少什么？由于事先

编辑：这是一个示例类矩形（在坐标系统中），具有两个相对的角部给出的，其中，一个矩形低于另一如果它被完全包含

case class Rectangle (x1: Int, y1: Int, x2: Int, y2: Int) 
    extends PartialOrdered[Rectangle] { 

    def below(r: Rectangle): Boolean = { 
    val (rx, ry) = r.topLeft 
    val (tx, ty) = this.topLeft 
    tx >= rx && ty <= ry && 
    tx + this.width <= rx + r.width && 
    ty - this.height >= ry - r.height 
    } 

    def width: Int = {...} 
    def height: Int = {...} 
    def topLeft:(Int, Int) = {...} 
}

来源

2013-05-04 marius

你必须告诉斯卡拉说T是PartialOrdered[T]子类型：

trait PartialOrdered[T <: PartialOrdered[T]] { this: T => 
    def below(that: T): Boolean 
    def < (that: T): Boolean = (this below that) && !(that below this) 

    /* followed by other relations <=, >, >=, ==, .. */ 
}

参见：scala self-type: value is not a member error

来源

2013-05-04 15:16:32 Debilski

这确实奏效，但超出了我之前学过的东西。我曾尝试过类似的东西，它不适用于使用'<％'而不是'<：''this：T =>'的目的是什么？ – marius 2013-05-04 15:25:12

T不必然是PartialOrdered[T]的一个实例，所以它没有下面的方法。我想你的意思是

def below(that: PartialOrdered[T]): Boolean 
    def < (that: PartialOrdered[T]): Boolean = (this below that) && !(that below this)

？

来源

2013-05-04 14:35:18 Cubic

我试过了，编译会要求在Rectangle类中'below'的正确实现。但是只想比较矩形和矩形。 – marius 2013-05-04 15:02:47

然后看到Debilski的回答。 – Cubic 2013-05-04 15:20:16

您这里需要两个概念。一个是F-bound多态，另一个是自我类型约束。

F-bound多态性，没有深入底层类型理论，实质上是二元操作符的工作原理。基本上，你定义一个特征有它的参数是自身的亚型：

trait PartialOrdered[T <: PartialOrdered[T]] { 
    this: T => 
    def below(that: T): Boolean 
    def <(that: T): Boolean = 
     (this below that) && !(that below this) 
}

为了不只是this below that工作，也that below this，我们需要进一步约束自身的类型。这是通过this: T =>完成的，因此编译器知道this也是T的一个实例，而不仅仅是PartialOrdered[T]。

然后你定义一个类来使用该特征。它需要扩展与自己作为类型参数的性状：

case class Pair(x: Double, y: Double) extends PartialOrdered[Pair] { 
    def below(that: Pair) = 
    x <= that.x && y <= that.y 
} 

object Program extends App { 
    println(Pair(1, 2) < Pair(2, 0)) 
    println(Pair(1, 2) < Pair(1, 3)) 
    println(Pair(1, 2) < Pair(0, 2)) 
    println(Pair(1, 2) < Pair(2, 2)) 
}

来源

2013-05-04 15:29:42

实现特质PartialOrdered [T]

回答

相关问题