有趣的 Kotlin 0x12：Nothing、Any、Unit

Nothing

在Kotlin中，Nothing类型代表永远不会返回值的表达式的类型。举例说明：

1. 表示函数永远不会正常返回，例如一个函数抛出了异常或进入了一个无限循环。这时候函数的返回类型可以声明为Nothing。

   fun neverReturns(): Nothing {throw RuntimeException("This function never returns")
   }
   

2. 在一个类型的泛型参数中，表示这个泛型参数不会被使用，例如一个空的List。在这种情况下，可以使用Nothing来表示这个空的List。

   fun emptyList(): List<Nothing> {return listOf()
   }
   

3. 在一个函数的返回类型中，可以使用Nothing来标记一个分支永远不会被执行到。例如，在一个函数中，如果一个分支中抛出了异常，那么其他分支中的代码就永远不会执行，这时候可以使用Nothing来表示这个函数的返回类型。

   fun neverCalled(flag: Boolean): Int {return if (flag) {throw RuntimeException("This code will never be executed")} else {42}
   }
   

Any

在Kotlin中，Any是所有类的超类，它是Kotlin中所有类的基础。由于Any是所有类的父类，因此在Kotlin中，任何对象都可以被视为Any类型的对象。举例说明：

1. 作为函数的返回类型，表示函数可以返回任何类型的对象。这在函数需要返回不同类型的对象时非常有用，例如一个工厂函数可以返回不同类型的对象。

   fun createObject(type: String): Any {return when (type) {"string" -> "Hello, World!""int" -> 42"list" -> listOf(1, 2, 3)else -> throw IllegalArgumentException("Unknown type")}
   }
   

2. 在使用泛型类型时，可以使用Any来表示任何类型。这在需要在函数中使用多种类型的对象时非常有用。

   fun <T> printObject(obj: T) {println(obj.toString())
   }// 使用Any作为泛型参数
   fun printAnyObject(obj: Any) {println(obj.toString())
   }
   

3. 在需要检查对象的类型时，可以使用Any来判断对象是否为某种类型的实例。这在编写泛型代码时非常有用，因为无法在编译时确定对象的类型。

   fun checkType(obj: Any) {if (obj is String) {println("This object is a string")} else if (obj is Int) {println("This object is an integer")} else {println("This object is of an unknown type")}
   }
   

Unit

在Kotlin中，Unit是一个特殊的类型，它表示一个函数不会返回任何有用的值。在其他编程语言中，这种类型通常称为void类型。举例说明：

1. 作为函数的返回类型，表示函数执行后不需要返回任何值。这在需要执行某些操作但不需要返回结果的函数中非常有用。

   fun printHello(): Unit {println("Hello, World!")
   }
   

   可以省略Unit类型的声明，因为Kotlin会自动将没有返回值的函数的返回类型设置为Unit类型。

   fun printHello() {println("Hello, World!")
   }
   

2. 作为泛型类型参数，可以表示任何类型。这在需要一个泛型类型参数，但又不关心具体类型的情况下非常有用。

   class MyList<T>(val items: List<T>) {fun add(item: T): Unit {// ...}// ...
   }
   

3. 在需要使用Java中的void类型的地方，可以使用Unit类型。这在Kotlin与Java混合编程时非常有用。