¿Cómo puedo definir una interfaz de colección personalizada en Scala sin definir una implementación?

Question

Estoy tratando de definir una interfaz de colección personalizada en Scala 2.8. Quiero exigir que las subclases sean Traversables, más algún otro comportamiento. También quiero métodos como el mapa() para devolver el tipo apropiado, de la siguiente manera:

trait CustomCollection[+A] extends Traversable[A] { 
    def customOperation(i:Int):Int // for example 
} 

def incrementAll(c:CustomCollection[Int]):CustomCollection[Int] = c.map { _ + 1 } 

Esto no compila, porque CustomCollection.map() devuelve una de Traversable. Supongo que necesito definir un CanBuildFrom, pero luego necesito definir un método apply() que construya una instancia desde cero. No quiero especificar una forma de construir esto; eso debería estar a cargo del implementador. es posible?

Answer 1

Si desea map para devolver un tipo de colección más específica, entonces también debe heredar TraversableLike, con el segundo parámetro de tipo (tipo de representación) ajustado en CustomCollection[A].

Siguiente, map requiere un parámetro implícito del tipo CanBuildFrom. Buscará en el objeto complementario de CustomCollection para encontrar un valor implícito conforme de ese tipo. Si echa un vistazo al código fuente de las clases Seq, verá que sus compañeros proporcionan CanBuildFrom objetos del tipo GenericCanBuildFrom que reenvía la llamada para el generador de vuelta a la colección que solicitó el constructor. De esta forma, el tipo dinámico de tipo de retorno de los métodos del transformador Seq (por ejemplo, map) es siempre el mismo que el tipo de la secuencia en sí.

Lo que tienes que hacer es:

1. Hacer CustomCollection[A] hereda TraversableLike
2. Hacer CustomCollection[A] heredan GenericTraversableTemplate
3. Hacer un objeto acompañante de CustomCollection y añade una implícita que devuelve un GenericCanBuildFrom
4. Proporcionar una implementación predeterminada para el constructor en el CustomCollection

Los ejecutores de CustomCollection tendrán que proporcionar objetos de compañía que tienen implementaciones constructor e implícitos CanBuildFrom objetos (que puede ser simplemente GenericCanBuildFrom s).

EDIT:

GenericTraversablTemplate mencionado anteriormente es necesaria, ya que primero se asegura de que la colección tendrá el método genericBuilder llamado por la fábrica GenericCanBuildFrom constructor. En segundo lugar, garantiza que la colección en realidad tenga el objeto complementario del tipo GenericCompanion.