约束枚举类型的泛型类型以实现某些接口

Question

我有实现 MyInterface 的枚举。 在使用该枚举创建其他类时，我想将 enumClz 限制为已实现 MyInterface 的类。

所以我在泛型类型声明中将签名描述为“T extends Enum< T extends MyInterface>”。

public <T extends Enum< T extends MyInterface>> C1( Class<T> enumClz) {
    for (T anEnumConst : enumClz.getEnumConstants()) {
        //....process
    }
}

令我惊讶的是 IDE 在“T extends MyInterface”处说它是“意外绑定”。 我不知道这样两个字的错误信息是什么意思，有什么解决办法吗？

---

顺便说一句，出于好奇，我有一个奇怪的问题，虽然不是很重要。 一个枚举类型T能否等价于下面的无限循环

<T extends Enum< T extends Enum<T extends<....>>>>?

Answer 1

改为声明以下内容：

public <T extends Enum<T> & MyInterface> C1(Class<T> enumClz)

在这里，我们声明 T 有多个上限，这对于类型参数是可能的。

声明<T extends Enum<T extends MyInterface>> 是无效语法，因为T 必须与具体类型绑定，但Enum 的类型参数中的T extends MyInterface 正在尝试添加更多关于T 的信息，但它已经存在声明。

还请注意，在声明多个边界时，类类型必须始终位于首位。 <T extends MyInterface & Enum<T>> 的声明也是无效的语法。

顺便说一句，出于好奇，我有一个奇怪的问题，虽然不是很重要。一个枚举类型T能否等价于下面的无限循环

<T extends Enum< T extends Enum<T extends<....>>>>?

声明T extends Enum<T> 已经是“无限的”，因为它是递归的。被声明的同一 T 被作为其上限的类型参数给出 - 类型参数的范围包括它自己的声明。

更多信息：

• Bounded Type Parameters
• Can I use a type parameter as part of its own bounds?
• How do I decrypt "Enum<E extends Enum<E>>"?