Java泛型：具有类型参数的多个边界[重复]

Question

编译以下Java代码：

interface Interface1{}
interface Interface2{}
class MyClass1<T extends Interface1 & Interface2>{}

此外，编译以下代码：

class AClass{}
interface Interface3{}
class MyClass2<T extends AClass & Interface3>{}

以下代码将给我一个编译错误：

interface Interface4 {}
class MyClass3<T, S extends T & Interface4> {}

因此，看起来，如果其中一个边界类型本身是类型参数，就不可能有多个边界。但为什么呢？

据我所知，如果声明了多个边界，那么最多一个边界可能是一个类（其他所有边界都是接口），并且它必须是第一个边界。

但是，既然在我的示例中Interface是一个接口，为什么编译器会抱怨呢？毕竟，T是接口还是类应该没有任何区别。

我试图在网上找到答案，但显然我的谷歌搜索技能还不够。我很想了解这里发生了什么。

Answer 1

Java语言规范的第4.4节似乎明确禁止这样做。类型绑定指定为：

TypeBound:
   extends TypeVariable
   extends ClassOrInterfaceType {AdditionalBound}

AdditionalBound:
   & InterfaceType

所以看起来你可以指定一个类型变量（“T”），或者你可以有一个类和接口的列表，但是你不能混合它们。

https://docs.oracle.com/javase/specs/jls/se18/html/jls-4.html#jls-4.4