Java 的 Enum 泛型类型参数 `E extends Enum` 如何工作？

Java 枚举定义：了解带有类型参数的泛型

Java 的 Enum 类采用了一种特殊的类型参数，乍一看可能会让人感到困惑：

class Enum<E extends Enum<E>>

该参数表示一个枚举类型必须派生自另一个具有相同类型的枚举类型 争论。实际上，类型参数是枚举类型本身，如下例所示：

public enum StatusCode extends Enum<StatusCode>

在此场景中，E 相当于 StatusCode。因此，E 扩展了 Enum，满足参数的要求。

此构造允许 Enum API 引用自身，例如在 Enum 中实现Comparable。基类可以执行比较，同时确保仅比较适当的枚举。

在 C# 中通过 ProtocolBuffers 的接口观察到类似的概念：

public interface IBuilder<TMessage, TBuilder>
  where TMessage : IMessage<TMessage, TBuilder> 
  where TBuilder : IBuilder<TMessage, TBuilder>

public interface IMessage<TMessage, TBuilder>
  where TMessage : IMessage<TMessage, TBuilder> 
  where TBuilder : IBuilder<TMessage, TBuilder>

这确保消息和构建器可以适当配对。

值得注意的是，类型参数并不能防止不一致。例如，以下类型是有效的：

public class First extends Enum<First> {}
public class Second extends Enum<First> {}

在这种情况下，Second 将实现 Comparable；而不是 Comparable，这可能会导致意外行为。然而，类型参数的目的是在有效情况下提供好处，而不一定是强制使用一致的用法。

以上是Java 的 Enum 泛型类型参数 `E extends Enum` 如何工作？的详细内容。更多信息请关注PHP中文网其他相关文章！