使用下限通配符(Java)的“意外令牌”
发布时间：2020-12-14 19:37:32 所属栏目：Java 来源：网络整理
导读：我有类似的东西： interface FooT { //... lines [0,45].../*line 46*/ R,X super TR ListX weave(R value); //...} 但是IntelliJ正在报道： 错误：(46,18)java：预期 错误：(46,19)java：非法启动类型 错误：(46,26)java：'(‘预期 错误：(46,28)java：标识
|
我有类似的东西：
interface Foo<T> {
//... lines [0,45]...
/*line 46*/ <R,X super T&R> List<X> weave(R value);
//...
}
但是IntelliJ正在报道： >错误：(46,18)java：>预期 有什么问题？我不允许将名字绑定到下限吗？或者我只允许在上限使用R& X表达式？ 把它改成 interface Foo<T> {
//... lines [0,45]...
/*line 46*/ <R> List<? super T&R> weave(R value);
//...
}
产量 >错误(46,31)java：>预期 解决方法
通过我对规范的阅读,super只能与通配符一起使用,不能被捕获到类型变量中;见
JLS 4.5.1.同样,&仅在类型变量中有效,而不是类型参数,并且类型变量不能使用超级.
在考虑之后,这是我的解释：类型变量的原因是消除显式转换以提高类型安全性.当你声明一个类型参数是超级Foo时,你说这个参数可以是Foo的任何超类.这意味着它可以是包括Object在内的任何东西,因此您没有安全的方法来假设其类型满足该范围的对象,因此在命名的类型变量中没有包含任何信息;你只是通配符并且可以调用hashCode()或toString(),但没有特定于类型的. （编辑：李大同） 【声明】本站内容均来自网络，其相关言论仅代表作者个人观点，不代表本站立场。若无意侵犯到您的权利，请及时与联系站长删除相关内容! |