Was sind die Unterschiede zwischen final Klasse und versiegelte Klasse in Scala?

Gibt es zwei Arten von Modifikatoren in Scala: final und sealed

Was sind die Unterschiede zwischen Ihnen? Wann sollten Sie einen über den anderen?

InformationsquelleAutor | 2015-08-25
  1. 86

    Einen final Klasse nicht erweitert werden kann, Zeitraum.

    Einen sealed Merkmal kann nur verlängert werden in der gleichen Quelldatei als es erklärt. Dies ist nützlich für die Erstellung von ADTs (algebraische Datentypen). Ein ADT ist definiert durch die Summe seiner abgeleiteten Typen.

    E. g.:

    • Eine Option[A] ist definiert durch Some[A] + None.
    • Eine List[A] ist definiert durch :: + Nil.
    sealed trait Option[+A]

final case class Some[+A] extends Option[A]
object None extends Option[Nothing]

    Weil Option[A] ist versiegelt, es kann nicht verlängert werden, die von anderen Entwicklern zu tun, so würde die Veränderung seiner Bedeutung.

    Some[A] final ist, da es nicht erweitert werden kann, Zeitraum.

    Als zusätzlichen bonus, wenn eine Eigenschaft versiegelt ist, kann der compiler Sie warnen, wenn Ihre Suchmuster sind nicht erschöpfend genug, weil es weiß, dass Option ist begrenzt zu Some und None.

    opt match {
    case Some(a) => "hello"
}

    Achtung: Spiel kann nicht erschöpfend sein. Sie scheitern würden, auf der folgenden Eingabe: None

    • Technisch gesehen sealed - Vorlagen kann erweitert werden, in der gleichen - compilation-unit, nicht die selbe Datei. Die Tatsache, dass der Scala-compiler die Kompilierung Einheit entspricht einer Datei ist eine Implementierung detail. Es könnten auch andere Compiler, welche zum Beispiel eine Datenbank zum speichern von Quellcode-Artefakten statt, das Dateisystem.
    • Danke für den Nachtrag, ich war nicht bewusst, dass die Unterscheidung.
    InformationsquelleAutor dcastro
  2. 8

    sealed Klassen (oder Merkmale) können noch vererbt werden in der gleichen Quelle-Datei (wo final Klassen kann nicht geerbt werden kann).

    Verwenden sealed wenn Sie einschränken möchten, die Anzahl der Unterklassen der Basis-Klasse (siehe "Algebraische Datentyp").

    Als einen der ganz praktischen Vorteile einer solchen Beschränkung kann der compiler nun warnen Sie über nicht-exaustive Muster entspricht:

    sealed trait Duo
case class One(i:Int) extends Duo
case class Two(i:Int, j:Int) extends Duo

def test(d:Duo) {
  match {
    case One(x) => println(x) //warning since you are not matching Two
  }
}
    • Technisch gesehen sealed - Vorlagen kann erweitert werden, in der gleichen - compilation-unit, nicht die selbe Datei. Die Tatsache, dass der Scala-compiler die Kompilierung Einheit entspricht einer Datei ist eine Implementierung detail. Es könnten auch andere Compiler, welche zum Beispiel eine Datenbank zum speichern von Quellcode-Artefakten statt, das Dateisystem.
    InformationsquelleAutor agschaid
Schreibe einen Kommentar