Las clases selladas se describen en 'Programación en Scala', pero los rasgos sellados no. ¿Dónde puedo encontrar más información sobre un rasgo sellado?
Me gustaría saber si un rasgo sellado es lo mismo que una clase sellada. O, si no, ¿cuáles son las diferencias? ¿Cuándo es una buena idea usar un rasgo sellado (y cuándo no)?
Respuestas:
Un sealedrasgo solo se puede extender en el mismo archivo que su declaración.
A menudo se utilizan para proporcionar una alternativa a enums. Como solo pueden extenderse en un solo archivo, el compilador conoce todos los subtipos posibles y puede razonar al respecto.
Por ejemplo con la declaración:
sealed trait Answer
case object Yes extends Answer
case object No extends AnswerEl compilador emitirá una advertencia si una coincidencia no es exhaustiva:
scala> val x: Answer = Yes
x: Answer = Yes
scala> x match {
| case No => println("No")
| }
<console>:12: warning: match is not exhaustive!
missing combination YesPor lo tanto, debe usar rasgos sellados (o clase abstracta sellada) si el número de subtipos posibles es finito y se conoce de antemano. Para obtener más ejemplos, puede echar un vistazo a la lista y las implementaciones de opciones .
un rasgo sellado es lo mismo que una clase sellada?
Hasta donde sealedllega, sí. Comparten las diferencias normales entre traity class, por supuesto.
O, si no, ¿cuáles son las diferencias?
Discutible.
¿Cuándo es una buena idea usar un rasgo sellado (y cuándo no)?
Si tiene un sealed class X, entonces tiene que verificar X, así como cualquier subclase. Lo mismo no es cierto para sealed abstract class Xo sealed trait X. Entonces podría hacerlo sealed abstract class X, pero eso es mucho más detallado que solo traity con poca ventaja.
La principal ventaja de usar un abstract classover a traites que puede recibir parámetros. Esa ventaja es particularmente relevante cuando se usan clases de tipos. Digamos que quieres construir un árbol ordenado, por ejemplo. Puedes escribir esto:
sealed abstract class Tree[T : Ordering]pero no puedes hacer esto:
sealed trait Tree[T : Ordering]ya que los límites de contexto (y los límites de vista) se implementan con parámetros implícitos. Dado que los rasgos no pueden recibir parámetros, no puedes hacerlo.
Personalmente, lo prefiero sealed traity lo uso a menos que alguna razón en particular me haga usar a sealed abstract class. Y no estoy hablando de razones sutiles, sino de razones que no puedes ignorar, como usar clases de tipos.
[A: F]) no funciona de la misma manera que las restricciones de varianza. Más bien, es el azúcar sintáctico lo que exige un F[A]alcance implícito . En general, se usa para convocar instancias de clase de tipo de una manera que es un poco más tersa y más fácil de leer que un parámetro implícito ( (implicit fa: F[A])), pero aún funciona exactamente de la misma manera, y como señala Daniel, los rasgos no llegan a funcionar ese.
Del blog daily-scala :
Cuando un rasgo está "sellado", todas sus subclases se declaran dentro del mismo archivo y eso hace que el conjunto de subclases sea finito, lo que permite ciertas comprobaciones del compilador.
También siento la necesidad de señalarle las especificaciones:
El modificador sellado se aplica a las definiciones de clase. Es posible que una clase sellada no se herede directamente, excepto si la plantilla heredada se define en el mismo archivo fuente que la clase heredada. Sin embargo, las subclases de una clase sellada se pueden heredar en cualquier lugar.
- M. Odersky. La especificación del lenguaje Scala, versión 2.8. en línea, septiembre de 2013.
brevemente:
y para más detalles Todo sobre los rasgos sellados en Scala