尝试Java，从入门到Kotlin（下）

上篇已提（tu）到（cao）Java中的各种坑。习惯了C#的各种特性和语法糖后，再转到Java感觉比较别扭。最后本着反正Java也不是很熟悉，干脆再折腾折腾其他语言的破罐子破摔的心态，逛了一圈JVM语言，最终决定转Kotlin。

项目遭遇人员变动，包括我在内就剩两个人开发，转型成本低，代码质量容易控制。

JVM语言。号称与Java 100%兼容。实际使用的确能够与Java几乎无缝地相互调用，基本上可以无缝迁移，完美兼容Java生态。

OOP。目前OOP仍是主流，方便后续交接或者其它新加入的开发成员上手。

静态类型。在选择语言的时候也考虑过像Groovy，JRuby等的动态类型语言。然而俗话说得好，动态一时爽，重构火葬场。当项目变大的时候，静态类型支持的较为完善的语义分析能够帮助项目快速整理、重构代码。并且引入很多函数式特性后，静态类型语言的开发效率与爽感，不比动态类型语言低多少。

吸收了一些函数式特性。除了常见的lambda，map，filter，reduce之外，还吸收了ruby的一些如对象上下文切换、代码块语法糖等便捷的特性（但是也可能导致代码可读性下降）。

对JetBrain的信任。JetBrain在静态分析的成果上有目共睹。相信JetBrain设计的语言应该会比较有品位（然而严格得不近人情的null safety是有点让人纠结）。

最后，就是刚好看到Kotlin，确认了眼神……

牺牲了CE使得Lambda不像Java中那么多的约束。引入类似Ruby代码块的写法（默认it参数），让代码看起来比较好看，虽然我个人不是很喜欢这种默认约定，但是用起来真香。

不同于其他语言，Kotlin里的if else，try catch等都是表达式，我们可以直接这样子写代码：

Lambda是最后一个参数时，可以写在括号外面（学自ruby）。主要是用来让回调比较好看，和实现DSL。

Receiver。Kotlin不仅有纯函数类型，还可以通过Receiver声明类的方法类型。这个特性可以用来实现类的方法扩展、this切换的功能。

下面代码给<code>Int</code>扩展了个<code>double</code>方法：

下面例子通过切换<code>this</code>实现了一个类似C#初始化对象的方法：

很多好用的方法，像<code>listOf</code>，<code>mapOf</code>。<code>to</code>操作符等

……

Kotlin中Class默认都是不能继承的。需要继承的Class要在声明的地方加上open修饰。另外提一下有个插件叫all-open，专门用来让所有Kotlin的类变为可继承的……

Kotlin不支持可继承的注解。

<code>List</code>，<code>Map</code>不能修改其内部存储的元素。需要修改应该用<code>MutableList</code>和<code>MutableMap</code>。

号称和Java 100%兼容，但是不能访问Lombok生成的方法！

因为Lombok的方法是编译期通过注解处理器（annotation processing）生成的，Kotlin编译时只调用了Javac，所以无法处理Lombok定义的方法。强制先编译Java代码，后编译Kotlin代码，可以解决这个问题，但是又会有新的问题：你不能在Java代码中调用Kotlin代码。所以如果你要混合使用Java和Kotlin的话，推荐所有数据类型都用Kotlin写。

<code>var</code>就是普通变量。<code>val</code>相当于<code>const</code>。平时尽量使用<code>val</code>，有益身心健康。

Null safety是Kotlin宣传得最多的特性，但是我并没有放在“好用的特性”节中介绍，因为它的坑非常多，以至于我十分怀疑null safety的好处是否能抵消它带来的副作用。

所有类型默认都不包括<code>null</code>值，除非加个问号定义为Nullable类型。Nullable类型取值时，强制check null。如果调用Java代码，默认Java代码都是Nullable。不过从Java来的变量不做check null倒是不会报error，只报warning。如果运行时值为<code>null</code>的话，仍然会抛<code>NullPointerException</code>。Kotlin的null safety的特性其实只是一个编译器的特性，通过将<code>null</code>与其他类型区分开来，在类型检查的时候顺便检查了可能出现的<code>NullPointerException</code>，但是在运行时非Nullable的变量实际上也是可以放进去<code>null</code>值的（比如通过反射）。

由于非Nullable类型不被赋值为<code>null</code>值（废话），导致这些类型的变量可能会没有默认值！这是个严重的问题。如果是像<code>Int</code>，<code>String</code>这种比较像值的类型（其实也是引用类型）还好，可以有<code>0</code>，空字符串等默认值。而像自定义的类，这种类型的变量其实是个引用，如果不能默认为<code>null</code>的话，那么它的默认值的取值只能有这么几种方案：

类似C语言，未初始化的随机值：会产生更大更不确定硬隐蔽的问题。

定义一个“未初始化”的值：那么这个值和<code>null</code>有什么区别？又绕回来了。

类似C++，默认创建一个空对象：但是并非所有类都有默认构造函数，而且在拥有GC的语言中，创建空对象需要分配内存，还会调用构造函数中的逻辑。声明变量时引入这么多过程是非常不合适的。

所以，Kotlin最终选了一种简单粗暴的方案：禁止变量未初始化。

禁止变量未初始化的问题在于，当你需要定义大量的数据类的时候，你就知道有多蛋疼了——所有属性都必须有个初始值。这不仅需要多敲不少键盘，影响手指健康，当碰到属性是非Nullable的聚合时，也常常无法确定其初始值。我已经隐隐看到某些开发人员将所有变量都标记为Nullable的画面了……Kotlin自身也发现了这个问题，因此引入了<code>lateinit</code>特性，然而用起来仍然有点令人胆战心惊。

反序列化。即使是业务逻辑上明确了不会为<code>null</code>值的属性，你也无法保证网络上/数据库里传输过来的数据中，对应的属性会不会是<code>null</code>值，或者干脆漏了，所以就算model设计正确的，实际运行时可能还是会出现<code>NullPointerException</code>。我又隐约看到某些开发人员将所有变量都标记为Nullable的画面了……另外反序列化时，需要先生成一个空对象，也就是属性都没初始化的对象。当然Kotlin不会允许这么做的，所以还需要引入NoArg插件来自动生成无参数的构造函数……

为了和Java 100%兼容，Kotlin不得不跟着Java用类型擦除式泛型，也拥有了前面说过的类型擦除式泛型的所有坑。不过Kotlin可以使用内联函数来稍微缓解类型擦除的负面影响。比如可以这样定义json反序列化的方法：

<code>inline fun &lt;reified T&gt; parse(json: String): T = objectMapper.readValue(json, T::class.java)</code>

Kotlin有两种方法定义一个匿名函数：lambda和anonymous function。当在这两种方法的函数体中使用return时，执行的语义是不同的。根据官方文档<code>return</code>会跳出最近的显示声明的函数或anonymous function。例如下面的<code>return</code>会直接跳出<code>foo</code>函数。

而下面这个只是当<code>value == 3</code>时跳过一次循环，相当于其他语言的<code>continue</code>

或者也可以使用Label来指定执行<code>return</code>后跳到的位置（感觉像goto似的）。

另外，break和continue也是有类似的问题。

最近家庭工作都比较忙，这短短的一篇转型踩坑记竟然写了个跨年。有些踩坑的记忆随着时间流逝以及用习惯了给慢慢淡化掉了，于是也没写进来。目前Java系这边的开发我尽量使用Kotlin，并没有碰到什么根本上的大问题，与Java的兼容性也挺好的，有精力的同学可以放心品尝。