java - Java の (T)this が scala で動作しないのはなぜですか?

Question

以下の Java クラス定義があるとします。

class Base {
    int value;

    public <T extends Base> T self() {
        return (T) this;
    }

}

class Derived  extends Base {}

この Java コードは正常にコンパイルされます。

new Derived().self();

しかし、この Scala コードは実行に失敗します:

(new Derived).self(); // runtime error

ランタイムエラー:

java.lang.ClassCastException: Derived cannot be cast to scala.runtime.Nothing$

うまくいかない理由と、それを修正する方法を教えてください。

score 4 · Accepted Answer

scala では、このメソッドは次のようになりself[T <: Base](): Tます。(new Derived).self()を指定しませんでしたT。最も具体的なタイプ - を意味しNothingます。

(new Derived).self()実際そうです(new Derived).self[Nothing]()。

(new Derived).self[Derived]()またはを試すことができval d: Derived = (new Derived).self()ます。

score 0 · Accepted Answer

間違ったコードを書いていると思います。JDK 1.6 でテストしました。

new Derived().self();
(new Derived()).self();

すべてOKです。

しかし(new Derived).self();、コンパイルエラーが発生します!

2 に答える 2