Kotlin基础篇——从类型系统开始

最新推荐文章于 2024-11-12 11:17:33 发布

weixin_33719619

最新推荐文章于 2024-11-12 11:17:33 发布

阅读量74

点赞数

文章标签：移动开发 java

原文链接：https://juejin.im/post/5a709f48f265da3e53427e90

版权

Kotlin 系列 学习笔记——第一篇

启

对于一门静态编程语言，其类型系统中隐藏了很多设计思路。 Kotlin 这门需要跟 Java 对比学习的语言就更能体现这一点。把类型系统当做 Java 转 Kotlin 的第一站对后续的学习还挺有帮助的，要是没学过 Java 的话……应该也不会想学 Kotlin 吧。

前提：创建变量

由于类型推导系统的存在，Kotlin 中创建变量并不都需要声明类型，只要能推导出就好。而为了更好的支持函数式编程，Kotlin 中明确区分了可变变量（variable）和不可变变量（value），分别用 var 和 val 来创建。

Java 中可以用 final 修饰符表示不可变变量，可能因为写法比较麻烦，除了必要的地方很少出现不可变变量。Kotlin 中两种方式一样好写，就会引导人从场景方面考虑 val 和 var 哪个更合适。为了更好的可读性，应该尽可能减少 var 的使用，因为可以随意改变意味着每次该变量出现都需要考虑当时的值是什么，而且经常出现不可预测的值。

Java 的基本数据类型

在 Java 中，基本数据类型和引用数据类型是明确区分的，基本数据类型是 Java 中脱离了面向对象的一部分，也因此提高了运行效率。而基本数据类型又都对应着一个包装类型（属于引用数据类型），提供了面向对象的思路。

在 Kotlin 中就不存在这种基本数据类型了，看起来像是只保留了包装类型。实际上在编译过程中，只有真正需要使用包装类型的才会编译成引用数据类型，并不会影响代码执行的效率。

val a: Int = 128
val b: Int = 666

val sum = a + b

// 这种纯粹的数字编译后跟 Java 中的 int 是一样的
复制代码

特殊类型

特殊的数据类型有三个：Unit、Any 和 Nothing。

Unit：意义上相当于 Java 中的 void，定义函数不需要返回值的时候，就可以返回Unit（省略不写就默认返回Unit了）。实际上 Unit 和 void 还是有区别的，Unit 是一种真实类型，它有唯一的隐式取值 Unit。《Kotlin实战》中写了这种设计在泛型中的应用和优势，

Any：Any 相当于 Java 中的 Object 类，是所有类的爸爸。但需要注意的是 Any 只有 toString、equals、hashCode函数而不能使用 wait 或 notify方法，如果有需要的话可以把 Any 转换为 Java 的 Object 类再操作。

Nothing：这是一个函数的返回值类型，只在函数声明的时候会用到，表示这个函数不会 return。比如一定会抛出异常或者一定是死循环的函数。虽然不是强制的，但知道不会return任何内容对类型推导是有意义的：

这里如果 error 函数的返回值不写明 Nothing 会被认为是 Unit ，user 的类型就会被推导为 Any ，因为 ?: 前后的类型不一致。

可空类型 (?)

空安全是 Kotlin 的巨大优势之一，有效减少 NPE 也是很多人选择 Kotlin 的原因。空安全的核心就是对类型是否可空的区分，在 Java 中，String 类型的取值可能是 String 或 null，于是每次调用 String 的方法时都可能发生 NPE。这看起来并不合理，因为 null 值只能用来比较而没有 String 的特性，却披着 String 的外皮，还要在运行时才告诉我他不是 String。

Kotlin 用类型 + ? 来表示可空类型，有一种对此类型有疑问的感觉，还挺容易接受的。直观点表示：

String? = String + null

不可空类型无法被赋值为 null ，在编译期就能处理掉一大部分的 NPE 了。

除了定义变量，可空类型调用函数时也要用到 ? ：

a?.fun() = if(a != null){ a.fun() }

比起 Java 中层出不穷的非空判断，这样的写法优势很大，尤其是在嵌套的缩进里面，层次越少可读性越强。如果很确定该类型是非空的，或者需要看到这个 NPE （不会有人想看吧…），可以使用 !!. 强制调用函数。Kotlin 用了两个感叹号来描述这种行为，表明代码中最好不要出现这种写法。

Java 中的 if(a != null) 还可能有 else 的处理，在 Kotlin 的简化写法中可以通过 ?: 可以实现。a?:b的含义是当 a 为空时，取 b。a?.fun() 在 a 为 null 的情况下整个表达式的值为 null，结合起来就是这样的：result = a?.fun()?:b。

这一行的代码的表现力很强，简直是多重嵌套的救星。

还有一种情况，就是函数接受的参数为不可空类型，而你需要对一个可空类型的数据做判断，除了用 if 判断，还可以使用 let 函数。let 函数的原理就等写到函数的时候再深入，这里只说怎么用，下面的两种写法是等价的：