non possono specializzarsi un metodo Scala con tratto specializable come tipo di ritorno

Question

trait Eq[@specialized -X] { 
    def eq(x: X, y: X): Boolean 
} 

trait Keyed[@specialized(Int) X] { 
    def eqOnKey: Eq[X] 
} 

Il metodo eqOnKey non è specializzata nella classe generata Keyed$mcI$sp.

Come è possibile specializzare questo metodo, ovvero rendere il tipo di ritorno del metodo eqOnKey$mcI$sp nella classe Keyed$mcI$sp in Eq$mcI$sp?

Answer 1

Se si estende con chiave con Eq, si finisce con un metodo eq specializzato. Questo potrebbe non funzionare per te, a seconda del tuo caso d'uso.

trait Eq[@specialized -X] { 
    def eq(x: X, y: X): Boolean 
} 

trait Keyed[@specialized(Int) X] extends Eq[X] 


class Foo extends Keyed[Int] { 
    def eq(x: Int, y: Int) : Boolean = x == y 
} 

genererà il seguente bytecode per Foo

public boolean eq$mcI$sp(int, int); 
    Code: 
     0: iload_1 
     1: iload_2 
     2: if_icmpne  9 
     5: iconst_1 
     6: goto   10 
     9: iconst_0 
     10: ireturn 

    public boolean eq(java.lang.Object, java.lang.Object); 
    Code: 
     0: aload_0 
     1: aload_1 
     2: invokestatic #146    // Method scala/runtime/BoxesRunTime.unboxToInt:(Ljava/lang/Object;)I 
     5: aload_2 
     6: invokestatic #146    // Method scala/runtime/BoxesRunTime.unboxToInt:(Ljava/lang/Object;)I 
     9: invokevirtual #148    // Method eq:(II)Z 
     12: ireturn