¿Qué es un rasgo sellado?

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)?

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 Answer

El 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            Yes

Por 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.

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:

• Los rasgos sellados solo se pueden extender en el mismo archivo
• Listar esto le permite al compilador conocer fácilmente todos los subtipos posibles
• Use rasgos sellados cuando el número de posibles subtipos es finito y se conoce de antemano
• Una forma de crear algo como enum en Java
• Ayuda para definir tipos de datos algebraicos (ADT)

y para más detalles Todo sobre los rasgos sellados en Scala