Kotlin 中那些无法复现的 Java 写法

大家吼哇!了解 Kotlin 的朋友们都知道,Kotlin 对 Java 是 100% 兼容的,正如官方所说

可即便如此,这就代表 Java 中所有的写法就都能在 Kotlin 中复现出来吗?倒也未必。

今天我就来简单盘点一些我发现的那些在 Kotlin 中无法复现出来的 Java 写法。

泛型异常

众所周知,Java 中有一个争议多年的东西:throws 。当它在函数后面声明了若干受检异常后,它便会向外传播,直到被捕获。

在 Java 中,你可以通过如下写法实现一个基于泛型的 throws,以达到让调用者自行决定是否抛出受检异常的目的:

Java 复制代码
public static <T extends Exception> void runAndThrow(int value, Supplier<T> ex) throws T {
    if (value == 0) {
        throw ex.get();
    }
}

可以看到,我定义了一个 runAndThrow,里面包括了一个约束为 Exception 的泛型 T,并且将 T 声明在 throws 处。

此时这个函数是否要求异常受检就取决于 T 的类型了。

Java 复制代码
public static void runThrowException(int value) throws Exception {
    // 受检,因此也要 throws
    runAndThrow(value, Exception::new);
}

public static void runThrowRuntimeException(int value) {
    // runtime 异常不受检,因此不需要 throws
    runAndThrow(value, RuntimeException::new);
}

那么这个写法可以在 Kotlin 中被复现吗?

首先一点需要说明的是,Kotlin 本身并不存在 "受检异常" 这个概念,也因此,实际上 Kotlin 中并没有 throws 这个关键词,

你可以随时抛出一个 Java 中的受检异常而不需要考虑它的传播问题。

Kotlin 复制代码
fun runAndThrow() {
    throw Exception()
}

但是这并不代表在 Kotlin/JVM 中就没有产生 throws 的方法。Kotlin 提供了一个注解 Throws,用来告诉编译器在 JVM 中为它生成 throws

例如:

Kotlin 复制代码
@Throws(Exception::class)
fun runAndThrow() {
    throw Exception()
}

会被编译为类似下述代码的形式:

Java 复制代码
public void runAndThrow() throws Exception {
    throw Exception();
}

聪明的你可能已经发现问题所在了。既然 Kotlin 将 throws 变成了注解,那么泛型就失去效果了,因为注解中无法指定函数上定义的泛型。

例如下面的写法,是无法通过编译的:

Kotlin 复制代码
@Throws(T::class)
fun <T : Exception> runAndThrow(v: Int, ex: () -> T) {
    if (v == 0) {
        throw ex()
    }
}

枚举内部常量参数

接下来,让我们来看看枚举。首先,假设我们有如下的用于表示性别的枚举:

Java 复制代码
public enum Gender {
    UNKNOWN(0),
    MALE(1),
    FEMALE(2);

    final int value;

    Gender(int value) {
        this.value = value;
    }
}

可以看到,枚举有一个参数 value 用来通过一个数字表示性别。

那么这时候,你想将枚举中的这些参数提取为常量,也便于其他地方使用。

于是你简单做了修改,变成下面的样子:

Java 复制代码
public enum Gender {
    UNKNOWN(Gender.VALUE_UNKNOWN),
    MALE(Gender.VALUE_MALE),
    FEMALE(Gender.VALUE_FEMALE);

    public static final int VALUE_UNKNOWN = 0;
    public static final int VALUE_MALE = 1;
    public static final int VALUE_FEMALE = 2;

    final int value;

    Gender(int value) {
        this.value = value;
    }
}

最终表现没有什么区别,一切正常,按部就班。

那么,如果按照这种写法,在 Kotlin 中呢?

首先是普通的枚举定义:

Kotlin 复制代码
enum class KGender(val value: Int) {
    UNKNOWN(0),
    MALE(1),
    FEMALE(2);
}

看得出来,在 Kotlin 中定义带有参数的枚举更加简单而优雅。不过这不是重点,接下来让我们将这些参数提取为它的内部常量。

我们都知道,在 Kotlin 中想要定义常量需要定义在 伴生对象(companion object) 中。

Kotlin 复制代码
enum class KGender(val value: Int) {
    UNKNOWN(KGender.VALUE_UNKNOWN),
    MALE(KGender.VALUE_MALE),
    FEMALE(KGender.VALUE_FEMALE);

    companion object {
        const val VALUE_UNKNOWN = 0
        const val VALUE_MALE = 1
        const val VALUE_FEMALE = 2
    }
}

OK,大功告成!

...

...

了吗?

如果你尝试这么写,那么你只会得到一个编译错误:

复制代码
e: KExample.kt:3:13 Companion object of enum class 'companion object Companion : Any' is uninitialized here.

它会告诉你,枚举的参数所引用的 Companion ------------ 也就是你的伴生对象 ------------ 尚未初始化。

很明显,对 Kotlin 编译器来讲,对常量的替换原则与 Java 并不相同。

因此,你并不能在一个 Kotlin 枚举中引用一个它内部的常量。老老实实挪出去吧!

结尾

以上就是我目前发现的一些在 Kotlin 中那些无法复现的 Java 写法。当然,无法复现的写法并不能代表 Kotlin 对 Java 的兼容是假的,

毕竟这些刁钻的写法也并不是实现某些功能的唯一解。

撰此文仅为分享,感谢你的阅读,我们下次再见,ヾ( ̄▽ ̄)ByeBye~

相关推荐
wei_shuo8 分钟前
飞算 JavaAI 开发助手:深度学习驱动下的 Java 全链路智能开发新范式
java·开发语言·飞算javaai
熊猫钓鱼>_>8 分钟前
用Python解锁图像处理之力:从基础到智能应用的深度探索
开发语言·图像处理·python
GO兔19 分钟前
开篇:GORM入门——Go语言的ORM王者
开发语言·后端·golang·go
断剑重铸之日21 分钟前
Android自定义相机开发(类似OCR扫描相机)
android
随心最为安23 分钟前
Android Library Maven 发布完整流程指南
android
岁月玲珑29 分钟前
【使用Android Studio调试手机app时候手机老掉线问题】
android·ide·android studio
欧阳秦穆30 分钟前
apoc-5.24.0-extended.jar 和 apoc-4.4.0.36-all.jar 啥区别
java·jar
好开心啊没烦恼34 分钟前
Python 数据分析:numpy,抽提,整数数组索引与基本索引扩展(元组传参)。听故事学知识点怎么这么容易?
开发语言·人工智能·python·数据挖掘·数据分析·numpy·pandas
岁忧41 分钟前
(LeetCode 面试经典 150 题 ) 58. 最后一个单词的长度 (字符串)
java·c++·算法·leetcode·面试·go
Java初学者小白1 小时前
秋招Day14 - Redis - 应用
java·数据库·redis·缓存