Parámetros de tipo de parámetro de Scala

Question

Tengo problemas para comprender el sistema de límites de tipos de scala. Lo que estoy tratando de hacer es hacer una clase titular que contiene elementos de tipo T que puede iterar sobre los elementos de tipo A. Lo que tengo hasta ahora es:

class HasIterable[T <: Iterable[A], A](item:T){ 
    def printAll = for(i<-item) println(i.toString) 
} 

val hello = new HasIterable("hello") 

La clase en sí se compila correctamente, pero que tratan de crear el valor hello me da este error:

<console>:11: error: inferred type arguments [java.lang.String,Nothing] do 
not conform to class HasIterable's type parameter bounds [T <: Iterable[A],A] 
    val hello = new HasIterable("hello") 
      ^

lo que habría esperado hello para resolver como HasIterable[String, Char] en ese caso. ¿Cómo se resuelve este problema?

Answer 1

String en sí no es un subtipo de Iterable[Char], pero es pimp, WrappedString, es. Con el fin de permitir que su definición para hacer uso de las conversiones implícitas, es necesario utilizar un view bound (<%) en lugar de un upper type bound (<:):

class HasIterable[T <% Iterable[A], A](item:T){ 
    def printAll = for(i<-item) println(i.toString) 
} 

Ahora su ejemplo servirá:

scala> val hello = new HasIterable("hello")    
hello: HasIterable[java.lang.String,Char] = HasIterable@77f2fbff