¿A qué se parecen las clases de valores definidas por el usuario de Java?

Question

Creo que comprendo la nueva característica de "clase de valor" de Scala 2,10, en comparación con newtype de Haskell:

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. 

} 

La pregunta que tengo es, ¿Por qué aparece una clase de valor de código Java que utiliza el paquete Scala en que se declara? ¿La clase de valor aparece como una clase de referencia del lado de Java, o se borra por completo (y, por lo tanto, aparece como el tipo que envuelve)? En otras palabras, ¿qué tipo de seguridad tienen las clases de valor cuando Java está involucrado en el nivel de origen?

---

EDITAR

El código anterior no se compilará, de acuerdo con el documento SIP-15 (vinculado en la respuesta de Daniel), porque las clases de valor no se les permite tener cualquier lógica de inicialización, porque ya sea v debe ser explícitamente un val o Probability debe tener un método y una unboxbox método correspondiente en él es objeto acompañante, y porque las clases de valor deben tener exactamente un campo. El código correcto es:

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

} 

La pregunta en sí sigue siendo válida, sin embargo.

Answer 1

clases de valores compilan como clases normales, y también pueden aparecer como referencias.

La magia en ellos es que, cuando la clase valor no escapa del alcance, todo rastro de ella se borran de código, inlining efectivamente todo el código. Y, por supuesto, dando seguridad de tipo adicional.

Ver también SIP-15, lo que explica la mecánica.