Ошибка вывода типа Scala на «? Extends» в коде Java - PullRequest
Новая
       30

Ошибка вывода типа Scala на «? Extends» в коде Java

4 голосов
/ 22 марта 2010

У меня есть следующий простой код 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 <:? } <br> val sq = Query.newQuery (). уточнение (classOf [String])

Это исправляется только путем вставки правильного параметра типа! 

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

Почему Скала не может вывести это из моего аргумента? Заметьте, я использую Scala 2.7

1 Ответ

5 голосов
/ 22 марта 2010

Вывод работает против 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. Таким образом, разница, вероятно, заключается в самом типизаторе / логическом выводе.

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