使い方は

Question

私は、形質とのように見えるの実装を持っています。私はそれを形質とインプリメンテーションの両方で、インプリメンテーションでのみ、あるいは形質でのみ使う必要がありますか？

Answer 1

REPLには、逆アセンブルされたJavaコードが表示されるjavapと一緒に私たちにとって正しい答えがあります。提供する唯一の特色レベルで@specialized十分であることをあなたに明らかなはずであるだから今

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(); 
} 

：あなたのREPLのクラスパスにtools.jarをを追加する場合は、次のようなクールなものを行うことができるようになります： Fooインターフェースでは、明らかに2つのメソッド宣言があります。

• をメソッドが定義されている理由：

  scala> new Hello 
  res0: Hello = Hello@7a80747 
  
  scala> res0.doSomething("test") 
  <console>:11: error: type mismatch; 
  found : java.lang.String("test") 
  required: Int 
  

  私はあなたの質問に答えることができますが、私は答えることができないいくつかの質問があります：それはトリックがしかし、そこに起こっているように私には見えますその特性の一般的な要約として？

• doSomething（java.lang.Object）メソッドは逆アセンブルされたクラスにありますが、呼び出すことができないのはなぜですか？