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

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.

主站蜘蛛池模板: 方正县| 丹巴县| 南京市| 大田县| 星子县| 宜黄县| 商河县| 外汇| 凉山| 彝良县| 昌黎县| 深圳市| 泰来县| 息烽县| 会昌县| 泊头市| 海口市| 镇原县| 辽源市| 荣昌县| 阳信县| 荆州市| 津南区| 垣曲县| 临清市| 贺兰县| 崇明县| 永新县| 彭泽县| 吉安县| 济南市| 贡山| 磴口县| 万全县| 温泉县| 萨迦县| 利津县| 民和| 容城县| 兴海县| 屏南县|