Scala 类型推断失败于 "?延伸”在Java代码中

Question

我有以下简单的 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[String])

这只能通过插入正确的类型参数来解决！

val sq = Query.newQuery().refine[String](classOf[String])

为什么 scala 不能从我的论证中推断出这一点？注意我正在使用 Scala 2.7

Answer 1

该推理适用于 Scala 2.8.0.Beta1。

scalac -print则可以使用

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

对于早期版本，如果将以下内容更改为：

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

，这表明 Java 签名的解释在 Scala 版本中并未发生变化。所以差异可能在于打字机/推理机本身。

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] = _;

Scala 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] = _;