还是不长的一节,介绍了一个我喜欢的特性,给一个现存的类添加「修饰性」的属性和方法。最早看到这个是 C#,Go 也可以算支持。具体到 Kotlin 上来讲,倒也没啥特别之处,都在意料之中。Nullable receiver 的支持是个小小亮点,extension properties 不支持用值初始化是个小小缺点 —— 虽然可以理解不能为它提供 backing field
,但是 Kotlin 你缺这点语法糖么 ……
然后这一节再次提到了 Companion object,从例子来看,Kotlin 是用这个完全替代了 static method。不是很理解为什么这么设计,当然目前来看,除了稍微罗嗦一点之外,也没啥大的缺点。
这一节是我看到现在最喜欢的特性。简单讲就是一个 tuple,然后每个成员带名字,类似 Java 的 AutoValue 。用起来长这样:
data class User(val name: String, val age: Int)
val zhangSan = User("张三", 45)
val liSi = zhangSan.copy(name = "李四")
val (name, age) = zhangSan
当然我不是很明白为啥 Kotlin 选择了允许 data class 继承自其他类,这个带来了一堆罗嗦的规则。不过瑕不掩瑜,这玩意确实方便。
不是很明白这个特性的用意。看意思是提供一个「严格受限的类继承树」,所有继承自一个 sealed class 的类必须在同一个文件中。但同时又说间接继承自这些派生类的类可以放在任何地方?黑人问号脸 ……
然后文档说法,这个特性主要的优势是 when 表达式不用加 else 字句了,因为编译器知道所有的可能性:
fun eval(expr: Expr): Double = when(expr) {
is Const -> expr.number
is Sum -> eval(expr.e1) + eval(expr.e2)
NotANumber -> Double.NaN
// the `else` clause is not required because we've covered all the cases
}
就这?而且我在别处再定义一个间接继承的类 FuckSum : Sum,这个 when 就直接用 Sum 的逻辑来处理 FuckSum 了对吗?
泛型支持看下来比较失望。简单讲还是在 Java 的协变反协变的框架里面折腾,试图通过继承来解决「把 List<String> 里的内容写入 List<Object> 」的问题。个人觉得这完全是歪路。所以最后的结果不出所料的复杂臃肿,难于理解 —— 当然无论如何不可能比 Java 更糟就是了。
当然 Kotlin 多少还是做了点努力的,比如用 in / out T 来替换 ? extends/super T —— 这个是学 C# 的故技,虽然我个人觉得反而更糟一点 —— 比如在类定义处声明对模板参数类型的用法。但既然归根结底还是在 JVM 的 type erasure 的机制下面,那么 ……
差评。