Scala 中的可交换特征

Question

我想定义一个具有两个值 x,y 的 Swappable 特征和一个 swap 方法，以便调用 swap从 Swappable 继承的对象返回相同类型的另一个对象，但 x,y 已切换。到目前为止我最好的是：

trait Swappable[T] {
  val x: T
  val y: T
  def swap: Swappable[T] = {
    val (a,b) = (x,y)
    new Swappable[T] { val x=b; val y=a }
  }
}

但这不是我想要的，因为交换的返回类型是一些匿名类，而不是我开始使用的原始类，所以我收到如下错误：

def direct[S<:Swappable[Int]](s: S): S = if (s.x > s.y) s else s.swap 
<console>:32: error: type mismatch;
 found   : Swappable[Int]
 required: S
       def direct[S<:Swappable[Int]](s: S): S = if (s.x > s.y) s else s.swap
                                                                        ^

是否可以做我正在尝试的事情做什么？交换的正确类型签名是什么？

Answer 1

我不知道该怎么做，但我认为这可能有助于更好地了解您到底想要发生什么。考虑像 Now 这样的类

case class Foo(x: Int, y: Int) extends Swappable[Int] {
    val z = x
}

，如果您有 f = Foo(1, 2)，f.swap 应该给您一个 Foo，其中 x!=z?如果是这样，Scala 中就没有办法创建这样的 Foo 。如果不是，“交换 x 和 y”的真正含义是什么？

也许您真正想要的是这样的：

trait Swappable[A,T] {
    this: A =>

    val x: T
    val y: T
    def cons(x: T, y: T): A

    def swap = cons(y, x)
}

case class Foo(x: Int, y: Int) extends Swappable[Foo,Int] {
    val z = x

    def cons(x: Int, y: Int) = copy(x=x, y=y)
}

但我不确定。

Answer 2

类似这样的事情怎么样：

trait Swappable[T] {
  type A
  val x: T
  val y: T

  def create(a: T, b: T): A
  def swap = create(y, x)
}

case MySwappable[T](x: T, y: T) extends Swappable[T] {
  type A = MySwappable
  def create(a: T, b: T) = MySwappable(a, b)
}