4

次の単純な 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を使用していることに注意してください

4

1 に答える 1

5

推論は Scala 2.8.0.Beta1 に対して機能します。

以前のバージョンでは、次のように変更すると機能します。

public <S extends T> Query<S> refine(Class<? extends S> clazz)

に:

public <S extends T> Query<S> refine(Class<S> clazz)

scalac -printJava 署名の解釈が Scala リリース間で変更されていないことを示唆しています。したがって、違いはおそらくタイパー/インファーサー自体にあります。

スカラ 2.7.5

オリジナル

def refine[S >: _root_.scala.Nothing <: T](clazz: Class[_$1] forSome {
  type _$1 >: Nothing <: S
}): Query[S] = _;

修正済み

def refine[S >: _root_.scala.Nothing <: T](clazz: Class[S]): Query[S] = _;

スカラ 2.8.0.Beta1

オリジナル

def refine[S >: scala.Nothing <: T](clazz: Class[_$1] forSome {
  type _$1 >: Nothing <: S
} = _): Query[S] = _;

修正済み

def refine[S >: scala.Nothing <: T](clazz: Class[S] = _): Query[S] = _;
于 2010-03-22T12:07:13.713 に答える