Chuyển đổi từ Seq để Thiết lập và trở lại Seq

Question

trực giác sau đây nên làm việc:

case class I(i: Int) 
val s = Seq(I(1),I(2),I(3)) 
s.sortBy(_.i)    // works 
s.toSeq.sortBy(_.i)  // works 
s.toSet.toSeq.sortBy(_.i) // doesn´t work 

Tại sao doesn't nó cư xử như mong đợi?

Answer 1

Đây là một tác động phức tạp trộn hiệp biến và bộ sưu tập bất biến. Đặt là bất biến: Set[A]. Nhưng Seq là biến thể: Seq[+A]. Bây giờ, hãy tưởng tượng bạn muốn có phương thức toSet trong Seq của bạn. Bạn có thể thử toSet: Set[A]. Nhưng điều này sẽ không hoạt động, bởi vì nếu A là một phân lớp của B thì Seq[A] phải được xem là lớp con của Seq[B]. Tuy nhiên, Seq[A] khẳng định khi trả lại số Set[A] là không phải là một lớp con của Seq[B]. Vì vậy, đánh máy của chúng tôi bị hỏng.

Nếu, mặt khác, chúng tôi chỉ định toSeq[B >: A]: Set[B] sau đó mọi thứ đều tốt: nếu chúng tôi hứa chúng ta có thể trả lại bất kỳ lớp cha, sau đó có thể trở lại Seq[A]Set[B] cũng như Set[C] nơi C là một lớp cha của B. Seq[B] hứa sẽ trả lại Set[B] hoặc một số Set[C] cũng vậy, vì vậy chúng tôi đang rõ ràng: phương pháp trên Seq[A] có thể làm mọi thứ mà phương pháp trên Seq[B] có thể thực hiện.

Nhưng bây giờ nhìn vào những gì các typer nghèo đang phải đối mặt với:

s.toSet[B >: I] 
.toSeq/* Type B >: I*/ 
.sortBy[C](/* some f:B => C */)(/* implicit ordering on C */) 

Có là một cách để giải quyết này - cụ thể để quyết định rằng B là I và gõ các chức năng và C cho phù hợp. Nhưng nó trở thành một tìm kiếm khá phức tạp, và nó còn hơn cả trình biên dịch có thể xử lý ngay bây giờ. Vì vậy, nó yêu cầu bạn để giúp nó ra với các loại đầu vào cho chức năng để nó biết B tại thời điểm đó (và sau đó có thể tuyên truyền nó trở lại toSet).

Nhưng bạn có thể, nếu bạn muốn, giúp nó ra tại một số cấp:

s.toSet[I].toSeq.sortBy(_.i) 
s.toSet.toSeq.sortBy[Int](_.i) 

hoặc bạn có thể giúp nó ra bằng cách chứng minh với nó rằng nó không cần phải xem xét các loại sau khi chọn phù hợp nhất với các loại trước đó:

{ val temp = s.toSet; temp }.toSeq.sortBy(_.i) 
s.toSet match { case x => x.toSeq.sortBy(_.i) } 

Answer 2

Dường như về điều gì đó cần làm với suy luận kiểu, tôi không biết khá rõ.

Nhưng cả hai sau làm các trick: