Java枚举定义

Question

我以为我很了解Java泛型，但是随后在java.lang.Enum中遇到了以下内容：

class Enum<E extends Enum<E>>

有人可以解释如何解释此类型参数吗？奖励点，用于提供可以使用类似类型参数的其他示例。

Answer 1

这意味着枚举的类型参数必须从本身具有相同类型参数的枚举派生。怎么会这样 通过使类型参数成为新类型本身。因此，如果我有一个名为StatusCode的枚举，则它等效于：

public class StatusCode extends Enum<StatusCode>

现在，如果你检查的限制，我们已经得到了Enum<StatusCode>-如此E=StatusCode。让我们检查一下：是否E扩展Enum<StatusCode>？是! 没关系

你可能会问自己这是什么意思：)好吧，这意味着Enum的API可以引用自身-例如，可以说Enum 实现 Comparable<E>。基类能够进行比较（在枚举的情况下），但可以确保仅将正确种类的枚举相互比较。（编辑：嗯，差不多-请参阅底部的编辑。）

我在ProtocolBuffers的C＃端口中使用了类似的东西。有“消息”（不可变）和“构建器”（可变，用于构建消息）-它们成对出现。涉及的接口有：

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>

这意味着从消息中可以获取适当的构建器（例如，复制消息并更改一些位），而从构建器中获取完成的消息则可以获取适当的消息。这是一项很好的工作，但是API的用户实际上并不需要关心这一点-它非常复杂，并且花了几遍迭代才能达到目的。

编辑：请注意，这不会阻止你创建使用类型参数的奇数类型，该类型参数本身还可以，但是不是同一类型。目的是在正确的情况下提供好处，而不是保护你免受错误的情况的影响。

因此，如果Enum仍然没有在Java中进行“特殊”处理，则可以（如注释中所述）创建以下类型：

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

Second会实施Comparable<First>而不是Comparable<Second>…但First本身会很​​好。