使用下限通配符(Java)的“意外令牌”

前端之家收集整理的这篇文章主要介绍了使用下限通配符(Java)的“意外令牌”前端之家小编觉得挺不错的,现在分享给大家,也给大家做个参考。
我有类似的东西:
interface Foo<T> {
    //... lines [0,45]...

/*line 46*/ <R,X super T&R> List<X> weave(R value);
    //...
}

但是IntelliJ正在报道:

>错误:(46,18)java:>预期
>错误:(46,19)java:非法启动类型
>错误:(46,26)java:'(‘预期
>错误:(46,28)java:<标识符>预期
>错误:(46,29)java:’l’预计
>错误:(46,43)java:<标识符>预期

有什么问题?我不允许将名字绑定到下限吗?或者我只允许在上限使用R& X表达式?

把它改成

interface Foo<T> {
    //... lines [0,45]...

/*line 46*/ <R> List<? super T&R> weave(R value);
    //...
}

产量

>错误(46,31)java:>预期
>错误(46,32)java:'(‘预期
>错误(46,33)java:非法启动类型

解决方法

通过我对规范的阅读,super只能与通配符一起使用,不能被捕获到类型变量中;见 JLS 4.5.1.同样,&仅在类型变量中有效,而不是类型参数,并且类型变量不能使用超级.

在考虑之后,这是我的解释:类型变量的原因是消除显式转换以提高类型安全性.当你声明一个类型参数是超级Foo时,你说这个参数可以是Foo的任何超类.这意味着它可以是包括Object在内的任何东西,因此您没有安全的方法来假设其类型满足该范围的对象,因此在命名的类型变量中没有包含任何信息;你只是通配符并且可以调用hashCode()或toString(),但没有特定于类型的.

猜你在找的Java相关文章