Danh sách [String ~ Int] là gì?

Question

Trong khi xem qua tài liệu scala (Play Docs) của khung chơi, tôi đã thấy một cú pháp mà tôi chưa bao giờ thấy trước đây.

val populations:List[String~Int] = { 
    SQL("select * from Country").as(str("name") ~ int("population") *) 
} 

Ai đó có thể xin vui lòng cho tôi biết những gì hiện "~" trong List[String~Int] nghĩa là gì?

Answer 1

Có thể này willl giúp:

scala> class ~[A, B] 
defined class $tilde 

scala> List.empty[String~Int] 
res1: List[~[String,Int]] = List() 

Trên thực tế, ~ không phải là một phần của thư viện chuẩn, đây là một lớp học chung từ play framework, cho phép một ký hiệu ghi vào. Trong scala, bất kỳ lớp chung nào có 2 tham số chung có thể được sử dụng với một ký hiệu infix. Ví dụ, sau đây cũng làm việc:

scala> class X[A, B] 
defined class X 

scala> List.empty[String X Int] 
res1: List[X[String,Int]] = List() 

Trong trường hợp của bạn, bạn sẽ tìm thấy định nghĩa của ~ trong Play framework API.