उपयोगकर्ता द्वारा परिभाषित मूल्य वर्ग जावा से क्या दिखते हैं?

Question

मुझे लगता है मैं स्काला 2.10 के नए "मूल्य वर्ग" सुविधा को समझते हैं, हास्केल के newtype के साथ तुलना द्वारा:

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. 

} 

सवाल मैं, कैसे एक मूल्य वर्ग जावा कोड के लिए प्रकट होता है है स्काला पैकेज का उपयोग करता है जिसमें इसे घोषित किया गया है? क्या वैल्यू क्लास जावा तरफ से रेफरेंस क्लास के रूप में दिखाई देता है, या क्या यह पूरी तरह से मिटा दिया गया है (और इस प्रकार यह टाइप के रूप में दिखाई देता है)? दूसरे शब्दों में, जब जावा स्रोत स्रोत पर शामिल होता है तो प्रकार-सुरक्षित मूल्य वर्ग कैसे होते हैं?

---

संपादित

ऊपर कोड संकलन नहीं होगा, एसआईपी -15 दस्तावेज़ (डैनियल के जवाब में जुड़े हुए) के अनुसार, क्योंकि मूल्य कक्षाएं किसी भी आरंभीकरण तर्क है की अनुमति नहीं है, क्योंकि या तो v स्पष्ट रूप से एक वैल या Probability होना चाहिए unbox विधि और इसके साथी ऑब्जेक्ट पर box विधि होना चाहिए, और क्योंकि मूल्य वर्गों में बिल्कुल एक फ़ील्ड होना चाहिए। सही कोड है:

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]") 

} 

प्रश्न स्वयं ही मान्य है, हालांकि।

Answer 1

मूल्य वर्ग सामान्य कक्षाओं के रूप में संकलित होते हैं, और संदर्भ के रूप में अच्छी तरह से प्रकट हो सकते हैं।

उन में जादू है कि, जब मूल्य वर्ग गुंजाइश बच नहीं करता है, यह के सभी निशान कोड से मिट जाता है, प्रभावी रूप से सभी कोड को इनलाइन है। और, ज़ाहिर है, अतिरिक्त प्रकार की सुरक्षा दे रही है।

SIP-15 भी देखें, जो यांत्रिकी को बताता है।