Trait thể thay thế nhanh trong Scala

Question

Tôi muốn xác định một đặc điểm Swappable với hai giá trị x,y và một phương pháp swap như vậy gọi swap vào một đối tượng kế thừa từ Swappable lợi nhuận một đối tượng cùng loại với x,y chuyển. tốt nhất của tôi cho đến nay là:

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 } 
    } 
} 

Nhưng đây không phải là những gì tôi muốn vì kiểu trả về của swap là một số lớp ẩn danh, thay vì lớp ban đầu tôi bắt đầu với, vì vậy tôi nhận được lỗi như:

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 
                     ^

Tôi có thể làm những gì tôi đang cố gắng làm không? Chữ ký loại chính xác cho trao đổi là gì?

Answer 1

Tôi không biết làm thế nào để làm điều đó, nhưng tôi nghĩ có lẽ nó sẽ giúp để có được một ý tưởng tốt hơn về những gì chính xác bạn muốn xảy ra. Hãy xem xét một lớp học như

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

Bây giờ, nếu bạn có f = Foo(1, 2), nên f.swap cung cấp cho bạn một Foo nơi x != z? Nếu vậy, không có cách nào trong Scala để tạo ra một Foo như thế. Nếu không, nó thực sự có nghĩa là gì để "trao đổi x và y"?

Có lẽ những gì bạn đang thực sự tìm kiếm là một cái gì đó như thế nà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) 
} 

Nhưng tôi không chắc chắn.

Answer 2

gì về điều gì đó như thế:

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) 
}