写点什么

从 Kotlin 开发者角度看 Java 缺失的特性

  • 2022-06-17
  • 本文字数:2851 字

    阅读完需:约 9 分钟

从Kotlin开发者角度看Java缺失的特性

近二十年来,Java 一直是我的谋生工具,直到几年前我开始学习 Kotlin。


虽然 Kotlin 也被编译为 JVM 字节码,但有时候我还是不得不写一些Java代码。每次写 Java 代码时,我都不禁想,为什么 Java 代码看起来没有 Kotlin 那么好。我很想念那些可以提高代码可读性、表现力和可维护性的特性。


这篇文章并不是要抨击 Java,而是要列出一些我希望也能在 Java 中找到的特性。

不可变引用


Java 从一开始就有不可变引用:


  • 类的属性;

  • 方法的参数;

  • 局部变量。


class Foo {
final Object bar = new Object();
void baz(final Object qux) { final var corge = new Object(); }}
复制代码


  1. bar 不能重新赋值;

  2. qux 不能重新赋值;

  3. corge 不能重新赋值。


不可变引用在避免恶心的 Bug 方面起到很大作用。有趣的是,对 final 关键字的使用并不是很普遍,即使是在流行的项目中也是如此。例如,Spring 的 GenericBean 使用了不可变属性,但没有使用不可变方法参数或局部变量;slf4j 的 DefaultLoggingEventBuilder 没有使用这三个东西。


Java 允许你定义不可变引用,但不是强制的。默认情况下,引用是可变的。大多数 Java 代码没有使用不可变引用。


Kotlin就没有给你这种选择:每个属性和局部变量都需要定义为 val 或 var。另外,不能重新给方法参数赋值。


Java 中的 var 关键字完全不同。首先,它只能用于局部变量。更重要的是,它没有提供与之对应的不可变的 val 关键字,你仍然需要添加 final 关键字,但几乎没有人使用它。

空安全(Null Safety)


在 Java 中,我们无法知道变量是否为空。为此,Java 8 引入了 Optional 类型。从 Java 8 开始,如果返回 Optional 意味着实际的值可以为 null,如果返回其他类型则意味着值不能为 null。


但是,Optional 只针对返回值,不能用于方法的参数。为了解决这个问题,一些库提供了编译时注解:



显然,有些主要针对特定的 IDE。此外,库之间很难兼容。因为库太多了,以至于有人在 StackOverflow 上问该使用哪一个。这些现象很能说明问题。


是否使用这些库是可选择的,而在 Kotlin 中,每种类型要么为空,要么为非空。


val nonNullable: String = computeNonNullableString()val nullable: String? = computeNullableString()
复制代码

扩展函数


在 Java 中,扩展一个类是通过继承来实现的:


继承类有两个主要问题。第一个问题是有些类不允许继承:它们使用了 final 修饰符。有几个被广泛使用的 JDK 类就是 final 类,例如 String。第二个问题是,如果我们无法控制的方法返回了一个类型,那么不管它是否包含我们想要的行为,都只能使用这个类型。


为了解决上述问题,Java 开发者发明了辅助类的概念,比如 XYZ 类对应的辅助类叫作 XYZUtils。辅助类提供了一系列静态方法,并带有私有构造函数,因此不能被实例化。这是不得已而为之,因为 Java 不允许方法存在于类之外。


通过这种方式,如果某个方法不存在于某个类中,辅助类就提供这样的一个方法,这个方法将这个类作为参数并执行所需的操作。


class StringUtils {                                          
private StringUtils() {}
static String capitalize(String string) { return string.substring(0, 1).toUpperCase() + string.substring(1); }}
String string = randomString(); String capitalizedString = StringUtils.capitalize(string);
复制代码


  1. 辅助类;

  2. 防止实例化这个类;

  3. 静态方法;

  4. 简单的首字母大写转换,不考虑极端情况;

  5. String 类型不提供首字母大写转换函数;

  6. 使用辅助类来实现这种行为。


之前,开发人员需要在项目内部创建这样的类。现在,Java 生态系统提供了开源库,如 Apache Commons Lang 或 Guava。所以不要重新发明轮子了!


Kotlin 提供了扩展函数来解决同样的问题。


Kotlin 提供了不通过类继承或使用装饰器等设计模式来实现扩展类或接口的能力。这可以通过一种叫作扩展的特殊声明来实现。


例如,你可以为你无法修改的第三方库中的类或接口添加新函数。这些函数可以按照通常的方式进行调用,就好像它们就是原始类的方法一样。这种机制叫作扩展函数。


要声明扩展函数,需要用被扩展的类名作为前缀。


有了扩展函数,可以将上面的代码重写为:


fun String.capitalize2(): String {                                return substring(0, 1).uppercase() + substring(1);}
val string = randomString()val capitalizedString = string.capitalize2()
复制代码


  1. 自由的函数,不需要类;

  2. Kotlin 的标准库中已经有 capitalize()函数;

  3. 调用扩展函数,就好像它属于 String 类一样。


需要注意的是,扩展函数是“静态”解析的。它们不会在现有的类上添加新的行为,只是假装会这样。生成的字节码与 Java 静态方法非常相似。它的语法要清晰得多,并且允许函数链接,这在 Java 中是不可能做到的。

具体化的泛型


Java 5 中引入了泛型。然而,语言设计者热衷于保持向后兼容性:Java 5 的字节码需要与 Java 5 之前的字节码完美地交互。这就是为什么泛型类型没有被写入生成的字节码中:这就是所谓的类型擦除。与之相反的是具体化的泛型,也就是说,泛型类型将被写入字节码中。


编译时泛型类型存在一些问题。例如,下面的方法签名将生成相同的字节码,因此,这些代码是无效的:


class Bag {    int compute(List<Foo> persons) {}    int compute(List<Bar> persons) {}}
复制代码


另一个问题是如何从值的容器中获取类型化的值。下面是来自 Spring 的一个示例:

public interface BeanFactory {    <T> T getBean(Class<T> requiredType);}
复制代码


开发者添加了一个 Class<T>参数,这样就能够知道方法体中的类型。如果 Java 有具体化的泛型,就没有必要这么做了:


public interface BeanFactory {    <T> T getBean();}
复制代码


想象一下 Kotlin 的具体化泛型。我们可以把上面的代码改为:


interface BeanFactory {    fun <T> getBean(): T}
复制代码


然后这样调用函数:


val factory = getBeanFactory()val anyBean = factory.getBean<Any>()   
复制代码


  1. 具体化的泛型。


Kotlin 仍然需要遵循 JVM 规范,并与 Java 编译器生成的字节码兼容。它可以通过内联来实现:编译器用函数体替换内联的方法调用。


下面是 Kotlin 代码示例:


inline fun <reified T : Any> BeanFactory.getBean(): T = getBean(T::class.java)
复制代码

结论


在这篇文章中,我描述了 Java 中缺失的 4 个 Kotlin 特性:不可变引用、空安全、扩展函数和具体化泛型。虽然 Kotlin 也提供了其他很棒的特性,但这 4 个对于 Java 来说已经是一大堆改进。


例如,通过扩展函数和具体化泛型,再加上一些语法糖,我们就可以轻松地设计 DSL,比如 Kotlin Routes 和 Beans DSL:


beans {  bean {    router {      GET("/hello") { ServerResponse.ok().body("Hello world!") }    }  }}
复制代码


我知道,作为一种编程语言,Java 一直在改进,而 Kotlin 天生具备更强的灵活性。然而,竞争是好事,它们可以互相学习。


我只在必要的时候使用 Java,因为 Kotlin 已经成为我的 JVM 首选语言。


原文链接:


https://blog.frankel.ch/miss-in-java-kotlin-developer/

2022-06-17 16:512422
用户头像
李冬梅 加V:busulishang4668

发布了 951 篇内容, 共 547.8 次阅读, 收获喜欢 1113 次。

关注

评论

发布
暂无评论
发现更多内容

架构实战营模块毕业总结

seawolflin

架构实战营

07 K8S 之命令行应用编排

穿过生命散发芬芳

k8s 11月日更

身为一位程序员:你是否思考过自己想成为什么级别的程序员?

android 程序员 移动开发

遭遇技术瓶颈?分享Android 资深架构师的成长之路(技术详细介绍)

android 程序员 移动开发

金三银四Android面试的一些感受,附加面试题

android 程序员 移动开发

金九银十面经分享,1-3年的Android开发工程师看过来(已拿offer)

android 程序员 移动开发

那匆匆2014年,明明想静静

android 程序员 移动开发

郭霖说Jetpack新成员:App-Startup一篇就懂

android 程序员 移动开发

金九银十面经分享,1-3年的Android开发工程师看过来(已拿offer)(1)

android 程序员 移动开发

阿里技术分享:APP启动提速方法总结

android 程序员 移动开发

跨平台新潮!打脸,Flutter被放弃了?

android 程序员 移动开发

跨进程通讯Binder的onTransact方法一定在binder线程池的binder线程中执行吗?

android 程序员 移动开发

跳槽必备:深挖Android技术

android 程序员 移动开发

这套Github上10K+star学习笔记,可以帮你搞定95%以上的Android面试

android 程序员 移动开发

TCP/IP中的通信,三次握手是如何工作的

卢卡多多

三次握手 11月日更

金九银十,你需要的不仅仅只是大厂面试题,记得把每一次面试当做经验积累!

android 程序员 移动开发

阿里巴巴:-给你一个Demo-你如何快速定位ANR

android 程序员 移动开发

还原腾讯的一场 30K—50K 的 Android 高工面经

android 程序员 移动开发

数据产品内功-埋点

第519区

数据仓库 数据产品 埋点

还在因 JDK 兼容问题发不同 JAR 包做兼容?MRJAR 了解一下?

android 程序员 移动开发

这里有一份史上最详细仿QQ未读消息拖拽粘性效果的实现,快来收藏!

android 程序员 移动开发

阿里面试官:说说多线程并发问题

android 程序员 移动开发

迷茫的程序员

android 程序员 移动开发

算法入门-归并排序

ES_her0

11月日更

金九银十跳槽季余温过后,记录以往走过的面试经历

android 程序员 移动开发

阿里、华为、字节跳动,大厂面试算法题

android 程序员 移动开发

阿里面试官:Android面试这些原理都给我讲明白了,最低都是20k起步!

android 程序员 移动开发

这是你从未见过的组件库----手写一款女朋友欲罢不能的Android-手绘风格组件

android 程序员 移动开发

那些三十五岁失业的安卓程序员,后来都干什么去了?

android 程序员 移动开发

都2020年了,你竟然还在搞Android开发?我劝你早点认清现实吧

android 程序员 移动开发

链表问题不会做?LC狂刷50道链表算法总结出这9道典型题,套路很简单(二

android 程序员 移动开发

从Kotlin开发者角度看Java缺失的特性_编程语言_Nicolas Fränkel_InfoQ精选文章