一尘不染

Java枚举定义

java

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

class Enum<E extends Enum<E>>

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


阅读 459

收藏
2020-03-05

共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本身会很​​好。

2020-03-05