Scala Extendiendo Clase abstracta paramétrica

Question

Soy bastante nuevo en Scala, y estoy escribiendo una biblioteca API y tratando de usar solo vals y objetos inmutables (cuando sea posible). Estoy tratando de decidir la forma correcta de modelar los objetos. Supongamos que hay varios objetos "Post", que comparten algunos campos comunes, y cada uno añade sus propios campos específicos:

abstract class Post(val id: Int, val name: String, ...) 
case class TextPost(val id: Int, val name: String, ..., val text: String) extends Post(id, name, ...) 
case class PhotoPost(val id: Int, val name: String, ..., val url: String) extends Post(id, name, ...) 

Este método agrega una gran cantidad de declaraciones repetitivas y el código de la caldera de la placa, sobre todo cuando se trata de muchas Las subclases de publicaciones y campos compartidos se declaran en la clase abstracta. La forma en que lo veo, esto es causado por el uso de vals que solo puede ser inicializado por el constructor. ¿Hay una mejor manera de crear las relaciones detalladas aquí, o debo sufrir esto por querer usar solo objetos inmutables?

Answer 1

En primer lugar, los modificadores val en los constructores de la clase de caso son redundantes, el compilador de Scala se los dará "gratis" (es una de las características de las clases de casos). Si en realidad se trató de compilar ese, se verá que se produce un error debido a la imperiosa no declarada:

abstract class Post(val id: Int, val name: String) 
case class TextPost(id: Int, name: String) extends Post(id, name) 
case class PhotoPost(id: Int, name: String) extends Post(id, name) 

<console>:10: error: overriding value id in class Post of type Int; 
value id needs `override' modifier 
      case class PhotoPost(id: Int, name: String) extends Post(id, name) 
           ^

Yo personalmente recomiendo usar clases abstractas con argumentos de constructor lo menos posible. Scala tiene rasgos que hacen un mejor trabajo aquí. En lugar de argumentos de constructor, usted declara (abstractamente) los campos; luego patear las clases de casos y que se les debe hacer sus argumentos de forma automática vals, ya está resuelto:

trait Post { def id: Int; def name: String } 
case class TextPost(id: Int, name: String, text: String) extends Post 
case class PhotoPost(id: Int, name: String, url: String) extends Post 

Por otra parte, si se agrega sealed a la trait Post, se puede utilizar con seguridad los subtipos de Post en la coincidencia de patrones sin accidentalmente casos faltantes