Le classi sigillate sono descritte in "Programmazione in Scala", mentre i tratti sigillati no. Dove posso trovare ulteriori informazioni su un tratto sigillato?
Vorrei sapere se un tratto sigillato è uguale a una classe sigillata? O, in caso contrario, quali sono le differenze? Quando è una buona idea usare un tratto sigillato (e quando no)?
Risposte:
UN sealed tratto può essere esteso solo nello stesso file della sua dichiarazione.
Sono spesso usati per fornire un'alternativa a enums . Poiché possono essere estesi solo in un singolo file, il compilatore conosce tutti i possibili sottotipi e può ragionare su di esso.
Ad esempio con la dichiarazione:
sealed trait Answer
case object Yes extends Answer
case object No extends AnswerIl compilatore emetterà un avviso se una corrispondenza non è esaustiva:
scala> val x: Answer = Yes
x: Answer = Yes
scala> x match {
| case No => println("No")
| }
<console>:12: warning: match is not exhaustive!
missing combination YesQuindi dovresti usare tratti sigillati (o classe astratta sigillata) se il numero di sottotipi possibili è finito e noto in anticipo. Per altri esempi puoi dare un'occhiata all'elenco e alle implementazioni delle opzioni .
un tratto sigillato è uguale a una classe sigillata?
Per quanto riguarda sealed, sì. Condividono le normali differenze tra traite class, ovviamente.
O, in caso contrario, quali sono le differenze?
Moot.
Quando è una buona idea usare un tratto sigillato (e quando no)?
Se si dispone di una sealed class X, è necessario verificare la presenza di Xeventuali sottoclassi. Lo stesso non vale per sealed abstract class Xo sealed trait X. Quindi potresti farlo sealed abstract class X, ma è molto più prolisso che solotrait e per poco vantaggio.
Il vantaggio principale dell'utilizzo di un abstract classover a traitè che può ricevere parametri. Tale vantaggio è particolarmente rilevante quando si utilizzano le classi di tipi. Supponiamo che tu voglia costruire un albero ordinato, per esempio. Puoi scrivere questo:
sealed abstract class Tree[T : Ordering]ma non puoi farlo:
sealed trait Tree[T : Ordering]poiché i limiti di contesto (e i limiti di visualizzazione) sono implementati con parametri impliciti. Dato che i tratti non possono ricevere parametri, non puoi farlo.
Personalmente, preferisco sealed traite lo uso a meno che qualche motivo particolare non mi faccia usare a sealed abstract class. E non sto parlando di ragioni impercettibili, ma di ragioni che non puoi ignorare, come usare le classi di tipo.
[A: F]) non funziona allo stesso modo dei vincoli di varianza. Piuttosto, è lo zucchero sintattico che richiede una F[A]portata implicita . Viene generalmente utilizzato per convocare istanze di typeclass in un modo un po 'più terso e più facile da leggere rispetto a un parametro implicito ( (implicit fa: F[A])), ma funziona sempre allo stesso modo sotto il cofano e, come sottolinea Daniel, i tratti non riescono a fare quello.
Dal blog di scala quotidiana :
Quando un tratto viene "sigillato", tutte le sue sottoclassi vengono dichiarate all'interno dello stesso file e ciò rende finito l'insieme di sottoclassi che consente alcuni controlli del compilatore.
Inoltre sento la necessità di indicarti le specifiche:
Il modi fi catore sigillato si applica alle definizioni di classe. Una classe sigillata non può essere ereditata direttamente, tranne se il modello ereditario è definito nello stesso file di origine della classe ereditata. Tuttavia, le sottoclassi di una classe sigillata possono essere ereditate ovunque.
- M. Odersky. Le specifiche del linguaggio Scala, versione 2.8. online, settembre 2013.
brevemente:
e per maggiori dettagli Tutto sui tratti sigillati di Scala