Scala Wert Klasse, Anwendungsfälle

Question

Ich weiß value class in Scala Inline die Operation zum Zeitpunkt des Compilers.

vielleicht wie dies

case class A(i: Int) extends AnyVal { 
    def +(that: A) = A(this.i + that.i) 
} 
A(1) + A(2) // After compile it equals to 1 + 2 

aber es scheint keine große Sache für mich.

Es könnte die Leistung verbessern, aber

this.i + that.i Aufruf scheint nicht so viel langsamer als i + i

Warum brauchen wir value class in scala und alle Anwendungsfälle ???

Answer 1

Warum würden Sie einen einzelnen Wert in eine zusätzliche Klasse einfügen?

Ein großer Anwendungsfall ist die Typensicherheit. Angenommen, Sie Funktion haben, das Geld vermehren kann, etwa so:

def multiply(factor: Int, amount: Int): Int = ??? 

Das Problem dabei ist, dass es sehr einfach sein würde, die zwei Argumente zu verwirren und damit die Funktion falsch nennen. Mit Werten Klassen, könnten Sie eine Money Art erstellen und neu schreiben, die Funktion wie folgt:

case class Money(amount: Int) extends AnyVal 
def multiply(factor: Int, amount: Money): Money = ??? 

Jetzt mit Ihrem speziellen Money Typ, wird der Compiler Ihnen sagen, wenn Sie versuchen, Argumente in der falschen Reihenfolge zu übergeben.

Wenn es sich nicht um eine Wertklasse handelt, kann man sagen, dass die hinzugefügte Sicherheit in manchen Fällen die Leistung nicht wert ist. Bei Wertklassen haben Sie jedoch keinen Laufzeitaufwand (Einschränkungen gibt es jedoch: http://docs.scala-lang.org/overviews/core/value-classes.html).

Eine Alternative das gleiche Ziel sind unboxed (keine Laufzeit-Overhead) markierte Typen in scalaz zu erreichen: http://eed3si9n.com/learning-scalaz/Tagged+type.html

Beachten Sie, dass zum Beispiel Haskell verwendet newtype für die gleiche Idee: https://wiki.haskell.org/Newtype

Answer 2

Wertklassen sind ein Mechanismus in Scala, um die Zuweisung von Laufzeitobjekten zu vermeiden. Dies wird durch die Definition neuer AnyVal-Unterklassen erreicht.

Mehr über Wertklassen ist hier Value Classes

Answer 3

Blick Lassen Sie uns an, wie Scala arbeitet mit Wertklassen (-print Option).

case class A(i: Int) extends AnyVal { 
    def +(that: A) = A(this.i + that.i) 
} 
A(1) + A(2) 

wird übersetzt:

final def +$extension($this: Int, that: Int): Int = $this.+(that) 
... 
A.+$extension(1, 2) 

Wie Sie A Scala vermeidet das Arbeiten mit Klasse sehen und fügt einfach Int-IntInt zurück. Zur gleichen Zeit:

case class A(i: Int) { 
    def +(that: A) = A(this.i + that.i) 
} 
A(1) + A(2) 

wird übersetzt:

def +(that: A): A = new A(this.i().+(that.i())) 
... 
new A(1).+(new A(2)) 

So 1 + 2 Sie Klasse A dreimal müssen berechnen instanziiert.