El uso de @specialized en los rasgos

Question

Tengo un rasgo y una implementación que parece:

trait Foo[A] { 
    def bar[B >: A: Ordering]: Foo[B] 
} 
class FooImpl[A](val a: A, val values: List[Foo[A]]) extends Foo[A] { 
    def bar[B >: A] = { /* concrete implementation */} 
} 

me gustaría utilizar la anotación @specialized en A y B para evitar autoboxing. ¿Debo usarlo tanto en el rasgo como en la implementación, solo en la implementación o solo en el rasgo?

Answer 1

El REPL tiene la respuesta correcta para nosotros, junto con javap, que mostrará el código java desensamblado. Si se agrega a la ruta de clases tools.jar REPL, usted será capaz de hacer cosas interesantes como la siguiente:

scala> trait Foo[@specialized(Int) A] { def doSomething(a:A)} 
defined trait Foo 

scala> :javap -p Foo 
Compiled from "<console>" 
public interface Foo{ 
    public abstract void doSomething(java.lang.Object); 
    public abstract void doSomething$mcI$sp(int); 
} 

scala> class Hello extends Foo[Int] { def doSomething(a:Int)=println(a)} 
defined class Hello 

scala> :javap -p Hello 
Compiled from "<console>" 
public class Hello extends java.lang.Object implements Foo$mcI$sp,scala.ScalaObject{ 
    public void doSomething(int); 
    public void doSomething$mcI$sp(int); 
    public void doSomething(java.lang.Object); 
    public Hello(); 
} 

Así que ahora debería estar claro para usted que proporciona el @specialized sólo a nivel rasgo es suficiente: en la interfaz de Foo claramente tiene dos declaración de método. A mi me parece que un truco que está pasando allí, sin embargo:

scala> new Hello 
res0: Hello = Hello@7a80747 

scala> res0.doSomething("test") 
<console>:11: error: type mismatch; 
found : java.lang.String("test") 
required: Int 

Mientras que puedo responder a su pregunta, hay algunas preguntas que no puedo contestar:

• Por qué se definen los métodos como resumen público en el rasgo?
• ¿Por qué el método doSomething (java.lang.Object) está allí en la clase desmontada, pero no se puede invocar?