使用下限通配符（Java）的“意外令牌”

Question

我有类似的东西：

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

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

但是IntelliJ正在报道：

1. 错误：（46,18）java：>预期
2. 错误：（46,19）java：非法启动类型
3. 错误：（46,26）java：'（'预期
4. 错误：（46,28）java：<identifier>预期
5. 错误：（46,29）java：'l'预计
6. 错误：（46,43）java：<identifier>预期

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

把它改成

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

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

产量

1. 错误（46,31）java：>预期
2. 错误（46,32）java：'（'预期
3. 错误（46,33）java：非法启动类型

Answer 1

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

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