我以为我很了解Java泛型,但是随后在java.lang.Enum中遇到了以下内容:
class Enum<E extends Enum<E>>
有人可以解释如何解释此类型参数吗?奖励点,用于提供可以使用类似类型参数的其他示例。
这意味着枚举的类型参数必须从本身具有相同类型参数的枚举派生。怎么会这样 通过使类型参数成为新类型本身。因此,如果我有一个名为StatusCode的枚举,则它等效于:
public class StatusCode extends Enum<StatusCode>
现在,如果你检查的限制,我们已经得到了Enum<StatusCode>-如此E=StatusCode。让我们检查一下:是否E扩展Enum<StatusCode>?是! 没关系
Enum<StatusCode>
E=StatusCode
你可能会问自己这是什么意思:)好吧,这意味着Enum的API可以引用自身-例如,可以说Enum实现Comparable<E>。基类能够进行比较(在枚举的情况下),但可以确保仅将正确种类的枚举相互比较。(编辑:嗯,差不多-请参阅底部的编辑。)
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中进行“特殊”处理,则可以(如注释中所述)创建以下类型:
Enum
public class First extends Enum<First> {} public class Second extends Enum<First> {}
Second会实施Comparable<First>而不是Comparable<Second>…但First本身会很好。
Second
Comparable<First>
Comparable<Second>
First