# Kotlin 1.2 的新特性 ## 目錄 [TOC] ## 多平臺項目（實驗性的） 多平臺項目是 Kotlin 1.2 中的一個新的**實驗性的**特性，允許你在支持 Kotlin 的目標平臺——JVM、JavaScript 以及（將來的）Native 之間重用代碼。在多平臺項目中，你有三種模塊： * 一個*公共*模塊包含平臺無關代碼，以及無實現的依賴平臺的 API 聲明。 * *平臺*模塊包含通用模塊中的平臺相關聲明在指定平臺的實現，以及其他平臺相關代碼。 * 常規模塊面向指定的平臺，既可以是平臺模塊的依賴，也可以依賴平臺模塊。 當你為指定平臺編譯多平臺項目時，既會生成公共代碼也會生成平臺相關代碼。 多平臺項目支持的一個主要特點是可以通過**預期聲明與實際聲明**來表達公共代碼對平臺相關部分的依賴關系。一個預期聲明指定一個 API（類、接口、注解、頂層聲明等）。一個實際聲明要么是該 API 的平臺相關實現，要么是一個引用到在一個外部庫中該 API 的一個既有實現的別名。這是一個示例： 在公共代碼中： ```kotlin // 預期平臺相關 API: expect fun hello(world: String): String fun greet() { // 該預期 API 的用法： val greeting = hello("multi-platform world") println(greeting) } expect class URL(spec: String) { open fun getHost(): String open fun getPath(): String } ``` 在 JVM 平臺代碼中： ```kotlin actual fun hello(world: String): String = "Hello, $world, on the JVM platform!" // 使用既有平臺相關實現： actual typealias URL = java.net.URL ``` 關于構建多平臺項目的詳細信息與步驟，請參見其[文檔](http://www.kotlincn.net/docs/reference/multiplatform.html)。 ## 其他語言特性 ### 注解中的數組字面值 自 Kotlin 1.2 起，注解的數組參數可以通過新的數組字面值語法傳入，而無需使用 `arrayOf` 函數： ```kotlin @CacheConfig(cacheNames = ["books", "default"]) public class BookRepositoryImpl { // …… } ``` 該數組字面值語法僅限于注解參數。 ### lateinit 頂層屬性與局部變量 `lateinit` 修飾符現在可以用于頂層屬性與局部變量了。例如，后者可用于當一個 lambda 表達式作為構造函數參數傳給一個對象時，引用另一個必須稍后定義的對象： ```kotlin class Node<T>(val value: T, val next: () -> Node<T>) fun main(args: Array<String>) { // 三個節點的環： lateinit var third: Node<Int> val second = Node(2, next = { third }) val first = Node(1, next = { second }) third = Node(3, next = { first }) val nodes = generateSequence(first) { it.next() } println("Values in the cycle: ${nodes.take(7).joinToString { it.value.toString() }}, ...") } ``` ### 檢測 lateinit 變量是否已初始化 現在可以通過屬性引用的 `isInitialized` 來檢測該 lateinit var 是否已初始化： ```kotlin class Foo { lateinit var lateinitVar: String fun initializationLogic() { //sampleStart println("isInitialized before assignment: " + this::lateinitVar.isInitialized) lateinitVar = "value" println("isInitialized after assignment: " + this::lateinitVar.isInitialized) //sampleEnd } } fun main(args: Array<String>) { Foo().initializationLogic() } ``` ### 內聯函數帶有默認函數式參數 內聯函數現在允許其內聯函式數參數具有默認值： ```kotlin //sampleStart inline fun <E> Iterable<E>.strings(transform: (E) -> String = { it.toString() }) = map { transform(it) } val defaultStrings = listOf(1, 2, 3).strings() val customStrings = listOf(1, 2, 3).strings { "($it)" } //sampleEnd fun main(args: Array<String>) { println("defaultStrings = $defaultStrings") println("customStrings = $customStrings") } ``` ### 源自顯式類型轉換的信息會用于類型推斷 Kotlin 編譯器現在可將類型轉換信息用于類型推斷。如果你調用一個返回類型參數 `T` 的泛型方法并將返回值轉換為指定類型 `Foo`，那么編譯器現在知道對于本次調用需要綁定類型為 `Foo`。 這對于 Android 開發者來說尤為重要，因為編譯器現在可以正確分析Android API 級別 26中的泛型 `findViewById` 調用： ```kotlin val button = findViewById(R.id.button) as Button ``` ### 智能類型轉換改進 當一個變量有安全調用表達式與空檢測賦值時，其智能轉換現在也可以應用于安全調用接收者： ```kotlin fun countFirst(s: Any): Int { //sampleStart val firstChar = (s as? CharSequence)?.firstOrNull() if (firstChar != null) return s.count { it == firstChar } // s: Any 會智能轉換為 CharSequence val firstItem = (s as? Iterable<*>)?.firstOrNull() if (firstItem != null) return s.count { it == firstItem } // s: Any 會智能轉換為 Iterable<*> //sampleEnd return -1 } fun main(args: Array<String>) { val string = "abacaba" val countInString = countFirst(string) println("called on \"$string\": $countInString") val list = listOf(1, 2, 3, 1, 2) val countInList = countFirst(list) println("called on $list: $countInList") } ``` 智能轉換現在也允許用于在 lambda 表達式中局部變量，只要這些局部變量僅在 lambda 表達式之前修改即可： ```kotlin fun main(args: Array<String>) { //sampleStart val flag = args.size == 0 var x: String? = null if (flag) x = "Yahoo!" run { if (x != null) { println(x.length) // x 會智能轉換為 String } } //sampleEnd } ``` ### 支持 ::foo 作為 this::foo 的簡寫 現在寫綁定到 `this` 成員的可調用引用可以無需顯式接收者，即 `::foo` 取代`this::foo`。這也使在引用外部接收者的成員的 lambda 表達式中使用可調用引用更加方便。 ### 破壞性變更：try 塊后可靠智能轉換 Kotlin 以前將 `try` 塊中的賦值語句用于塊后的智能轉換，這可能會破壞類型安全與空安全并引發運行時故障。這個版本修復了該問題，使智能轉換更加嚴格，但可能會破壞一些依靠這種智能轉換的代碼。 如果要切換到舊版智能轉換行為，請傳入回退標志 `-Xlegacy-smart-cast-after-try` 作為編譯器參數。該參數會在 Kotlin 1.3中棄用。 ### 棄用：數據類棄用 copy 當從已具有簽名相同的 `copy` 函數的類型派生數據類時，為數據類生成的 `copy`實現使用超類型的默認值，這導致反直覺行為，或者導致運行時失敗，如果超類型中沒有默認參數的話。 導致 `copy` 沖突的繼承在 Kotlin 1.2 中已棄用并帶有警告，而在 Kotlin 1.3中將會是錯誤。 ### 棄用：枚舉條目中的嵌套類型 由于初始化邏輯的問題，已棄用在枚舉條目內部定義一個非 `inner class`的嵌套類。這在 Kotlin 1.2 中會引起警告，而在 Kotlin 1.3中會成為錯誤。 ### 棄用：vararg 單個命名參數 為了與注解中的數組字面值保持一致，向一個命名參數形式的 vararg 參數傳入單個項目的用法（`foo(items = i)`）已被棄用。請使用伸展操作符連同相應的數組工廠函數： ```kotlin foo(items = *intArrayOf(1)) ``` 在這種情況下有一項防止性能下降的優化可以消除冗余的數組創建。單參數形式在 Kotlin 1.2 中會產生警告，而在 Kotlin 1.3中會放棄。 ### 棄用：擴展 Throwable 的泛型類的內部類 繼承自 `Throwable` 的泛型類的內部類可能會在 throw-catch 場景中違反類型安全性，因此已棄用，在 Kotlin 1.2 中會是警告，而在 Kotlin 1.3中會是錯誤。 ### 棄用：修改只讀屬性的幕后字段 通過在自定義 getter 中賦值 `field = ……` 來修改只讀屬性的幕后字段的用法已被棄用，在 Kotlin 1.2 中會是警告，而在 Kotlin 1.3中會是錯誤。 ## 標準庫 ### Kotlin 標準庫構件與拆分包 Kotlin 標準庫現在完全兼容 Java 9 的模塊系統，它禁止拆分包 （多個 jar 文件聲明的類在同一包中）。為了支持這點，我們引入了新的 `kotlin-stdlib-jdk7` 與 `kotlin-stdlib-jdk8` ，它們取代了舊版的 `kotlin-stdlib-jre7` 與 `kotlin-stdlib-jre8`。 在 Kotlin 看來新的構件中的聲明在相同的包名內，而在Java看來有不同的包名。因此，切換到新的構件無需修改任何源代碼。 確保與新的模塊系統兼容的另一處變更是在 `kotlin-reflect` 庫中刪除了`kotlin.reflect` 包中棄用的聲明。如果你正在使用它們，你需要切換到使用 `kotlin.reflect.full` 包中的聲明，自 Kotlin 1.1 起就支持這個包了。 ### windowed、chunked、zipWithNext 用于 `Iterable<T>`、 `Sequence<T>`與 `CharSequence` 的新的擴展覆蓋了這些應用場景：緩存或批處理（`chunked`）、 滑動窗口與計算滑動均值（`windowed`）以及處理成對的后續條目（`zipWithNext`）： ```kotlin fun main(args: Array<String>) { //sampleStart val items = (1..9).map { it * it } val chunkedIntoLists = items.chunked(4) val points3d = items.chunked(3) { (x, y, z) -> Triple(x, y, z) } val windowed = items.windowed(4) val slidingAverage = items.windowed(4) { it.average() } val pairwiseDifferences = items.zipWithNext { a, b -> b - a } //sampleEnd println("items: $items\n") println("chunked into lists: $chunkedIntoLists") println("3D points: $points3d") println("windowed by 4: $windowed") println("sliding average by 4: $slidingAverage") println("pairwise differences: $pairwiseDifferences") } ``` ### fill、replaceAll、shuffle/shuffled 添加了一些用于操作列表的擴展函數：`MutableList` 的 `fill`、 `replaceAll` 與 `shuffle` ，以及只讀 `List`的 `shuffled`： ```kotlin fun main(args: Array<String>) { //sampleStart val items = (1..5).toMutableList() items.shuffle() println("Shuffled items: $items") items.replaceAll { it * 2 } println("Items doubled: $items") items.fill(5) println("Items filled with 5: $items") //sampleEnd } ``` ### kotlin-stdlib 中的數學運算 為滿足由來已久的需求，Kotlin 1.2 添加了 JVM 與 JS 公用的用于數學運算的 `kotlin.math` API， 包含以下內容： * 常量：`PI` 與 `E`； * 三角函數：`cos`、 `sin`、 `tan` 及其反函數：`acos`、 `asin`、 `atan`、 `atan2`； * 雙曲函數：`cosh`、 `sinh`、 `tanh` 及其反函數：`acosh`、 `asinh`、 `atanh` * 指數函數：`pow`（擴展函數）、 `sqrt`、 `hypot`、 `exp`、 `expm1`； * 對數函數：`log`、 `log2`、 `log10`、 `ln`、 `ln1p`； * 取整: * `ceil`、 `floor`、 `truncate`、 `round`（奇進偶舍）函數； * `roundToInt`、 `roundToLong`（四舍五入）擴展函數； * 符號與絕對值： * `abs` 與 `sign` 函數； * `absoluteValue` 與 `sign` 擴展屬性； * `withSign` 擴展函數； * 兩個數的最值函數：`max` 與 `min`； * 二進制表示： * `ulp` 擴展屬性； * `nextUp`、 `nextDown`、 `nextTowards` 擴展函數； * `toBits`、 `toRawBits`、 `Double.fromBits`（這些在 `kotlin` 包中）。 這些函數同樣也有 `Float` 參數版本（但不包括常量）。 ### 用于 BigInteger 與 BigDecimal 的操作符與轉換 Kotlin 1.2 引入了一些使用 `BigInteger` 與 `BigDecimal` 運算以及由其他數字類型創建它們的函數。具體如下： * `toBigInteger` 用于 `Int` 與 `Long`； * `toBigDecimal` 用于 `Int`、 `Long`、 `Float`、 `Double` 以及 `BigInteger`； * 算術與位運算操作符函數： * 二元操作符 `+`、 `-`、 `*`、 `/`、 `%` 以及中綴函數 `and`、 `or`、 `xor`、 `shl`、 `shr`； * 一元操作符 `-`、 `++`、 `--` 以及函數 `inv`。 ### 浮點數到比特的轉換 添加了用于將 `Double` 及 `Float` 與其比特表示形式相互轉換的函數： * `toBits` 與 `toRawBits` 對于 `Double` 返回 `Long` 而對于 `Float` 返回 `Int`； * `Double.fromBits` 與 `Float.fromBits` 用于有相應比特表示形式創建浮點數。 ### 正則表達式現在可序列化 `kotlin.text.Regex` 類現在已經是 `Serializable` 的了并且可用在可序列化的繼承結構中。 ### 如果可用，Closeable.use 會調用 Throwable.addSuppressed 當在其他異常之后關閉資源期間拋出一個異常，`Closeable.use` 函數會調用 `Throwable.addSuppressed`。 要啟用這個行為，需要依賴項中有 `kotlin-stdlib-jdk7`。 ## JVM 后端 ### 構造函數調用規范化 自 1.0 版起，Kotlin 就已支持帶有復雜控制流的表達式，諸如 try-catch 表達式以及內聯函數。根據 Java 虛擬機規范這樣的代碼是有效的。不幸的是，當這樣的表達式出現在構造函數調用的參數中時，一些字節碼處理工具不能很好地處理這種代碼。 為了緩解這種字節碼處理工具用戶的這一問題，我們添加了一個命令行選項（`-Xnormalize-constructor-calls=模式`），告訴編譯器為這樣的構造過程生成更接近 Java 的字節碼。其中`模式`是下列之一： * `disable`（默認）——以與 Kotlin 1.0 即 1.1 相同的方式生成字節碼； * `enable`——為構造函數調用生成類似 Java 的字節碼。 這可能會改變類加載與初始化的順序； * `preserve-class-initialization`——為構造函數調用生成類似 Java 的字節碼，并確保類初始化順序得到保留。這可能會影響應用程序的整體性能；僅用在多個類之間共享一些復雜狀態并在類初始化時更新的場景中。 “人工”解決辦法是將具有控制流的子表達式的值存儲在變量中，而不是直接在調用參數內對其求值。這與 `-Xnormalize-constructor-calls=enable` 類似。 ### Java 默認方法調用 在 Kotlin 1.2 之前，面向 JVM 1.6 的接口成員覆蓋 Java 默認方法會產生一個關于超類型調用的警告：`Super calls to Java default methods are deprecated in JVM target 1.6. Recompile with '-jvm-target 1.8'`（“面向 JVM 1.6 的 Java 默認方法的超類型調用已棄用，請使用‘-jvm-target 1.8’重新編譯”）。 在 Kotlin 1.2 中，這是一個**錯誤 **，因此這樣的代碼都需要面向 JVM 1.8 編譯。 ### 破壞性變更：平臺類型 x.equals(null) 的一致行為 在映射到 Java 原生類型 （`Int!`、 `Boolean!`、 `Short!`、 `Long!`、 `Float!`、 `Double!`、 `Char!`）的平臺類型上調用 `x.equals(null)`，當 `x` 為 `null` 時錯誤地返回了 `true`。 自 Kotlin 1.2 起，在平臺類型的空值上調用 `x.equals(……)` 都會**拋出 NPE**（但 `x == ...` 不會）。 要返回到 1.2 之前的行為，請將標志 `-Xno-exception-on-explicit-equals-for-boxed-null` 傳給編譯器。 ### 破壞性變更：修正平臺 null 透過內聯擴展接收者逃逸 在平臺類型的空值上調用內聯擴展函數并沒有檢測接收者是否為 null，因而允許 null 逃逸到其他代碼中。Kotlin 1.2 在調用處強制執行這項檢測，如果接收者為空就拋出異常。 要切換到舊版行為，請將回退標志 `-Xno-receiver-assertions` 傳給編譯器。 ## JavaScript 后端 ### 默認啟用 TypedArrays 支持 將 Kotlin 原生數組（如 `IntArray`、 `DoubleArray` 等） 翻譯為 [JavaScript 有類型數組](https://developer.mozilla.org/en-US/docs/Web/JavaScript/Typed_arrays)的 JS 有類型數組支持之前是選擇性加入的功能，現在已默認啟用。 ## 工具 ### 警告作為錯誤 編譯器現在提供一個將所有警告視為錯誤的選項。可在命令行中使用 `-Werror`，或者在 Gradle 中使用以下代碼片段： ```groovy compileKotlin { kotlinOptions.allWarningsAsErrors = true } ```