cố gắng để hiểu "cuối cùng trừu tượng lớp Int tư nhân mở rộng AnyVal trong Scala

Question

Đến từ Java đất Tôi đã cố gắng để dạy cho bản thân mình Scala. Gần đây tôi đã được toying với các loại dữ liệu Int và tôi quyết định tìm kiếm các API cho lớp Int here.

gì bối rối tôi đã định nghĩa lớp cho Int, đó là abstract final.

tôi xin lỗi nếu tôi không đọc lên về ý nghĩa của abstract và final trong Scala trước khi đặt câu hỏi này, nhưng tôi đã tò mò, vì vậy tôi đã nhập bài đăng này ngay lập tức.

Vì vậy, những gì tôi đang cố gắng hiểu là: Các ngữ nghĩa cho abstract, final và extends khác nhau trong Scala? Một lần nữa, đó là sự hiểu biết tốt nhất của tôi rằng trong Java, người ta không thể có abstract và final cùng một lúc. Vậy làm cách nào để diễn giải final abstract class Int private extends AnyVal?

Answer 1

Như om-nom-nom được chỉ ra trong chú thích, abstract cấm khởi tạo (new Int), trong khi final cấm phân lớp (new Int { ... }).

Lý do cho điều này là scala.Int được thể hiện trực tiếp bằng loại nguyên thủy nguyên thủy của máy ảo Java; các loại tương tự khác là Byte, Short, Char, Long, Float, Double, Boolean. Bởi vì chúng là các kiểu nguyên thủy trong thời gian chạy (thể hiện hiệu suất tốt hơn so với các kiểu được đóng hộp) và JVM không cho phép thêm các nguyên thủy mới, sẽ không có cách hợp pháp để mở rộng các kiểu đó. Ngoài ra không có cách nào để khởi tạo chúng khác hơn là bằng cách cho một chữ (val i: Int = 33).

Scala có các loại này để tạo ra một hệ thống đối tượng thống nhất mà không có sự khác biệt hợp lý giữa các loại nguyên thủy và 'đối tượng'. Tuy nhiên, có một sự khác biệt phân cấp ở trên cùng là AnyRef (tương ứng với java.lang.Object) và AnyVal (tương ứng với các kiểu nguyên thủy đó và thêm kiểu mới của Scala Unit).

Thông tin thêm về các hệ thống kiểu thống nhất được đưa ra bởi các Tour of Scala: Unified Types