Kotlin 1.5.0 有哪些新功能
Kotlin 1.5.0 引入了新的語言功能、穩定的基於 IR 的 JVM 編譯器後端、效能改進, 以及諸如穩定實驗性功能和棄用過時功能等演進性變更。
您也可以在 發行部落格文章 中找到變更的概覽。
語言功能
Kotlin 1.5.0 帶來了在 1.4.30 中預覽 的新語言功能的穩定版本:
這些功能的詳細描述可在 這篇部落格文章 和 Kotlin 文件中對應的頁面中找到。
JVM 紀錄支援
Java 發展迅速,為確保 Kotlin 能與之互通,我們引入了對其最新功能之一的支援 – 紀錄類別。
Kotlin 對 JVM 紀錄的支援包括雙向互通性:
- 在 Kotlin 程式碼中,您可以像使用具有屬性的典型類別一樣使用 Java 紀錄類別。
- 要在 Java 程式碼中將 Kotlin 類別用作紀錄,請將其設為
data
類別並使用@JvmRecord
註解標記它。
@JvmRecord
data class User(val name: String, val age: Int)
密封介面
Kotlin 介面現在可以使用 sealed
修飾符,其作用於介面與作用於類別的方式相同:密封介面的所有 實作在編譯時都是已知的。
sealed interface Polygon
您可以依賴這個事實,例如,撰寫詳盡的 when
表達式。
fun draw(polygon: Polygon) = when (polygon) {
is Rectangle -> // ...
is Triangle -> // ...
// else is not needed - all possible implementations are covered
}
此外,密封介面支援更靈活的受限制類別層次結構,因為一個類別可以直接繼承多個密封介面。
class FilledRectangle: Polygon, Fillable
封裝單元級別的密封類別層次結構
密封類別現在可以在同一編譯單元和同一封裝中的所有檔案中擁有子類別。 以前,所有子類別都必須出現在同一個檔案中。
直接子類別可以是頂層的,也可以巢狀在任意數量的其他具名類別、具名介面或具名物件中。
密封類別的子類別必須具有適當限定的名稱 – 它們不能是區域或匿名物件。
行內類別
行內類別是 基於值的 類別的子集, 它們只持有值。您可以將它們用作某種類型值的包裝器,而不會產生 記憶體分配帶來的額外開銷。
行內類別可以使用在類別名稱前的 value
修飾符來宣告:
value class Password(val s: String)
JVM 後端也需要特殊的 @JvmInline
註解:
@JvmInline
value class Password(val s: String)
inline
修飾符現在已棄用並帶有警告。
Kotlin/JVM
Kotlin/JVM 獲得了許多改進,包括內部和面向用戶的。以下是其中最值得注意的:
- 穩定的 JVM IR 後端
- 新的預設 JVM 目標:1.8
- 透過 invokedynamic 的 SAM 配接器
- 透過 invokedynamic 的 Lambda 表達式
- 棄用 @JvmDefault 和舊版 Xjvm-default 模式
- 處理可空性註解的改進
穩定的 JVM IR 後端
Kotlin/JVM 編譯器的 基於 IR 的後端 現在已 穩定 並預設啟用。
從 Kotlin 1.4.0 開始,基於 IR 的後端的早期版本可供預覽,現在它已成為語言版本 1.5
的預設值。 對於較早的語言版本,舊後端仍預設使用。
您可以在 這篇部落格文章 中找到有關 IR 後端優勢及其未來發展的更多詳細資訊。
如果您需要在 Kotlin 1.5.0 中使用舊後端,您可以將以下幾行新增到專案的配置檔中:
- 在 Gradle 中:
tasks.withType<org.jetbrains.kotlin.gradle.dsl.KotlinJvmCompile> {
kotlinOptions.useOldBackend = true
}
tasks.withType(org.jetbrains.kotlin.gradle.dsl.KotlinJvmCompile) {
kotlinOptions.useOldBackend = true
}
- 在 Maven 中:
<configuration>
<args>
<arg>-Xuse-old-backend</arg>
</args>
</configuration>
新的預設 JVM 目標:1.8
Kotlin/JVM 編譯的預設目標版本現在是 1.8
。1.6
目標已棄用。
如果您需要為 JVM 1.6 建置,您仍然可以切換到此目標。了解如何操作:
透過 invokedynamic 的 SAM 配接器
Kotlin 1.5.0 現在使用動態呼叫 (invokedynamic
) 來編譯 SAM (單一抽象方法) 轉換:
- 當 SAM 類型為 Java 介面 時,針對任何表達式
- 當 SAM 類型為 Kotlin 函數式介面 時,針對 lambda 表達式
新實作使用 LambdaMetafactory.metafactory()
, 且在編譯期間不再生成輔助包裝類別。這減少了應用程式 JAR 的大小, 從而提高了 JVM 啟動效能。
要回滾到基於匿名類別生成的舊實作方案,請新增編譯器選項 -Xsam-conversions=class
。
了解如何在 Gradle、Maven 和 命令列編譯器 中新增編譯器選項。
透過 invokedynamic 的 Lambda 表達式
將純 Kotlin lambda 編譯為 invokedynamic 是 實驗性 功能。它可能隨時被移除或更改。 需要選擇啟用(詳情如下),您應僅用於評估目的。我們非常感謝您在 YouTrack 中提供回饋。
Kotlin 1.5.0 引入了將純 Kotlin lambda (未轉換為函數式介面實例的 lambda) 編譯為動態呼叫 (invokedynamic
) 的實驗性支援。該實作透過使用 LambdaMetafactory.metafactory()
來產生更輕量的二進位檔, 它有效地在執行期生成必要的類別。目前,與普通 lambda 編譯相比,它有三個限制:
- 編譯為 invokedynamic 的 lambda 不可序列化。
- 對此類 lambda 呼叫
toString()
會產生可讀性較差的字串表示。 - 實驗性
reflect
API 不支援使用LambdaMetafactory
建立的 lambda。
要試用此功能,請新增 -Xlambdas=indy
編譯器選項。如果您能使用 這個 YouTrack 票證 分享您的回饋,我們將不勝感激。
了解如何在 Gradle、Maven 和 命令列編譯器 中新增編譯器選項。
棄用 @JvmDefault 和舊版 Xjvm-default 模式
在 Kotlin 1.4.0 之前,有 @JvmDefault
註解以及 -Xjvm-default=enable
和 -Xjvm-default=compatibility
模式。它們用於為 Kotlin 介面中的任何特定非抽象成員建立 JVM 預設方法。
在 Kotlin 1.4.0 中,我們 引入了新的 Xjvm-default
模式, 它們為整個專案啟用預設方法生成。
在 Kotlin 1.5.0 中,我們正在棄用 @JvmDefault
和舊版 Xjvm-default 模式:-Xjvm-default=enable
和 -Xjvm-default=compatibility
。
處理可空性註解的改進
Kotlin 支援透過 可空性註解 處理來自 Java 的類型可空性資訊。 Kotlin 1.5.0 為此功能引入了多項改進:
- 它讀取在用作依賴項的已編譯 Java 函式庫中的類型引數上的可空性註解。
- 它支援帶有
TYPE_USE
目標的可空性註解,適用於:- 陣列
- 變長引數
- 欄位
- 類型參數及其邊界
- 基底類別和介面的類型引數
- 如果可空性註解有多個適用於某個類型的目標,且其中一個目標是
TYPE_USE
,則優先選擇TYPE_USE
。 例如,方法簽名@Nullable String[] f()
變為fun f(): Array<String?>!
,如果@Nullable
同時支援TYPE_USE
和METHOD
作為目標。
對於這些新支援的案例,從 Kotlin 呼叫 Java 時使用錯誤的類型可空性會產生警告。 使用 -Xtype-enhancement-improvements-strict-mode
編譯器選項為這些案例啟用嚴格模式(帶錯誤報告)。
Kotlin/Native
Kotlin/Native 現在效能更好且更穩定。值得注意的變更包括:
效能改進
在 1.5.0 中,Kotlin/Native 獲得了一系列效能改進,加速了編譯和執行。
編譯器快取 現在在 linuxX64
(僅限 Linux 主機)和 iosArm64
目標的除錯模式中受支援。啟用編譯器快取後,除了首次編譯外, 大多數除錯編譯都完成得更快。測量顯示,在我們的測試專案中速度提高了約 200%。
要為新目標使用編譯器快取,請選擇啟用,將以下幾行新增到專案的 gradle.properties
中:
- 對於
linuxX64
:kotlin.native.cacheKind.linuxX64=static
- 對於
iosArm64
:kotlin.native.cacheKind.iosArm64=static
如果您在啟用編譯器快取後遇到任何問題,請向我們的問題追蹤器 YouTrack 回報。
其他改進加速了 Kotlin/Native 程式碼的執行:
- 簡單的屬性存取器被內聯。
- 字串文字上的
trimIndent()
在編譯期間被求值。
記憶體洩漏檢查器停用
內建的 Kotlin/Native 記憶體洩漏檢查器已預設停用。
它最初是為內部使用而設計,只能在有限的案例中找到洩漏,而不是所有案例。 此外,後來發現它存在可能導致應用程式崩潰的問題。因此,我們決定關閉記憶體洩漏檢查器。
記憶體洩漏檢查器在某些情況下仍然有用,例如單元測試。對於這些情況,您可以透過新增以下程式碼行來啟用它:
Platform.isMemoryLeakCheckerActive = true
請注意,不建議在應用程式執行期啟用檢查器。
Kotlin/JS
Kotlin/JS 在 1.5.0 中獲得了演進性變更。我們正在繼續努力將 JS IR 編譯器後端 推向穩定並發布其他更新:
升級到 webpack 5
Kotlin/JS Gradle 外掛現在對瀏覽器目標使用 webpack 5 而不是 webpack 4。這是一個主要的 webpack 升級, 它帶來了不相容的變更。如果您使用自訂 webpack 配置,請務必查看 webpack 5 發行說明。
進一步了解如何使用 webpack 綑綁 Kotlin/JS 專案。
適用於 IR 編譯器的框架和函式庫
Kotlin/JS IR 編譯器處於 Alpha 階段。它未來可能會發生不相容的變更並需要手動遷移。 我們非常感謝您在 YouTrack 中提供回饋。
在開發基於 IR 的 Kotlin/JS 編譯器後端的同時,我們鼓勵並幫助函式庫作者以 both
模式建置其專案。 這意味著他們能夠為兩個 Kotlin/JS 編譯器產生構件,從而為新編譯器擴展生態系統。
許多知名框架和函式庫已經適用於 IR 後端:KVision、fritz2、 doodle 等等。如果您在專案中使用它們,您已經可以使用 IR 後端建置專案並查看其帶來的優勢。
如果您正在撰寫自己的函式庫,請 以 'both' 模式編譯, 以便您的客戶也可以使用新編譯器。
Kotlin Multiplatform
在 Kotlin 1.5.0 中,為每個平台選擇測試依賴項已簡化, 現在由 Gradle 外掛自動完成。
標準函式庫
標準函式庫獲得了一系列變更和改進,從穩定實驗性部分到新增功能:
- 穩定無符號整數類型
- 穩定與語言環境無關的文字大小寫轉換 API
- 穩定字元到整數轉換 API
- 穩定路徑 API
- 向下取整除法和取模運算子
- Duration API 變更
- 取得字元類別的新 API 現已在多平台程式碼中可用
- 新的集合函數 firstNotNullOf()
- String?.toBoolean() 的嚴格版本
您可以在 這篇部落格文章 中找到有關標準函式庫變更的更多詳細資訊。
穩定無符號整數類型
UInt
、ULong
、UByte
、UShort
無符號整數類型現在已 穩定。 這些類型上的操作、範圍和進程也是如此。無符號陣列及其操作仍處於 Beta 階段。
穩定與語言環境無關的文字大小寫轉換 API
此版本帶來了新的與語言環境無關的文字大小寫轉換 API。它提供了 toLowerCase()
、toUpperCase()
、capitalize()
和 decapitalize()
API 函數的替代方案, 這些函數是語言環境敏感的。新 API 可幫助您避免因不同的語言環境設定而導致的錯誤。
Kotlin 1.5.0 提供以下完全 穩定 的替代方案:
對於
String
函數:舊版本 1.5.0 替代方案 String.toUpperCase()
String.uppercase()
String.toLowerCase()
String.lowercase()
String.capitalize()
String.replaceFirstChar { it.uppercase() }
String.decapitalize()
String.replaceFirstChar { it.lowercase() }
對於
Char
函數:舊版本 1.5.0 替代方案 Char.toUpperCase()
Char.uppercaseChar(): Char
Char.uppercase(): String
Char.toLowerCase()
Char.lowercaseChar(): Char
Char.lowercase(): String
Char.toTitleCase()
Char.titlecaseChar(): Char
Char.titlecase(): String
對於 Kotlin/JVM,還有帶有明確
Locale
參數的多載uppercase()
、lowercase()
和titlecase()
函數。
舊 API 函數被標記為棄用,並將在未來版本中移除。
有關文字處理函數的所有變更列表,請參閱 KEEP。
穩定字元到整數轉換 API
從 Kotlin 1.5.0 開始,新的字元到程式碼和字元到數字轉換函數已 穩定。 這些函數取代了目前的 API 函數,後者經常與類似的字串到 Int 轉換混淆。
新 API 消除了這種命名混淆,使程式碼行為更加透明和明確。
此版本引入了 Char
轉換,這些轉換分為以下幾組命名清晰的函數:
- 獲取
Char
的整數程式碼並從給定程式碼構造Char
的函數:
fun Char(code: Int): Char
fun Char(code: UShort): Char
val Char.code: Int
- 將
Char
轉換為它所代表數字的數值函數:
fun Char.digitToInt(radix: Int): Int
fun Char.digitToIntOrNull(radix: Int): Int?
Int
的擴展函數,用於將它所代表的非負單一數字轉換為相應的Char
表示:
fun Int.digitToChar(radix: Int): Char
舊的轉換 API,包括 Number.toChar()
及其實現(除了 Int.toChar()
之外的所有)以及用於轉換為 數值類型的 Char
擴展,如 Char.toInt()
,現在都已棄用。
穩定路徑 API
帶有 java.nio.file.Path
擴展的 實驗性路徑 API 現在已 穩定。
// 使用除法 (/) 運算子構造路徑
val baseDir = Path("/base")
val subDir = baseDir / "subdirectory"
// 列出目錄中的檔案
val kotlinFiles: List<Path> = Path("/home/user").listDirectoryEntries("*.kt")
向下取整除法和取模運算子
標準函式庫中新增了模數算術運算:
floorDiv()
回傳 向下取整除法 的結果。它適用於整數類型。mod()
回傳向下取整除法的餘數(模數)。它適用於所有數值類型。
這些運算與現有的 整數除法 和 rem() 函數(或 %
運算子)看起來非常相似,但它們在負數上的行為不同:
a.floorDiv(b)
與常規/
的區別在於floorDiv
將結果向下取整(朝向較小的整數), 而/
將結果截斷為更接近 0 的整數。a.mod(b)
是a
與a.floorDiv(b) * b
之間的差值。它要麼是零,要麼與b
符號相同, 而a % b
可以有不同的符號。
fun main() {
println("向下取整除法 -5/3: ${(-5).floorDiv(3)}")
println( "模數: ${(-5).mod(3)}")
println("截斷除法 -5/3: ${-5 / 3}")
println( "餘數: ${-5 % 3}")
}
Duration API 變更
Duration API 是 實驗性 功能。它可能隨時被移除或更改。 僅用於評估目的。我們非常感謝您在 YouTrack 中提供回饋。
有一個實驗性的 Duration 類別,用於表示 不同時間單位中的持續時間量。在 1.5.0 中,Duration API 獲得了以下變更:
- 內部值表示現在使用
Long
而不是Double
以提供更好的精確度。 - 有一個用於轉換為特定時間單位(以
Long
表示)的新 API。它取代了操作Double
值的舊 API,舊 API 現已棄用。例如,Duration.inWholeMinutes
回傳以Long
表示的持續時間值,並取代Duration.inMinutes
。 - 有用於從數字構造
Duration
的新伴隨函數。例如,Duration.seconds(Int)
創建一個表示整數秒數的Duration
物件。舊的擴展屬性如Int.seconds
現已棄用。
import kotlin.time.Duration
import kotlin.time.ExperimentalTime
@ExperimentalTime
fun main() {
val duration = Duration.milliseconds(120000)
println("在 ${duration.inWholeMinutes} 分鐘中有 ${duration.inWholeSeconds} 秒")
}
取得字元類別的新 API 現已在多平台程式碼中可用
Kotlin 1.5.0 引入了新的 API,用於在多平台專案中根據 Unicode 獲取字元的類別。 現在許多函數在所有平台和通用程式碼中都可用。
用於檢查字元是否為字母或數字的函數:
fun main() {
val chars = listOf('a', '1', '+')
val (letterOrDigitList, notLetterOrDigitList) = chars.partition { it.isLetterOrDigit() }
println(letterOrDigitList) // [a, 1]
println(notLetterOrDigitList) // [+]
}
用於檢查字元大小寫的函數:
fun main() {
val chars = listOf('Dž', 'Lj', 'Nj', 'Dz', '1', 'A', 'a', '+')
val (titleCases, notTitleCases) = chars.partition { it.isTitleCase() }
println(titleCases) // [Dž, Lj, Nj, Dz]
println(notTitleCases) // [1, A, a, +]
}
其他一些函數:
Char.category
屬性及其回傳類型 列舉類別 CharCategory
, 它表示根據 Unicode 的字元一般類別,現在也可用於多平台專案。
新的集合函數 firstNotNullOf()
新的 firstNotNullOf()
和 firstNotNullOfOrNull()
函數將 mapNotNull()
與 first()
或 firstOrNull()
結合。 它們使用自訂選擇器函數映射原始集合並回傳第一個非空值。如果沒有此類值, firstNotNullOf()
會拋出例外,而 firstNotNullOfOrNull()
回傳 null。
fun main() {
val data = listOf("Kotlin", "1.5")
println(data.firstNotNullOf(String::toDoubleOrNull))
println(data.firstNotNullOfOrNull(String::toIntOrNull))
}
String?.toBoolean() 的嚴格版本
兩個新函數引入了現有 String?.toBoolean() 的區分大小寫的嚴格版本:
String.toBooleanStrict()
除了文字true
和false
之外,對所有輸入都會拋出例外。String.toBooleanStrictOrNull()
除了文字true
和false
之外,對所有輸入都會回傳 null。
fun main() {
println("true".toBooleanStrict())
println("1".toBooleanStrictOrNull())
// println("1".toBooleanStrict()) // Exception
}
kotlin-test 函式庫
kotlin-test 函式庫引入了一些新功能:
多平台專案中簡化測試依賴項的使用
現在您可以使用 kotlin-test
依賴項在 commonTest
原始碼集合中新增測試依賴項, Gradle 外掛將為每個測試原始碼集合推斷相應的平台依賴項:
kotlin-test-junit
用於 JVM 原始碼集合,請參閱 針對 Kotlin/JVM 原始碼集合自動選擇測試框架kotlin-test-js
用於 Kotlin/JS 原始碼集合kotlin-test-common
和kotlin-test-annotations-common
用於通用原始碼集合- 對於 Kotlin/Native 原始碼集合沒有額外的構件
此外,您可以在任何共享或平台特定原始碼集合中使用 kotlin-test
依賴項。
現有的帶有明確依賴項的 kotlin-test 設定將繼續在 Gradle 和 Maven 中工作。
進一步了解 設定測試函式庫的依賴項。
針對 Kotlin/JVM 原始碼集合自動選擇測試框架
Gradle 外掛現在會自動選擇並新增測試框架的依賴項。您只需在通用原始碼集合中新增 kotlin-test
依賴項即可。
Gradle 預設使用 JUnit 4。因此,kotlin("test")
依賴項解析為 JUnit 4 的變體, 即 kotlin-test-junit
:
kotlin {
sourceSets {
val commonTest by getting {
dependencies {
implementation(kotlin("test")) // 這會傳遞性地帶來
// 對 JUnit 4 的依賴項
}
}
}
}
kotlin {
sourceSets {
commonTest {
dependencies {
implementation kotlin("test") // 這會傳遞性地帶來
// 對 JUnit 4 的依賴項
}
}
}
}
您可以透過在測試任務中呼叫 useJUnitPlatform()
或 useTestNG()
來選擇 JUnit 5 或 TestNG:
tasks {
test {
// 啟用 TestNG 支援
useTestNG()
// 或
// 啟用 JUnit Platform (又稱 JUnit 5) 支援
useJUnitPlatform()
}
}
您可以透過在專案的 gradle.properties
中新增 kotlin.test.infer.jvm.variant=false
行來禁用自動測試框架選擇。
進一步了解 設定測試函式庫的依賴項。
斷言函數更新
此版本帶來了新的斷言函數並改進了現有函數。
kotlin-test
函式庫現在具有以下功能:
檢查值的類型
您可以使用新的
assertIs<T>
和assertIsNot<T>
來檢查值的類型:kotlin@Test fun testFunction() { val s: Any = "test" assertIs<String>(s) // 如果斷言失敗,會拋出 AssertionError 並提及 s 的實際類型 // 由於 assertIs 中的契約,現在可以列印 s.length println("${s.length}") }
由於類型擦除,在此範例中,此斷言函數僅檢查
value
是否為List
類型,而不檢查它是否為特定String
元素類型的列表:assertIs<List<String>>(value)
。比較陣列、序列和任意可迭代容器的內容
有一組新的多載
assertContentEquals()
函數,用於比較不實作 結構等價 的不同集合的內容:kotlin@Test fun test() { val expectedArray = arrayOf(1, 2, 3) val actualArray = Array(3) { it + 1 } assertContentEquals(expectedArray, actualArray) }
assertEquals() 和 assertNotEquals() 針對 Double 和 Float 數值的新多載
assertEquals()
函數有新的多載,可以比較兩個Double
或Float
數值並具有絕對精確度。精確度值指定為函數的第三個參數:kotlin@Test fun test() { val x = sin(PI) // 精確度參數 val tolerance = 0.000001 assertEquals(0.0, x, tolerance) }
檢查集合和元素內容的新函數
您現在可以使用
assertContains()
函數檢查集合或元素是否包含某物。 您可以將其與 Kotlin 集合以及具有contains()
運算子的元素(例如IntRange
、String
等)一起使用:kotlin@Test fun test() { val sampleList = listOf<String>("sample", "sample2") val sampleString = "sample" assertContains(sampleList, sampleString) // 集合中的元素 assertContains(sampleString, "amp") // 字串中的子字串 }
assertTrue()、assertFalse()、expect() 函數現在是行內函數
從現在開始,您可以將這些函數用作行內函數,因此可以在 lambda 表達式內呼叫 暫停函數:
kotlin@Test fun test() = runBlocking<Unit> { val deferred = async { "Kotlin is nice" } assertTrue("Kotlin substring should be present") { deferred.await() .contains("Kotlin") } }
kotlinx 函式庫
隨著 Kotlin 1.5.0 的發布,我們也發布了 kotlinx 函式庫的新版本:
Coroutines 1.5.0-RC
kotlinx.coroutines
1.5.0-RC 帶來的更新包括:
從 Kotlin 1.5.0 開始,實驗性協程 已禁用,並且不再支援 -Xcoroutines=experimental
標誌。
在 變更日誌 和 kotlinx.coroutines
1.5.0 發行部落格文章 中了解更多資訊。
Serialization 1.2.1
kotlinx.serialization
1.2.1 帶來的更新包括:
- JSON 序列化效能改進
- JSON 序列化中支援多個名稱
- 從
@Serializable
類別生成實驗性 .proto 模式 - 以及更多
在 變更日誌 和 kotlinx.serialization
1.2.1 發行部落格文章 中了解更多資訊。
dateTime 0.2.0
kotlinx-datetime
0.2.0 帶來的更新包括:
@Serializable
日期時間物件DateTimePeriod
和DatePeriod
的標準化 API- 以及更多
在 變更日誌 和 kotlinx-datetime
0.2.0 發行部落格文章 中了解更多資訊。
遷移到 Kotlin 1.5.0
一旦 Kotlin 外掛 1.5.0 可用,IntelliJ IDEA 和 Android Studio 將建議更新該外掛。
要將現有專案遷移到 Kotlin 1.5.0,只需將 Kotlin 版本更改為 1.5.0
並重新匯入您的 Gradle 或 Maven 專案。 了解如何更新到 Kotlin 1.5.0。
要使用 Kotlin 1.5.0 啟動新專案,請更新 Kotlin 外掛並從 File | New | Project 執行專案精靈。
新的命令列編譯器可在 GitHub 發行頁面 下載。
Kotlin 1.5.0 是一個 功能發行版,因此可能會 帶來與語言不相容的變更。在 Kotlin 1.5 相容性指南 中找到此類變更的詳細列表。