Noting

原创已于 2025-07-12 15:36:01 修改 · 402 阅读

9 ·

CC 4.0 BY-SA版权

文章标签：

#kotlin #开发语言 #android

于 2025-07-12 15:28:48 首次发布

Kotlin 是一种静态类型语言。这意味着每个 Kotlin 表达式在编译时都有已知的类型。

类型信息简化了类型检查、方法分发、性能优化等任务，也帮助开发者进行代码补全和错误诊断。

每个 Kotlin 函数都有返回类型。如果函数不返回任何值，其返回类型就是 Unit。这种做法确保了与 Java 的完全兼容性，并在没有返回值时提供更高的可预测性。但 Kotlin 的类型系统还引入了一个比静态类型更强的概念：Nothing。我们将在下一节中详细探讨 Nothing。

Nothing

Kotlin 是一种静态类型的编程语言。例如，在 Kotlin 中定义变量时，必须显示或通过赋值来隐式地声明其类型：

val country: String = "United States" // 显式声明类型
val city = "New York" // 编译器推断出 String 类型

Kotlin 在编译时确保类型不匹配被捕获，减少了运行时错误的可能：

val number: Int = "1234" // 编译错误

在 Kotlin 中，Nothing 是一个非常特殊的类型，因为它没有任何实例。你可能会问这种类型有什么用？它可以用在**函数永远不会返回值（甚至不是 Unit）**的场景中。

本质上，Nothing 是 Kotlin 中所有类型的子类型，这意味着它可以出现在任何需要某种类型的地方。

例如，来看一个适合使用 Nothing 类型的例子：

fun fail(): Nothing {
    throw RuntimeException("This function always throws an exception")
}

fun calculatePercentage(marks: Int, total: Int): Float {
    if (total == 0) {
        fail()  // 在需要 Float 的地方使用了 fail()
    }
    return (marks / total.toFloat()) * 100
}

如果 total 是 0，就无法计算百分比。但此函数需要返回 Float 类型。我们不能返回 null（前提是不允许返回可空的 Float），也不能返回其他无意义的值。这时使用返回 Nothing 的函数是非常有效的方式。

异常与 Nothing

大多数编程语言通过异常处理错误。当程序中发生错误或意外事件时，会抛出异常。这种机制中，程序的执行流程会跳转到异常处理代码。Kotlin 也采用这种方式，并通过 Nothing 类型在类型系统中进一步加强。

Nothing 表示一个函数永远不会成功返回任何值。它意味着该函数总是抛出异常或中断程序执行。

来看一个例子：

fun fail() {
    throw Exception("This function always throws an exception")
}

fun greet() {
    fail() // 允许在期望 String 的位置调用 fail()
}

在上面的代码中，fail() 总是抛出异常，却用在一个本应返回 String 的函数中。由于 Nothing 是所有类型的子类型，编译器允许它出现在任何类型期望的位置。但请注意，你永远不会在运行时得到 String，因为 fail() 永远不会返回。

这种用法适用于在某些条件下必须失败的函数。虽然函数签名可能表明它会返回值，实际上它永远不会返回，而是始终抛出异常：

fun fail(): Nothing {
    throw RuntimeException("This function always throws an exception")
}

TODO 函数

Kotlin 的标准库中提供了 TODO 函数，用于标记尚未实现的代码。它的函数签名如下：

fun TODO(reason: String): Nothing

它会抛出 NotImplementedError 异常，并使之后的代码不可达：

fun yetToImplementFeature(): String {
    TODO("Feature not implemented yet")
    println("This statement is unreachable") // 不会被执行
}

由于 TODO 返回 Nothing，你可以在任何需要值的地方使用它，例如：

// if-else 中
val x = if (expression) {
    TODO("Not decided what to do yet")
} else {
    // 其他情况
}

// 循环中
for (item in list) {
    TODO("Processing of the list items is not implemented yet")
}