Kotlin密封類怎樣保證類型安全

Kotlin 密封類（sealed class）是一種限制其子類的類。通過使用密封類，您可以確保在編譯時(shí)僅允許特定的子類擴(kuò)展它，從而提高類型安全性。

以下是密封類如何保證類型安全的幾個(gè)關(guān)鍵點(diǎn)：

1. 明確的子類列表：在密封類定義中，明確列出所有允許的子類。這使得編譯器能夠在編譯時(shí)檢查哪些類可以繼承密封類，從而避免使用未授權(quán)的子類。

sealed class Shape {
    data class Circle(val radius: Double) : Shape()
    data class Rectangle(val width: Double, val height: Double) : Shape()
}

在這個(gè)例子中，Shape 是一個(gè)密封類，它只允許 Circle 和 Rectangle 作為其子類。任何其他類嘗試?yán)^承 Shape 都將導(dǎo)致編譯錯(cuò)誤。

2. 禁止匿名子類：密封類不允許創(chuàng)建匿名子類。這意味著你不能在運(yùn)行時(shí)動(dòng)態(tài)地創(chuàng)建一個(gè)新的子類實(shí)例，而必須使用已定義的子類。這有助于減少運(yùn)行時(shí)的類型錯(cuò)誤。

3. 使用 when 表達(dá)式：當(dāng)使用 when 表達(dá)式處理密封類實(shí)例時(shí)，編譯器會(huì)確保每個(gè)分支都處理一個(gè)有效的子類類型。這有助于避免在 when 表達(dá)式中出現(xiàn)未處理的子類，從而提高代碼的可讀性和健壯性。

fun printShape(shape: Shape) {
    when (shape) {
        is Shape.Circle -> println("Circle with radius ${shape.radius}")
        is Shape.Rectangle -> println("Rectangle with width ${shape.width} and height ${shape.height}")
    }
}

在這個(gè)例子中，printShape 函數(shù)接受一個(gè) Shape 類型的參數(shù)，并使用 when 表達(dá)式處理不同的子類類型。由于 Shape 是密封類，編譯器會(huì)確保 when 表達(dá)式中的所有分支都是有效的。

總之，Kotlin 密封類通過限制其子類的數(shù)量和類型，以及在編譯時(shí)進(jìn)行嚴(yán)格的檢查，有助于確保類型安全。