Kotlin密封類

密封類用來表示受限的類繼承結構：當一個值爲有限集中的
類型、而不能有任何其他類型時。在某種意義上，他們是枚舉類的擴展：枚舉類型的值集合
也是受限的，但每個枚舉常量只存在一個實例，而密封類
的一個子類可以有可包含狀態的多個實例。

要聲明一個密封類，需要在類名前面添加 sealed 修飾符。雖然密封類也可以
有子類，但是所有子類都必須在與密封類自身相同的文件中聲明。(在 Kotlin 1.1 之前，
該規則更加嚴格：子類必須嵌套在密封類聲明的內部)。

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 的一個額外的新功能：數據類擴展包括密封類在內的其他類的可能性。
)

請注意，擴展密封類子類的類(間接繼承者)可以放在任何位置，而無需在
同一個文件中。

使用密封類的關鍵好處在於使用 when 表達式 的時候，如果能夠
驗證語句覆蓋了所有情況，就不需要爲該語句再添加一個 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` 子句，因爲我們已經覆蓋了所有的情況
}