官术网_书友最值得收藏!

Type hierarchy

In Kotlin, the uppermost type is called Any. This is analogous to Java's object type. The Any type defines the well-known toString, hashCode, and equals methods. It also defines the extension methods apply, let, and to, among others. These methods will be described in more detail in Chapter 5, Higher-Order Functions and Functional Programming.

The Unit type is the equivalent of a void in Java. Having a Unit type is common in a functional programming language, and the distinction between void and Unit is subtle. Void is not a type, but a special edge case that is used to indicate to the compiler that a function returns no value. Unit is a proper type, with a singleton instance, also referred to as Unit or (). When a function is defined as a returning Unit, then it will return the singleton unit instance.

This results in greater soundness of the system type as now all functions can be defined as having a return value, even if it's just the Unit type, and functions that have no arguments can be defined as accepting the Unit type.

Where Kotlin differs from Java most notably is in the addition of a bottom type, Nothing, which is a type that has no instances. Similar to how Any is a superclass of all types, Nothing is the subclass of all types. For those who are new to the concept of a bottom type, it might seem strange to have such a type, but it has several use cases.

First, Nothing can be used to inform the compiler that a function never completes normally; for example, it might loop forever, or always throw an exception. Another example is empty immutable collections. An empty list of Nothing could be assigned to a variable accepting a list of strings. Since the list is empty, we cannot retrieve any values from it, and therefore Nothing is fine to use as the generic parameter. Therefore, these empty values can be cached and reused. This is actually the basis of the implementation of the standard library functions emptyList(), emptySet(), and so on.

主站蜘蛛池模板: 上高县| 敦煌市| 淳化县| 来凤县| 沾化县| 赤壁市| 文登市| 揭西县| 新龙县| 石渠县| 丹东市| 正定县| 文昌市| 镇江市| 石棉县| 和林格尔县| 昌平区| 清远市| 苗栗县| 临海市| 资中县| 扬中市| 洛阳市| 黄梅县| 和田市| 乌拉特后旗| 牟定县| 麻阳| 南乐县| 小金县| 桑日县| 五家渠市| 襄城县| 宣城市| 扬州市| 五大连池市| 鹤峰县| 邵阳县| 澄江县| 万盛区| 祁东县|