Mat*_*t G 5 java generics syntax-error bounded-wildcard
我有类似的东西:
interface Foo<T> {
//... lines [0,45]...
/*line 46*/ <R, X super T&R> List<X> weave(R value);
//...
}
但是IntelliJ正在报道:
有什么问题？我不允许将名字绑定到下限吗？或者我只允许R&X在上限中使用表达式？
把它改成
interface Foo<T> {
//... lines [0,45]...
/*line 46*/ <R> List<? super T&R> weave(R value);
//...
}
产量
根据我对规范的阅读，super只能与通配符一起使用，不能捕获到类型变量中；参见JLS 4.5.1。同样，&仅在类型变量中有效，在类型实参中无效，并且类型变量不能使用super。
经过思考，这是我的解释：类型变量的原因是消除显式强制转换以提高类型安全性。当您将类型参数声明为 时super Foo，您是在说该参数可以是 的任何超类Foo。这意味着它可以是任何直到并包括 的内容Object，因此您没有安全的方法来假设有关其类型满足该绑定的对象的任何信息，因此命名类型变量中不包含任何信息；您只需使用通配符即可调用hashCode()or toString()，但没有特定于类型的内容。