5
Tôi đã tìm kiếm rất nhiều, nhưng tôi không tìm thấy gì cả, ý nghĩa của kiểu này là type declaration trong Scala?Ý nghĩa của>: Null <: trong Scala là gì?
type Ident >: Null <: AnyRef
A
Trả lời
12
Từ khóa type dành cho khai báo bí danh loại, giống như val và def là khai báo giá trị và phương thức. Trong trường hợp này, nó là một bí danh kiểu trừu tượng với các ràng buộc, vì vậy nó là một thành viên kiểu của một số trait hoặc class - loại bí danh trong phạm vi địa phương không thể trừu tượng và không thể có ràng buộc.
Loại Ident là loại phụ của AnyRef và siêu kiểu Null.
AnyRef
AnyRef là tổ tiên của tất cả các loại tài liệu tham khảo, tất cả các loại trừ Int, Long, Char và vân vân (Java nguyên thủy).
Null
Null là subtype của tất cả các loại "nullable". Trên thực tế, đó là một loại phụ của tất cả các loại tham chiếu.
Vì tất cả AnyRef đều không có ràng buộc bổ sung duy nhất từ >: Null là Ident không phải là Nothing.
1
Trong trường hợp của bạn Null là một subtype của Ident và AnyRef là siêu kiểu của nó. Trong không có ranh giới này, kiểu con chung của tất cả các loại là Nothing, nhưng bạn chỉ định nó là Null, với là một kiểu con của tất cả đối tượng khi Không có gì là kiểu con của mọi thứ (bao gồm Int, Long, v.v.)
Null và Không có gì được sử dụng trong Type System, về cơ bản là loại phương sai (Contra/Co). Ví dụ:
sealed trait Container[+A >: Null <: AnyRef]
case class Full[A >: Null <: AnyRef](value: A) extends Container[A]
case object Empty extends Container[Null]
này trình biên dịch hoàn hảo
val c: Container[String] = Full("String")
val e: Container[String] = Empty
Nhưng điều này thất bại, bởi vì chúng tôi thấp hơn ràng buộc là Null và trên là AnyRef:
val ff: Container[Int] = Full(10)
val f: Container[Int] = Empty
Chúng tôi không thể đặt Int đây beacuse này loại vi phạm các giới hạn
7
Để thêm vào câu trả lời @ Senia của: đây không phải là một loại khai, đây là một trừu tượng loại thành viên khai, được tìm thấy trong bối cảnh như
trait Foo { // or perhaps class
type Ident >: Null <: AnyRef
}
và có nghĩa là mọi triển khai cụ thể Foo phải xác định một số loại là Ident và loại này phải đáp ứng các ràng buộc được mô tả trong câu trả lời của @ senia.
+0
Vâng, định nghĩa kiểu này nằm trong một đặc điểm – Pooya
Các vấn đề liên quan
- 1. "<:" có nghĩa là gì trong Scala?
- 2. Ý nghĩa của NULL! = Giá trị trong C++ là gì?
- 3. Ý nghĩa của "h" trong "<% = h [...]%>" là gì?
- 4. _: có nghĩa là gì trong Scala?
- 5. Param: _ * có nghĩa là gì trong Scala?
- 6. Biểu tượng "Điều đó" có ý nghĩa gì trong Scala
- 7. Nhập này chính xác có ý nghĩa gì trong Scala?
- 8. Ý nghĩa của ∃ là gì?
- 9. Ý nghĩa ":" trong <%: và sự khác biệt với <% = là gì?
- 10. <? = Có nghĩa là gì?
- 11. Ý nghĩa của + trong CSS là gì?
- 12. Ý nghĩa của @_ trong Perl là gì?
- 13. Ý nghĩa của '==' trong C là gì?
- 14. Ý nghĩa của $$ trong Ruby là gì?
- 15. Ý nghĩa của /// trong JavaScript là gì?
- 16. Object <String> có ý nghĩa gì trong Java?
- 17. Biểu tượng này có ý nghĩa gì trong PHP <? =
- 18. không = ~ có ý nghĩa gì trong Perl
- 19. ý nghĩa của <#= #>
- 20. Trong trình sửa lỗi lcode của Xcode, <parent is NULL> có nghĩa là gì?
- 21. Ý nghĩa của dereference con trỏ null có thể có trong findbug là gì?
- 22. Ý nghĩa của $ .when.apply (null, một phương thức) trong jQuery là gì?
- 23. ý nghĩa của "tóm lại" là gì
- 24. Ý nghĩa của -532459699 là gì?
- 25. Ý nghĩa của "UseTaskFriendlySynchronizationContext" là gì?
- 26. Ý nghĩa của Giao dịch là gì?
- 27. Android - ý nghĩa của StableID là gì?
- 28. Ý nghĩa của typedef này là gì?
- 29. "<< -" có nghĩa là gì trong Ruby?
- 30. "<<(cmd args)" có nghĩa là gì trong vỏ?
Câu hỏi tiếp theo nhanh chóng (vì tôi tò mò), không phải là giới hạn dưới ở đây không cần thiết? Vì 'Null' là kiểu con của tất cả các kiểu tham chiếu và kiểu đã có giới hạn trên được định nghĩa là * bất kỳ kiểu tham chiếu nào *? –
Cảm ơn, tôi biết hệ thống phân cấp, nhưng câu hỏi của tôi là ý nghĩa của lệnh này – Pooya
@ PatrykĆwiek: Tôi đoán vậy. Nhưng kiểu 'Null' có thể được nhắc đến như là cảnh báo rõ ràng rằng giá trị có thể là' null'. – senia