Các lớp kín được mô tả trong 'Lập trình trong Scala', nhưng các đặc điểm được niêm phong thì không. Tôi có thể tìm thêm thông tin về một đặc điểm kín ở đâu?
Tôi muốn biết, nếu một đặc điểm kín giống như một lớp kín? Hoặc, nếu không, sự khác biệt là gì? Khi nào nên sử dụng một đặc điểm kín (và khi không)?
Câu trả lời:
Một sealedđặc điểm chỉ có thể được mở rộng trong cùng một tệp với khai báo của nó.
Chúng thường được sử dụng để cung cấp một thay thế cho enums. Vì chúng chỉ có thể được mở rộng trong một tệp duy nhất, trình biên dịch biết mọi kiểu con có thể và có thể giải thích về nó.
Ví dụ với khai báo:
sealed trait Answer
case object Yes extends Answer
case object No extends AnswerTrình biên dịch sẽ phát ra một cảnh báo nếu một trận đấu không đầy đủ:
scala> val x: Answer = Yes
x: Answer = Yes
scala> x match {
| case No => println("No")
| }
<console>:12: warning: match is not exhaustive!
missing combination YesVì vậy, bạn nên sử dụng các đặc điểm kín (hoặc lớp trừu tượng kín) nếu số lượng các kiểu con có thể là hữu hạn và được biết trước. Để biết thêm ví dụ, bạn có thể xem danh sách và triển khai tùy chọn .
một đặc điểm kín giống như một lớp kín?
Theo như sealedđi, có. Họ chia sẻ sự khác biệt bình thường giữa traitvà class, tất nhiên.
Hoặc, nếu không, sự khác biệt là gì?
Moot
Khi nào nên sử dụng một đặc điểm kín (và khi không)?
Nếu bạn có một sealed class X, thì bạn phải kiểm tra Xcũng như bất kỳ lớp con nào. Điều tương tự không đúng với sealed abstract class Xhoặc sealed trait X. Vì vậy, bạn có thể làm sealed abstract class X, nhưng đó là cách dài dòng hơn là chỉ traitvà ít lợi thế.
Ưu điểm chính của việc sử dụng abstract classhơn a traitlà nó có thể nhận được các tham số. Lợi thế đó đặc biệt có liên quan khi sử dụng các loại lớp. Giả sử bạn muốn xây dựng một cây được sắp xếp, ví dụ. Bạn có thể viết điều này:
sealed abstract class Tree[T : Ordering]nhưng bạn không thể làm điều này:
sealed trait Tree[T : Ordering]vì giới hạn bối cảnh (và giới hạn xem) được thực hiện với các tham số ngầm. Cho rằng các đặc điểm không thể nhận được tham số, bạn không thể làm điều đó.
Cá nhân, tôi thích sealed traitvà sử dụng nó trừ khi một số lý do cụ thể khiến tôi sử dụng a sealed abstract class. Và tôi không nói về những lý do tinh tế, nhưng những lý do trực diện mà bạn không thể bỏ qua, chẳng hạn như sử dụng các lớp loại.
[A: F]ràng buộc bối cảnh ( ) không hoạt động giống như các ràng buộc phương sai. Thay vào đó, đó là đường cú pháp đòi hỏi một F[A]phạm vi ngầm . Nó thường được sử dụng để triệu tập các thể hiện kiểu chữ theo cách hơi khó đọc và dễ đọc hơn một tham số ẩn ( (implicit fa: F[A])), nhưng nó vẫn hoạt động theo cách chính xác theo cách thức và như Daniel chỉ ra, các đặc điểm không được thực hiện cái đó.
Từ blog hàng ngày :
Khi một đặc điểm được "niêm phong", tất cả các lớp con của nó được khai báo trong cùng một tệp và điều đó làm cho tập hợp các lớp con hữu hạn cho phép kiểm tra trình biên dịch nhất định.
Ngoài ra tôi cảm thấy cần phải chỉ cho bạn các thông số kỹ thuật:
Các chế độ được niêm phong áp dụng cho các phiên bản lớp. Một lớp niêm phong có thể không được kế thừa trực tiếp, trừ khi mẫu kế thừa được định nghĩa trong cùng một tệp nguồn với lớp kế thừa. Tuy nhiên, các lớp con của một lớp kín có thể được kế thừa ở bất cứ đâu.
- M. Oderky. Đặc tả ngôn ngữ Scala, phiên bản 2.8. trực tuyến, tháng 9 năm 2013.
Tóm tắt:
và để biết thêm chi tiết Tất cả mọi thứ về các đặc điểm kín trong Scala