Les classes scellées sont décrites dans «Programmation en Scala», mais pas les traits scellés. Où puis-je trouver plus d'informations sur un trait scellé?
J'aimerais savoir si un trait scellé est identique à une classe scellée? Ou, sinon, quelles sont les différences? Quand est-ce une bonne idée d'utiliser un trait scellé (et quand non)?
Réponses:
Un sealedtrait ne peut être étendu que dans le même fichier que sa déclaration.
Ils sont souvent utilisés pour fournir une alternative à enums. Puisqu'ils ne peuvent être étendus que dans un seul fichier, le compilateur connaît tous les sous-types possibles et peut en raisonner.
Par exemple avec la déclaration:
sealed trait Answer
case object Yes extends Answer
case object No extends Answer
Le compilateur émettra un avertissement si une correspondance n'est pas exhaustive:
scala> val x: Answer = Yes
x: Answer = Yes
scala> x match {
| case No => println("No")
| }
<console>:12: warning: match is not exhaustive!
missing combination Yes
Vous devez donc utiliser des traits scellés (ou une classe abstraite scellée) si le nombre de sous-types possibles est fini et connu à l'avance. Pour plus d'exemples, vous pouvez consulter les implémentations de liste et d' options .
un trait scellé est le même qu'une classe scellée?
En ce qui concerne sealed, oui. Ils partagent les différences normales entre traitet class, bien sûr.
Ou, sinon, quelles sont les différences?
Discutable.
Quand est-ce une bonne idée d'utiliser un trait scellé (et quand non)?
Si vous en avez un sealed class X, vous devez vérifier Xainsi que les sous-classes. Il n'en va pas de même pour sealed abstract class Xou sealed trait X. Donc, vous pourriez le faire sealed abstract class X, mais c'est beaucoup plus verbeux que juste traitet pour peu d'avantages.
Le principal avantage d'utiliser un abstract classsur un traitest qu'il peut recevoir des paramètres. Cet avantage est particulièrement pertinent lors de l'utilisation de classes de types. Disons que vous voulez construire un arbre trié, par exemple. Vous pouvez écrire ceci:
sealed abstract class Tree[T : Ordering]mais vous ne pouvez pas faire ceci:
sealed trait Tree[T : Ordering]puisque les limites de contexte (et les limites de vue) sont implémentées avec des paramètres implicites. Étant donné que les traits ne peuvent pas recevoir de paramètres, vous ne pouvez pas le faire.
Personnellement, je préfère sealed traitet l'utilise à moins qu'une raison particulière ne me fasse utiliser un sealed abstract class. Et je ne parle pas de raisons subtiles, mais de raisons que vous ne pouvez pas ignorer, telles que l'utilisation de classes de types.
[A: F]) ne fonctionne pas de la même manière que les contraintes de variance. C'est plutôt le sucre syntaxique qui demande une F[A]portée implicite . Il est généralement utilisé pour invoquer des instances de classe d'une manière un peu plus subtile et plus facile à lire qu'un paramètre implicite ( (implicit fa: F[A])), mais il fonctionne toujours de la même manière sous le capot, et comme le souligne Daniel, les traits ne sont pas adaptés. cette.
Sur le blog daily-scala :
Lorsqu'un trait est "scellé", toutes ses sous-classes sont déclarées dans le même fichier et cela rend l'ensemble des sous-classes fini, ce qui permet certaines vérifications du compilateur.
Je ressens également le besoin de vous indiquer les spécifications:
Le modificateur scellé s'applique aux dé fi nitions de classe. Une classe scellée ne peut pas être directement héritée, sauf si le modèle d'héritage est dé fi ni dans le même fichier source que la classe héritée. Cependant, les sous-classes d'une classe scellée peuvent être héritées n'importe où.
- M. Odersky. La spécification du langage Scala, version 2.8. en ligne, sept. 2013.
brièvement:
et pour plus de détails Tout sur les traits scellés dans Scala