Kotlin 是一种静态类型语言。这意味着每个 Kotlin 表达式在编译时都有已知的类型。
类型信息简化了类型检查、方法分发、性能优化等任务，也帮助开发者进行代码补全和错误诊断。
每个 Kotlin 函数都有返回类型。如果函数不返回任何值，其返回类型就是 Unit。这种做法确保了与 Java 的完全兼容性，并在没有返回值时提供更高的可预测性。但 Kotlin 的类型系统还引入了一个比静态类型更强的概念：Nothing。我们将在下一节中详细探讨 Nothing。
Nothing
Kotlin 是一种静态类型的编程语言。例如，在 Kotlin 中定义变量时，必须显示或通过赋值来隐式地声明其类型：
kotlin
val country: String = "United States" // 显式声明类型
val city = "New York" // 编译器推断出 String 类型Kotlin 在编译时确保类型不匹配被捕获，减少了运行时错误的可能：
kotlin
val number: Int = "1234" // 编译错误在 Kotlin 中，Nothing 是一个非常特殊的类型，因为它没有任何实例。你可能会问这种类型有什么用？它可以用在**函数永远不会返回值（甚至不是 Unit）**的场景中。
本质上，Nothing 是 Kotlin 中所有类型的子类型，这意味着它可以出现在任何需要某种类型的地方。
例如，来看一个适合使用 Nothing 类型的例子：
kotlin
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 表示一个函数永远不会成功返回任何值。它意味着该函数总是抛出异常或中断程序执行。
来看一个例子：
kotlin
fun fail() {
throw Exception("This function always throws an exception")
}
fun greet() {
fail() // 允许在期望 String 的位置调用 fail()
}在上面的代码中，fail() 总是抛出异常，却用在一个本应返回 String 的函数中。由于 Nothing 是所有类型的子类型，编译器允许它出现在任何类型期望的位置。但请注意，你永远不会在运行时得到 String，因为 fail() 永远不会返回。
这种用法适用于在某些条件下必须失败的函数。虽然函数签名可能表明它会返回值，实际上它永远不会返回，而是始终抛出异常：
kotlin
fun fail(): Nothing {
throw RuntimeException("This function always throws an exception")
}更多 Nothing 示例
抛出空指针异常的函数：
kotlin
fun alwaysThrowsNPE(): Nothing {
throw NullPointerException("Null pointer exception always thrown")
}每次调用都会抛出空指针异常，因此不会返回值。
抛出非法参数异常的函数：
kotlin
fun checkAge(age: Int): Nothing {
throw IllegalArgumentException("Age cannot be negative: $age")
}这个函数也从不返回。
一个永远不会返回的无限循环函数：
kotlin
fun infiniteLoop(): Nothing {
while (true) {
// 无限循环，没有 return，也没有 break
}
}由于永远不会跳出循环，函数永远不会返回。使用 Nothing 表明这一点。
这使得开发者和编译器都能清楚地知道这些函数永远不会返回，可能抛出异常或永久阻塞，有助于编写更清晰可靠的代码。
TODO 函数
Kotlin 的标准库中提供了 TODO 函数，用于标记尚未实现的代码。它的函数签名如下：
kotlin
fun TODO(reason: String): Nothing它会抛出 NotImplementedError 异常，并使之后的代码不可达：
kotlin
fun yetToImplementFeature(): String {
TODO("Feature not implemented yet")
println("This statement is unreachable") // 不会被执行
}由于 TODO 返回 Nothing，你可以在任何需要值的地方使用它，例如：
kotlin
// 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")
}注意 TODO 帮助你清晰地标记出未完成部分。
总结
Kotlin 是一门灵活而强大的语言，具备优秀的类型系统和错误检测能力。
其中 Nothing 类型提供了一种明确表达"永远不返回"的函数行为的方式，提升了代码可读性和安全性。
而 TODO 函数结合 Nothing 类型，清楚地标记出尚未实现的功能，是团队协作或大型项目中的好帮手。
Kotlin 通过这些设计增强了健壮性和开发体验。