BT

如何利用碎片时间提升技术认知与能力? 点击获取答案

Java Nestmate稳步推进

| 作者 Ben Evans 关注 31 他的粉丝 ,译者 盖磊 关注 2 他的粉丝 发布于 2018年3月22日. 估计阅读时间: 8 分钟 | QCon上海2018 关注大数据平台技术选型、搭建、系统迁移和优化的经验。

看新闻很累?看技术新闻更累?试试下载InfoQ手机客户端,每天上下班路上听新闻,有趣还有料!

Oracle提出了JEP 181“基于嵌套的访问控制”,即“Nestmate”。该JEP将是对Java平台的一次技术提升,可偿清20年前Java 1.1中存在的技术债务。

新特性与Java的嵌套类息息相关,嵌套类也时常被不严格地称为“内部类”,因为内部类是嵌套类的唯一可能类型。

一般来说,嵌套类型具有独立的两类用途,它们都与封装有关。

第一类用例是,嵌套类只可能在非常特定的原因下、在非常小范围的代码中需要。这意味着,嵌套类的确是实现细节的一部分,需要以紧密本地化的方式实现。

在旧版本的Java中,实现此用途的唯一方式是使用嵌套类型,例如使用内部类匿名实现接口。在实践中,随着Java 8的推出,该用例已经完全被使用lambda表达式和匿名类型所替代。虽然在一些情况下,依然使用近乎本地化类型,但是这类使用情况已经大幅度减少。

此外,类型可能是嵌套的。因为在一些情况下,一个类型需要具有对另一个类型内部的完全访问。这时该类型可实现为嵌套类型(即成员),就可以如同变量和方法那样,使用同样的方式实现访问。这意味着,嵌套类型具有访问特权,它可以认为是一种“对封装原则的略为放宽”。

另一类用例是,嵌套类型需要在某种程度上与其它类型绑定。这意味着,嵌套类型并不需要作为一个真正的实体,完全独立的存在,只是与其它的类型共存。

Nestmate JEP的目的就是推广并形式化这种类型间的共生关系,进而厘清当前的实现。而当前的实现是一些技术债务,以现在的眼光看是相当黑科技的。

在Java 10中,嵌套类将编译为独立的顶层类文件,只是具有特殊的命名转换。例如,在Outer类内定义的嵌套类Nested,将被编译成一个名为Outer$Nested.class的文件。

实现该策略的问题在于,根据Java语言的规则,嵌套类具有访问其封闭类内的所有成员的权限,其中包括私有成员。

为解决该问题,javac将在Outer类中额外添加了允许访问的合成访问器(synthetic accessor)方法。举例说明,下面的代码定义了一个基本的内部类:

public class Outer {
    private int i = 0;
    public class Inner {
        public int i() {
            return i;
        }
    }
}

编译该类,将生成两个类文件Outer.classOuter$Inner.class,字节码分别为:

public class Outer {
  private int i;
  public Outer();
    Code:
       0: aload_0
       1: invokespecial #2                  // 方法java/lang/Object."":()V
       4: aload_0
       5: iconst_0
       6: putfield      #1                  // 域i:I
       9: return
  static int access$000(Outer);
    Code:
       0: aload_0
       1: getfield      #1                  // 域i:I
       4: ireturn
}

public class Outer$Inner {
  final Outer this$0;
  public Outer$Inner(Outer);
    Code:
       0: aload_0
       1: aload_1
       2: putfield      #1                  // 域this$0:LOuter;
       5: aload_0
       6: invokespecial #2                  // 方法java/lang/Object."":()V
       9: return
  public int i();
    Code:
       0: aload_0
       1: getfield      #1                  // 域this$0:LOuter;
       4: invokestatic  #3                  // 方法Outer.access$000:(LOuter;)I
       7: ireturn
}

编译器将inner类所需的私有访问,转换为Outer类上的包内可见(package-private)访问器方法access$000()。具有这样的合成访问器,即便它并非原始类的一个Nestmate,了解该机制的开发人员都可以直接的或者通过反射访问它。

作为Java路线图的一部分,对访问控制采取整理措施在嵌套类型上表现得尤为突出,需要做一些清理。动机正如JEP中所给出的:

嵌套将由对一组类文件的正式定义构成。其中,Nestmate共享通用的访问控制机制,使所需的结果以更简单、更完全、更透明的方式实现。

在JEP描述中还指出,未来改进可能包括:

  • 在泛型特化(generic specialization)中,每个特化类型(specialized type)可被创建为泛型的一个Nestmate。
  • 支持对Unsafe.defineAnonymousClass() API的安全替换,实现将新类创建为已有类的Nestmate。
  • 可能会影响“密封类”(sealed classes),仅允许Nestmate的子类作为密封类。
  • 可能会影响私有嵌套类型。私有嵌套类型当前定义为包内可访问(package-access)。

密封类和真正私有类型的概念,对于使用Scala(以及其它一些支持这些概念的语言)的开发人员并不陌生,因为它们提供了实现一些理念所必须的构建模块。例如,在模式匹配等高级特性中十分有用的代数数据类型(ADT,algebraic data type)。

Nestmate将作为Valhalla项目的一部分开发,目前实现初始原型的工作正在顺利开展。OpenJDK开发人员正积极参与其中。

Oracle通常并不会对Nestmates这样的长线特性将于何时交付给出任何承诺。鉴于Nestmates对于当前正在开发的其它一些里程碑功能(例如密封类和模式匹配)非常有用,感兴趣的Java程序员应关注该项目的不断成熟。

查看英文原文: Java Nestmates Makes Progress

评价本文

专业度
风格

您好,朋友!

您需要 注册一个InfoQ账号 或者 才能进行评论。在您完成注册后还需要进行一些设置。

获得来自InfoQ的更多体验。

告诉我们您的想法

允许的HTML标签: a,b,br,blockquote,i,li,pre,u,ul,p

当有人回复此评论时请E-mail通知我
社区评论

允许的HTML标签: a,b,br,blockquote,i,li,pre,u,ul,p

当有人回复此评论时请E-mail通知我

允许的HTML标签: a,b,br,blockquote,i,li,pre,u,ul,p

当有人回复此评论时请E-mail通知我

讨论

登陆InfoQ,与你最关心的话题互动。


找回密码....

Follow

关注你最喜爱的话题和作者

快速浏览网站内你所感兴趣话题的精选内容。

Like

内容自由定制

选择想要阅读的主题和喜爱的作者定制自己的新闻源。

Notifications

获取更新

设置通知机制以获取内容更新对您而言是否重要

BT