- Learn Kotlin Programming(Second Edition)
- Stephen Samuel Stefan Bocutiu
- 356字
- 2021-06-24 14:13:30
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.
- Mastering OpenLayers 3
- 程序員面試算法寶典
- Rake Task Management Essentials
- 數據結構(Java語言描述)
- Full-Stack React Projects
- Python高效開發實戰:Django、Tornado、Flask、Twisted(第3版)
- R Data Analysis Cookbook(Second Edition)
- Mastering openFrameworks:Creative Coding Demystified
- OpenCV 4計算機視覺項目實戰(原書第2版)
- Swift 4 Protocol-Oriented Programming(Third Edition)
- Learning YARN
- Unity 3D腳本編程:使用C#語言開發跨平臺游戲
- Practical Microservices
- 金融商業數據分析:基于Python和SAS
- DevOps 精要:業務視角