密封類用來表示受限的類繼承結(jié)構(gòu)：當(dāng)一個(gè)值為有限集中的
類型、而不能有任何其他類型時(shí)。在某種意義上，他們是枚舉類的擴(kuò)展：枚舉類型的值集合
也是受限的，但每個(gè)枚舉常量只存在一個(gè)實(shí)例，而密封類
的一個(gè)子類可以有可包含狀態(tài)的多個(gè)實(shí)例。
要聲明一個(gè)密封類，需要在類名前面添加 sealed 修飾符。雖然密封類也可以
有子類，但是所有子類都必須在與密封類自身相同的文件中聲明。(在 Kotlin 1.1 之前，
該規(guī)則更加嚴(yán)格：子類必須嵌套在密封類聲明的內(nèi)部)。
sealed class Expr
data class Const(val number: Double) : Expr()
data class Sum(val e1: Expr, val e2: Expr) : Expr()
object NotANumber : Expr()
fun eval(expr: Expr): Double = when (expr) {
is Const -> expr.number
is Sum -> eval(expr.e1) + eval(expr.e2)
NotANumber -> Double.NaN
}
(上文示例使用了 Kotlin 1.1 的一個(gè)額外的新功能：數(shù)據(jù)類擴(kuò)展包括密封類在內(nèi)的其他類的可能性。
)
請注意，擴(kuò)展密封類子類的類(間接繼承者)可以放在任何位置，而無需在
同一個(gè)文件中。
使用密封類的關(guān)鍵好處在于使用 when 表達(dá)式 的時(shí)候，如果能夠
驗(yàn)證語句覆蓋了所有情況，就不需要為該語句再添加一個(gè) else 子句了。
fun eval(expr: Expr): Double = when(expr) {
is Expr.Const -> expr.number
is Expr.Sum -> eval(expr.e1) + eval(expr.e2)
Expr.NotANumber -> Double.NaN
// 不再需要 `else` 子句，因?yàn)槲覀円呀?jīng)覆蓋了所有的情況
}
掃碼關(guān)注鍍金池微信號
手機(jī)訂課，優(yōu)惠多多