为什么不能将enum和record结合起来?

最近我正在创建另一种枚举类型。我利用了这样一个事实,即在 Java 中,枚举是一种特殊类型的类(而不是命名的整数常量,就像在 C# 中一样)。我用两个字段制作了它,一个全参数构造函数和两个字段的 getter。

这是一个例子:

enum NamedIdentity {

    JOHN(1, "John the Slayer"),
    JILL(2, "Jill the Archeress");

    int id;
    String nickname;

    NamedIdentity(int id, String nickname) {
        this.id = id;
        this.nickname = nickname;
    }

    id id() {
        return this.id;
    }

    String nickname() {
        return this.nickname;
    }
}

然后我认为 Java 14 的record关键字可以为我节省此功能试图拯救我的样板代码。据我所知,这不与enums结合。如果enum record已经存在,则上述代码将如下所示:

enum record NamedIdentity(int id, String nickname) {
    JOHN(1, "John the Slayer"),
    JILL(2, "Jill the Archeress");
}

我的问题是:枚举记录不存在是否有原因?我可以想象几个原因,包括但不限于:

  • 此功能的用例数量太少,如果我们作为 Java 语言设计者设计和实现其他功能,Java 语言将受益更多。
  • 由于枚举类型的内部实现,这很难实现。
  • 我们作为 Java 语言的设计者,根本没有考虑这个,或者我们还没有收到来自社区的这样的请求,所以我们没有优先考虑它。
  • 此功能会存在语义问题,或者此功能的实现可能会导致语义歧义或其他混淆。

回答

tl;博士

  • 技术限制:多重继承可防止EnumRecord超类混合。
  • 解决方法:保留record枚举的成员字段
NamedIdentity.JILL.detail.nickname()  // ? "Jill the Archeress"

多重继承

你问:

是否有枚举记录不存在的原因?

技术原因是在 Java 中,每个枚举都是类的子Enum类,而每个记录都是类的子Record类。

Java 不支持多重继承。所以两者不能合并。

语义

但更重要的是语义。

枚举用于在编译时声明一组有限的命名实例。当枚举类加载时,每个枚举对象都会被实例化。在运行时,我们不能再实例化 hat 类的任何对象(好吧,也许使用极端的反射/内省代码,但我会忽略它)。

Java 中的记录不会自动实例化。您的代码通过调用new. 所以完全不一样。

减少样板不是目标record

你说:

我认为 Java 14 的 record 关键字可以为我节省样板代码

你误解了record功能的目的。我建议您阅读JEP 395,并观看 Brian Goetz 关于该主题的最新演示。

正如评论约翰内斯·库恩,目标record降低样板。这种减少是令人愉快的副作用,但不是发明record.

一个记录在形式上是一个“名义元组”。元组意味着按特定顺序排列的各种类型的值的集合,或者如维基百科所说:“元素的有限有序列表(序列)”。标称意味着每个元素都有一个名称。

记录旨在成为简单透明的数据载体。透明意味着它的所有成员字段都是公开的。更好的方法是简单地命名与字段相同的名称,而不使用get…JavaBeans的约定。默认注入hashCodeequals是检查每一个成员字段。记录的目的是关注所携带的数据,而不是行为(方法)。

此外,记录意味着浅不可变。不可变意味着您不能更改原始值,也不能更改记录实例中的对象引用。记录实例中的对象本身可能是可变的,这就是我们所说的浅层。但是记录自身字段的值,无论是原始值还是对象引用,都无法更改。您不能将替代对象重新分配为记录的成员字段之一。

  • 如果在编译时已知的实例集有限,请使用enum.
  • 当您编写一个主要工作是不变且透明地携带一组数据字段的类时,请使用record.

值得一问

我可以看到这两个概念在哪里可以相交,在编译时我们知道一组有限的不可变的透明命名值集合。所以你的问题是有效的,但不是因为样板减少。询问 Brian Goetz 或 Java 团队的其他人是否讨论过这个概念会很有趣。

解决方法:将 a 存储record在您的enum

解决方法很简单:在枚举上保留一个record实例。

您可以将记录传递给枚举构造函数,并将该记录存储为枚举定义中的成员字段。

制作成员字段final。这使得我们的枚举不可变。所以,不需要标记私有,也不需要添加getter方法。

首先,record定义。

package org.example;

public record Performer(int id , String nickname)
{
}

接下来,我们将 的实例传递record给枚举构造函数。

package org.example;

public enum NamedIdentity
{
    JOHN( new Performer( 1 , "John the Slayer" ) ),
    JILL( new Performer( 2 , "Jill the Archeress" ) );

    final Performer performer;

    NamedIdentity ( final Performer performer ) { this.performer = performer; }
}

如果record唯一在枚举的上下文中有意义,我们可以将两者嵌套在一起而不是单独的.java文件。该record功能是在考虑嵌套的情况下构建的,并且在那里运行良好。

record在某些情况下,命名嵌套可能会很棘手。我想Detail如果没有更好的名字是显而易见的,类似的东西可能会作为一个普通的通用标签。

package org.example;

public enum NamedIdentity
{
    JOHN( new Performer( 1 , "John the Slayer" ) ),
    JILL( new Performer( 2 , "Jill the Archeress" ) );

    final Performer performer;

    NamedIdentity ( final Performer performer ) { this.performer = performer; }

    public record Performer(int id , String nickname) {}
}

在我看来,这种解决方法是一个可靠的解决方案。我们通过减少样板的好处使代码变得清晰。我喜欢这个作为在枚举上保留一堆数据字段的一般替代品,因为使用 arecord使意图明确和明显。由于您的问题,我希望在我未来的工作中使用它。

让我们练习一下这段代码。

for ( NamedIdentity namedIdentity : NamedIdentity.values() )
{
    System.out.println( "---------------------" );
    System.out.println( "enum name: " + namedIdentity.name() );
    System.out.println( "id: " + namedIdentity.performer.id() );
    System.out.println( "nickname: " + namedIdentity.performer.nickname() );
}
System.out.println( "---------------------" );

跑的时候。

---------------------
enum name: JOHN
id: 1
nickname: John the Slayer
---------------------
enum name: JILL
id: 2
nickname: Jill the Archeress
---------------------


以上是为什么不能将enum和record结合起来?的全部内容。
THE END
分享
二维码
< <上一篇
下一篇>>