Scala类型的推断失败在“?在Java代码中扩展”
-
21-09-2019 - |
题
我有以下简单的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()。炼油(classof [string])
仅通过插入正确的类型参数来固定!
val sq = Query.newQuery().refine[String](classOf[String])
Scala为什么不能从我的论点中推断出来?注意我正在使用 Scala 2.7
解决方案
该推理对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 -print
表明对Java签名的解释没有改变Scala版本。因此,差异可能在Typer/推断器本身中。
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] = _;
不隶属于 StackOverflow