为什么在 Kotlin 中“return”可以返回一个“return”？

Question

这个问题听起来很傻，但里面没有错字。

fun test(): Any {
    return return true
}

这在 Kotlin 中实际上是可能的。虽然编译器警告

无法访问的代码

用于外部返回。但这只是一个警告。

我不想将 Java 与 Kotlin 进行比较，但我很感兴趣在 Java 中是否同样适用。

public class Test {
  // ...
  static int test() {
    return return 1;
  }
}

没有！

/Test.java:8: 错误：表达式的非法开始
返回 返回 1;
^
/Test.java:8: 错误：不是声明
返回 返回 1;
^
2 个错误

为什么要这样设计 Kotlin？

Answer 1

return 是 Kotlin 中的表达式，返回类型为 Nothing，该类型充当所有其他类型的子类型。例如，这使您能够以类型安全的方式执行此操作，而无需额外的 null 检查行：

fun getInt(): Int? = ...

fun printInt() {
    val int: Int = getInt() ?: return
    println(int)
}

getInt() ?: return 的类型在这里可以是 Int，因为这是 Elvis 运算符两侧最接近的公共超类型，这要归功于 Nothing 是 Int 的子类型。

同样的事情也适用于throw，您也可以巧妙地将其与Elvis 运算符一起使用，以指示您想取消对null 值的执行，而不必担心以后的类型。

这导致了一个奇怪的怪癖，比如

fun x(): Int {
    return return throw return throw throw return 0
}

是有效的语法，因为Nothing 类型使每个表达式都有效地从右到左读取。实际上会发生的是return 0 将执行，而其余代码将永远无法到达，正如编译器警告的那样。

Answer 2

因为return 语句是一个返回Nothing 的表达式。结果，以下内容也编译了：

fun main(args: Array<String>) {
    val r = return
}

在docs中有说明：

Kotlin 有三种结构跳转表达式：

• return。默认情况下从最近的封闭函数或匿名函数返回。 [...]

所有这些表达式都可以用作更大表达式的一部分：

val s = person.name ?: return

这些表达式的类型是Nothing 类型。

由于Nothing 是任何其他类型的子类型，它具有做出怪异陈述的能力，就像您问题中的陈述一样，有效，尽管它们看起来非常错误......

KotlinConf 实际上有一个有趣的谈话，看看以下有趣的事情：

fun getText(): String {
  val s = return throw return "Hello"
}

println(getText())
//prints "Hello"