Từ khóa forSome trong Scala là gì?

Question

tôi thấy đoạn mã sau:

List[T] forSome { type T } 

Các forSome trông giống như một phương pháp, nhưng người bạn của tôi nói với tôi đó là một từ khóa.

Tôi googled nó, nhưng tìm thấy vài tài liệu về forSome. Điều đó có nghĩa là gì và tôi có thể lấy một số tài liệu về nó ở đâu?

Answer 1

Từ khóa forSome được sử dụng để xác định loại hiện có trong Scala. Có trang Scala glossary giải thích chúng là gì. Tôi không thể tìm thấy một địa điểm trong tài liệu Scala giải thích chúng chi tiết, vì vậy here là một bài viết trên blog mà tôi tìm thấy trên Google giải thích cách chúng hữu ích.

Cập nhật: bạn có thể tìm định nghĩa chính xác về các loại hiện có trong số Scala specification nhưng nó khá dày đặc.

Để tóm tắt một số bài đăng mà tôi liên kết đến, các loại tồn tại hữu ích khi bạn muốn thao tác trên một thứ gì đó nhưng không quan tâm đến chi tiết của loại trong đó. Ví dụ, bạn muốn hoạt động trên các mảng nhưng không quan tâm loại của mảng:

def printFirst(x : Array[T] forSome {type T}) = println(x(0)) 

mà bạn cũng có thể làm với một kiểu biến trên phương pháp:

def printFirst[T](x : Array[T]) = println(x(0)) 

nhưng bạn có thể không muốn thêm biến kiểu trong một số trường hợp. Bạn cũng có thể thêm một ràng buộc vào biến loại:

def addToFirst(x : Array[T] forSome {type T <: Integer}) = x(0) + 1 

Cũng xem ví dụ này this blog post.

Answer 2

Tôi không biết Scala, nhưng câu hỏi của bạn đã thu hút sự quan tâm của tôi và bắt đầu Googling.

tôi thấy rằng trong Scala's changelog:.

"Nó bây giờ có thể xác định các loại hiện sinh bằng cách sử dụng từ khóa mới forSome Một loại hiện sinh có dạng T forSome {Q} nơi Q là một chuỗi giá trị và/hoặc loại khai báo. "