次の単純な Java コードがあります。
package testj;
import java.util.*;
public class Query<T> {
private static List<Object> l = Arrays.<Object>asList(1, "Hello", 3.0);
private final Class<? extends T> clazz;
public static Query<Object> newQuery() { return new Query<Object>(Object.class); }
public Query(Class<? extends T> clazz) { this.clazz = clazz; }
public <S extends T> Query<S> refine(Class<? extends S> clazz) {
return new Query<S>(clazz);
}
public List<T> run() {
List<T> r = new LinkedList<T>();
for (Object o : l) {
if (clazz.isInstance(o)) r.add(clazz.cast(o));
}
return r;
}
}
これを Java から次のように呼び出すことができます。
Query<String> sq = Query.newQuery().refine(String.class); //NOTE NO <String>
しかし、Scala から同じことをしようとすると、次のようになります。
val sq = Query.newQuery().refine(classOf[String])
次のエラーが表示されます。
エラー: 型の不一致
が見つかりました:lang.this.class[scala.this.Predef.String]
が必要です: lang.this.class[?0] forSome{ type ?0 <: ? }
val sq = Query.newQuery().refine(classOf[文字列])
これは、正しい型パラメーターを挿入することによってのみ修正されます!
val sq = Query.newQuery().refine[String](classOf[String])
なぜscalaは私の議論からこれを推測できないのですか? Scala 2.7を使用していることに注意してください