فشل استنتاج نوع Scala على "؟ يمتد "في كود جافا
-
21-09-2019 - |
سؤال
لدي رمز جافا البسيط التالي:
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;
}
}
يمكنني أن أسمي هذا من جافا على النحو التالي:
Query<String> sq = Query.newQuery().refine(String.class); //NOTE NO <String>
ولكن إذا حاولت أن أفعل الشيء نفسه من سكالا:
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])
لماذا لا تستطيع سكالا استنتاج هذا من حجتي؟ لاحظ أنني أستخدم سكالا 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/informencer نفسه.
سكالا 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