1. 安装 Kotlin 1.4
Kotlin 1.4 的第一个里程碑版本发布了，具体发布信息可以在这里查看。文章源自菜鸟学院-https://www.cainiaoxueyuan.com/ymba/18102.html
生产环境当中最好仍然使用 Kotlin 的稳定版本（例如最新的 1.3.71），如果你想要立刻马上体验 1.4 的新特性，那么我的建议是先安装一个 EAP 版本的 IntelliJ IDEA EAP 版本是 IntelliJ IDEA 2020.1 Beta，然后再在这个版本的 IntelliJ 上安装最新版的 Kotlin 插件，这样既可以继续使用 1.3 做项目，又不耽误体验新特性：文章源自菜鸟学院-https://www.cainiaoxueyuan.com/ymba/18102.html
2. 主要的语法更新
接下来我们就按照官方博客给出的介绍 Kotlin 1.4-M1 Released 来体验下新特性。文章源自菜鸟学院-https://www.cainiaoxueyuan.com/ymba/18102.html
本文源码均已整理至 GitHub：Kotlin1.4FeaturesSample。文章源自菜鸟学院-https://www.cainiaoxueyuan.com/ymba/18102.html
2.1 Kotlin 接口和函数的 SAM 转换
一个就是大家期待已久的 Kotlin 接口和函数的 SAM 转换。得益于新的类型推导算法，之前一直只有调用接收 Java 单一方法接口的 Java 的方法时才可以有 SAM 转换，现在这个问题不存在了，且看例子：文章源自菜鸟学院-https://www.cainiaoxueyuan.com/ymba/18102.html
//注意 fun interface 是新特性
fun interface Action {
fun run()
}
// Kotlin 函数，参数为 Kotlin 单一方法接口
fun runAction(a: Action) = a.run()
// Kotlin 函数，参数为 Java 单一方法接口
fun runRunnable(r: Runnable) = r.run()
复制代码在 1.4 以前，我们只能：文章源自菜鸟学院-https://www.cainiaoxueyuan.com/ymba/18102.html
runAction(object: Action{
override fun run() {
println("Not good..")
}
})
复制代码或者文章源自菜鸟学院-https://www.cainiaoxueyuan.com/ymba/18102.html
runAction(Action { println("Not good..") })
复制代码runRunnable 函数虽然接收的是 Java 的接口，同样不支持 SAM。文章源自菜鸟学院-https://www.cainiaoxueyuan.com/ymba/18102.html
现在在 1.4 当中呢？文章源自菜鸟学院-https://www.cainiaoxueyuan.com/ymba/18102.html
runAction { println("Hello, Kotlin 1.4!") }
runRunnable { println("Hello, Kotlin 1.4!") }
复制代码真是妙啊。文章源自菜鸟学院-https://www.cainiaoxueyuan.com/ymba/18102.html
2.2 类型推导支持了更多的场景
类型推导让 Kotlin 的语法获得了极大的简洁性。不过，大家在使用 Kotlin 开发时，一定会发现有些情况下明明类型是很确定的，编译器却一定要让我们显式的声明出来，这其实就是类型推导算法没有覆盖到的场景了。文章源自菜鸟学院-https://www.cainiaoxueyuan.com/ymba/18102.html
例如以下代码在 Kotlin 1.3 当中会提示类型不匹配的问题：文章源自菜鸟学院-https://www.cainiaoxueyuan.com/ymba/18102.html
val rulesMap: Map<String, (String?) -> Boolean> = mapOf(
"weak" to { it != null },
"medium" to { !it.isNullOrBlank() },
"strong" to { it != null && "^[a-zA-Z0-9]+$".toRegex().matches(it) }
)
复制代码2.3 Lambda 表达式最后一行的智能类型转换
这个比较容易理解，直接看例子：文章源自菜鸟学院-https://www.cainiaoxueyuan.com/ymba/18102.html
val result = run {
var str = currentValue()
if (str == null) {
str = "test"
}
str // the Kotlin compiler knows that str is not null here
}
// The type of 'result' is String? in Kotlin 1.3 and String in Kotlin 1.4```
复制代码这里 result 作为 run 的返回值，实际上也是 run 的参数 Lambda 的返回值，因此它的类型需要通过 str 的类型来推断。文章源自菜鸟学院-https://www.cainiaoxueyuan.com/ymba/18102.html
在 1.3 当中，str 的类型是可以推断成 String 的，因为 str 是个局部变量，对它的修改是可控的。问题在于虽然 str 被推断为 String 类型，Lambda 表达式的返回值类型却没有使用推断的类型 String 来判断，而是选择使用了 str 的声明类型 String?。文章源自菜鸟学院-https://www.cainiaoxueyuan.com/ymba/18102.html
在 1.4 解决了这个问题，既然 str 可以被推断为 String，那么 Lambda 表达式的结果自然就是 String 了。文章源自菜鸟学院-https://www.cainiaoxueyuan.com/ymba/18102.html
稍微提一下，IntelliJ 的类型提示貌似有 bug，有些情况下会出现不一致的情况：文章源自菜鸟学院-https://www.cainiaoxueyuan.com/ymba/18102.html
当然，有些开发者经常会抱怨类似下面的这种情况：文章源自菜鸟学院-https://www.cainiaoxueyuan.com/ymba/18102.html
var x: String? = null
fun main() {
x = "Hello"
if(x != null){
println(x.length)
}
}
复制代码我明明已经判断了 x 不为空，为什么却不能自动推导成 String？请一定要注意，这种情况不是类型推导算法的问题，而是 x 的类型确实无法推导，因为对于一个共享的可变变量来讲，任何前一秒的判断都无法作为后一秒的依据。文章源自菜鸟学院-https://www.cainiaoxueyuan.com/ymba/18102.html
2.4 带有默认参数的函数的类型支持
如果一个函数有默认参数，我们在调用它的时候就可以不传入这个参数了，例如：文章源自菜鸟学院-https://www.cainiaoxueyuan.com/ymba/18102.html
fun foo(i: Int = 0): String = "$i!"
复制代码调用的时候既可以是 foo() 也可以是 foo(5)，看上去就如同两个函数一样。在 1.4 以前，如果我们想要获取它的引用，就只能获取到 (Int) -> String 这样的类型，显得不是很方便，现在这个问题解决了：文章源自菜鸟学院-https://www.cainiaoxueyuan.com/ymba/18102.html
fun apply1(func: () -> String): String = func()
fun apply2(func: (Int) -> String): String = func(42)
fun main() {
println(apply1(::foo))
println(apply2(::foo))
}
复制代码不过请注意，通常情况下 ::foo 的类型始终为 (Int) -> String，除了作为参数传递给接收 () -> String 的情况下编译器会自动帮忙转换以外，其他情况下是不可以的。文章源自菜鸟学院-https://www.cainiaoxueyuan.com/ymba/18102.html
2.5 属性代理的类型推导
在推断代理表达式的类型时，以往不会考虑属性代理的类型，因此我们经常需要在代理表达式中显式的声明泛型参数，下面的例子就是这样：文章源自菜鸟学院-https://www.cainiaoxueyuan.com/ymba/18102.html
import kotlin.properties.Delegates
fun main() {
var prop: String? by Delegates.observable(null) { p, old, new ->
println("$old → $new")
}
prop = "abc"
prop = "xyz"
}
复制代码这个例子在 1.4 中可以运行，但如果是在 1.3 当中，就需要明确泛型类型：文章源自菜鸟学院-https://www.cainiaoxueyuan.com/ymba/18102.html
var prop: String? by Delegates.observable<String?>(null) { p, old, new ->
println("$old → $new")
}
复制代码2.6 混合位置参数和具名参数
位置参数就是按位置传入的参数，Java 当中只有位置参数，是大家最熟悉的写法。Kotlin 支持了具名参数，那么入参时二者混合使用会怎样呢？文章源自菜鸟学院-https://www.cainiaoxueyuan.com/ymba/18102.html
其实这个特性并不会对入参有很大的影响。首先位置参数的位置仍然必须是对应的，其次具名参数的位置也不能乱来。例如我们为例子中的 a 添加一个默认值：文章源自菜鸟学院-https://www.cainiaoxueyuan.com/ymba/18102.html
因此，我个人的建议是对于参数比较多且容易混淆的情形最好都以具名参数的形式给出，对于参数个数较少的情形则可以全部采用位置参数。在这里还有另外的一个建议就是函数的参数不宜过多，参数越多意味着函数复杂度越高，越可能需要重构。文章源自菜鸟学院-https://www.cainiaoxueyuan.com/ymba/18102.html
2.7 优化属性代理的编译
如果大家自己写过属性代理类的话，一定知道 get 和 set 两个函数都有一个 KProperty 的参数，这个参数其实就是被代理的属性。为了获取这个参数，编译器会生成一个数组来存放这代理的属性，例如：文章源自菜鸟学院-https://www.cainiaoxueyuan.com/ymba/18102.html
class MyOtherClass {
val lazyProp by lazy { 42 }
}
复制代码编译后生成的字节码反编译之后：文章源自菜鸟学院-https://www.cainiaoxueyuan.com/ymba/18102.html
public final class com.bennyhuo.kotlin.MyOtherClass {
static final kotlin.reflect.KProperty[] $$delegatedProperties;
static {};
public final int getLazyProp();
public com.bennyhuo.kotlin.MyOtherClass();
}
复制代码其中 $$delegatedProperties 这个数组就是我们所说的存被代理的属性的数组。不过，绝大多数的属性代理其实不会用到 KProperty 对象，因此无差别的生成这个数组其实存在一定的浪费。文章源自菜鸟学院-https://www.cainiaoxueyuan.com/ymba/18102.html
因此对于属性代理类的 get 和 set 函数实现为内联函数的情形，编译器可以确切的分析出 KProperty 是否被用到，如果没有被用到，那么就不会生成这个 KProperty 对象。文章源自菜鸟学院-https://www.cainiaoxueyuan.com/ymba/18102.html
这里还有一个细节，如果一个类当中同时存在用到和没用到 KProperty 对象的两类属性代理，那么生成的数组在 1.4 当中只包含用到的 KProperty 对象，例如：文章源自菜鸟学院-https://www.cainiaoxueyuan.com/ymba/18102.html
class MyOtherClass {
val lazyProp by lazy { 42 }
var myProp: String by Delegates.observable("<no name>") {
kProperty, oldValue, newValue ->
println("${kProperty.name}: $oldValue -> $newValue")
}
}
复制代码其中 myProp 用到了 KProperty 对象，lazyProp 没有用到，那么生成的 $$delegatedProperties 当中就只包含 myProp 的属性引用了。文章源自菜鸟学院-https://www.cainiaoxueyuan.com/ymba/18102.html
2.8 参数列表最后的逗号
这个需求别看小，非常有用。我们来看一个例子：文章源自菜鸟学院-https://www.cainiaoxueyuan.com/ymba/18102.html
data class Person(val name: String, val age: Int)
fun main() {
val person = Person(
"bennyhuo",
30
)
}
复制代码Person 类有多个参数，传参的时候就会出现前面的参数后面都有个逗号，最后一个没有。这样看上去好像也没什么问题是吧？那有可能你没有用到过多行编辑：文章源自菜鸟学院-https://www.cainiaoxueyuan.com/ymba/18102.html
说起来，JavaScript 当中的对象字面量当中也允许最后一个字段后面加逗号：文章源自菜鸟学院-https://www.cainiaoxueyuan.com/ymba/18102.html
2.9 when 表达式中使用 continue 和 break
continue 和 break 的含义没有任何变化，这二者仍然在循环当中使用，只不过循环内部的 when 表达式当中在之前是不可以使用 continue 和 break 的，按照官方的说法，他们之前有意将 continue 或者 break 用作 when 表达式条件 fallthrough 的，不过看样子现在还没想好，只是不想再耽误 continue 和 break 的正常功能了。文章源自菜鸟学院-https://www.cainiaoxueyuan.com/ymba/18102.html
2.10 尾递归函数的优化
尾递归函数估计大家用的不多，这里主要有两个优化点文章源自菜鸟学院-https://www.cainiaoxueyuan.com/ymba/18102.html
- 尾递归函数的默认参数的初始化顺序改为从左向右：
- 尾递归函数不能声明为 open 的，即不能被子类覆写，因为尾递归函数的形式有明确的要求，即函数的最后一个操作必须只能是调用自己，父类的函数声明为 tailrec 并不能保证子类能够正确地按要求覆写，于是产生矛盾。
2.11 契约的支持
从 1.3 开始，Kotlin 引入了一个实验特性契约（Contract），主要来应对一些“显而易见”情况下的类型推导或者智能类型转换。文章源自菜鸟学院-https://www.cainiaoxueyuan.com/ymba/18102.html
在 1.4 当中，这个特性仍然会继续保持实验状态，不过有两项改进：文章源自菜鸟学院-https://www.cainiaoxueyuan.com/ymba/18102.html
- 支持使用内联特化的函数来实现契约
- 1.3当中不能为成员函数添加契约，从1.4开始支持为 final 的成员函数添加契约（当然任意成员函数可能存在被覆写的问题，因而不能添加）
2.12 其他的一些改动
除了语法上的明显的改动之外，1.4 当中也直接移除了 1.1-1.2 当中协程的实验阶段的 API，有条件的情况下应该尽快去除对废弃的协程 API 的使用，如果暂时无法完成迁移，也可以使用协程的兼容包 kotlin-coroutines-experimental-compat.jar。文章源自菜鸟学院-https://www.cainiaoxueyuan.com/ymba/18102.html
剩下的主要就是针对编译器、使用体验的各种优化了，实际上这才是 Kotlin 1.4 最重要的工作。这些内容相对抽象，我就不做介绍了。文章源自菜鸟学院-https://www.cainiaoxueyuan.com/ymba/18102.html
补充一点，在本文撰写过程中，我使用 IntelliJ IDEA 2019.3.3 来运行 Kotlin 1.3，使用 IntelliJ IDEA 2020.1 BETA 来运行 Kotlin 1.4-M1，结果发现后者的代码提示速度似乎有明显的提升，不知道是不是我的错觉，大家可以自行感受下并发表你的评论。文章源自菜鸟学院-https://www.cainiaoxueyuan.com/ymba/18102.html
3. 小结
Kotlin 目前的语法已经比较成熟了，还是那句话，提升开发体验，扩展应用场景才是它现在最应该发力的点。文章源自菜鸟学院-https://www.cainiaoxueyuan.com/ymba/18102.html
未来可期。文章源自菜鸟学院-https://www.cainiaoxueyuan.com/ymba/18102.html
作者：Kotlin中文社区
链接：https://juejin.im/post/5e8497cce51d454701256040
来源：掘金
著作权归作者所有。商业转载请联系作者获得授权，非商业转载请注明出处。文章源自菜鸟学院-https://www.cainiaoxueyuan.com/ymba/18102.html