Các lớp giá trị do người dùng định nghĩa trông như thế nào từ Java?

Question

Tôi nghĩ rằng tôi hiểu được mới "class giá trị" tính năng của Scala 2.10, bằng cách so sánh với newtype Haskell của:

trait BoundedValue[+This] extends Any { this: This => 

    def upperBound: This 

    def lowerBound: This 

} 

class Probability @throws(classOf[IllegalArgumentException]) (v: Double) extends AnyVal with BoundedValue[Probability] { 

    val value: Double = if ((v >= 0.0) && (v <= 1.0)) v else throw new IllegalArgumentException((v.toString) + "is not within the range [0.0, 1.0]") 

    override val upperBound: Probability = new Probability(0.0) 

    override val lowerBound: Probability = new Probability(1.0) 

    // Implement probability arithmetic here; 
    // will be represented by Double at runtime. 

} 

Các câu hỏi tôi có được, làm thế nào để một lớp giá trị dường như mã Java có sử dụng gói Scala trong đó nó được khai báo? Lớp giá trị có xuất hiện như một lớp tham chiếu từ phía Java hay nó bị xóa hoàn toàn (và do đó xuất hiện như kiểu nó kết thúc tốt đẹp)? Nói cách khác, cách an toàn kiểu là các lớp giá trị khi Java có liên quan đến cấp nguồn?

---

EDIT

Đoạn mã trên sẽ không biên dịch, theo SIP-15 tài liệu (liên kết trong câu trả lời của Daniel), bởi vì các lớp học giá trị không được phép có bất cứ logic khởi, bởi vì hoặc v phải rõ ràng là val hoặc Probability phải có phương thức unbox và phương thức box tương ứng trên đối tượng đồng hành của nó và vì các lớp giá trị phải có chính xác một trường. Mã đúng là:

trait BoundedValue[This <: BoundedValue[This]] extends Any { this: This => 

    def upperBound: This 

    def lowerBound: This 

} 

class Probability private[Probability] (value: Double) extends AnyVal with BoundedValue[Probability] { 

    @inline override def upperBound: Probability = new Probability(0.0) 

    @inline override def lowerBound: Probability = new Probability(1.0) 

    @inline def unbox: Double = value 

    // Implement probability arithmetic here; 
    // will be represented by Double at runtime (mostly). 

} 

object Probability { 

    @throws(classOf[IllegalArgumentException]) 
    def box(v: Double): Probability = if ((v >= 0.0) && (v <= 1.0)) new Probability(v) else throw new IllegalArgumentException((v.toString) + "is not within the range [0.0, 1.0]") 

} 

Bản thân câu hỏi vẫn hợp lệ.

Answer 1

Lớp giá trị biên dịch thành các lớp bình thường và cũng có thể xuất hiện dưới dạng tham chiếu.

Phép thuật trong đó là, khi lớp giá trị không thoát khỏi phạm vi, tất cả dấu vết của nó đều bị xóa khỏi mã, có hiệu quả nội tuyến tất cả mã. Và, tất nhiên, cho an toàn loại bổ sung.

Xem thêm SIP-15, giải thích về cơ học.