Scala, no se puede implementar el método genérico de Java

Question

Me gustaría implementar un método java que use genéricos en scala (2.9.2). Pero estoy fallando ...

Java método de interfaz:

public <T extends Number> void setAttribute(Key<T> key, Number value); 

código Scala que quieren poner en práctica ese método:

def setAttribute[T <: Number](key: Key[T], value: Number) = { 
    setAttributeLocal(key, value) } 

private def setAttributeLocal[T](key: Key[T], value: T) = { 
    val stringValue = ConvertUtils.convert(value, classOf[String]).asInstanceOf[String] 
    session = session + (key.getValue() -> stringValue) 
} 

clave parece:

public class Key<T> 

Pero esto no compila.

[error] found : mypackage.Key[T] 
[error] required: mypackage.Key[java.lang.Number] 
[error] Note: T <: java.lang.Number, but Java-defined class Key is invariant in type T. 
[error] You may wish to investigate a wildcard type such as `_ <: java.lang.Number`. (SLS 3.2.10) 
[error]  setAttributeLocal(key, value) 

No puedo entender cuál es el problema. Alguna sugerencia/idea?

greez GarfieldKlon

Answer 1

Parece que el compilador es infeliz con su llamada a setAttributeLocal. setAttributeLocal requiere un Key[Number], pero está proporcionando un Key[_ <: T]. En Java-Land, esto significa que está intentando pasar un Key<? extends Number> como Key<Number>.

La sugerencia es tener setAttributeLocal aceptar Key<? extends Number> o Key[_ <: Number], dependiendo de si está definido por Java o Scala.

Answer 2

Algo se ve un poco raro aquí.

Ha intentado:

def setAttribute[T <: Number](key: Key[T], value: T) = 
    setAttributeLocal(key, value) 

Parece extraño/malo para preservar el tipo T para la llave, pero no lo uso en el valor. Supongo que ahí es donde estás obteniendo un error invariable. Está intentando asignar el valor del tipo Number a una clave del tipo T y el compilador no está seguro si no puede pasar Number para T (aunque sabe que puede pasar T para Number).

¿Podemos ver más código?

Answer 3

Como @jsuereth ya se ha señalado, existe una discrepancia entre las firmas de setAttribute y setAttributeLocal, a saber, que el primero acepta un Key[T <: Number] pero que fije el valor que va con la clave para ser un Number exactamente, mientras que el último es más flexible y permite que la clave y el valor sean T <: Number. Esto parece bastante extraño y es posible que desee reconsiderar esa decisión. También lleva al problema explicado por @Ben Schulz.

En cualquier caso, el compilador (2.9.1) está feliz con la siguiente configuración:

MyI.java:

public interface MyI { 
    public <T extends Number> void setAttribute(Key<T> key, Number value); 
} 

Key.java:

public interface Key<T> { 
} 

Test.scala:

object Test extends App { 
    def setAttribute[T <: Number](key: Key[T], value: Number) = { 
    setAttributeLocal(key, value) } 

    private def setAttributeLocal[T](key: Key[T], value: Number) = { 
    /* Notice that value is now also of type Number. */ 
    } 
}