Kotlin密封类

Kotlin密封类

密封类被用于展示受限的类层次结构。当一个值可以有一个来自一个有限集合中的类型，但不能有任何其他类型。在某种程度上来说，它们是枚举类的扩展，一个枚举类型的值的集合也是受限的。但每一个枚举常量只作为一个单例存在，而密封类的子类可以有多个实例，这些实例都可以包含状态。
定义一个密封类，你只需将sealed修饰符放在类名之前。一个密封类可以有多个子类,但它们必须和密封类定义在同一个文件中。

sealed class Expr
data class Const(val number: Double) : Expr()
data class Sum(val e1: Expr, val e2: Expr) : Expr()
object NotANumber : Expr()

其中Const和Sum可以被继承, NotANumber实际上是一个单例。
（1）sealed class所有的子类必须和sealed class在同一个文件声明. (注意如果是子类的子类(间接继承), 则可以在任何地方.)
（2）sealed class本身是抽象的, 不能被直接实例化, 可以有abstract成员.
（3）密封类的构造函数默认是private的，密封类不允许有非private构造函数。
注意，扩展密封类的子类（间接继承器）的类可以放置在任何地方，不一定在同一个文件中。
sealed class常用在when表达式中，如果所有情形都覆盖到了, 可以省略else。当你在when表达式使用密封类，使用密封类的好处就发挥作用了。但是，只有将when用作表达式时，这才有效，而不是作为一个声明。

fun eval(expr: Expr): Double = when(expr) {
	is Const -> expr.number
	is Sum -> eval(expr.e1) + eval(expr.e2)
	NotANumber -> Double.NaN
	// 不需要else语句，因为我们已涵盖所有情况
}

用when表达式时, 如果有分支没有被覆盖到, 并且没有提供else, 编译会有错误提示的。

完整的例子：

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
}

fun main(args:Array<String>){
	val const = Const(100.0)
        Log.i("RS"," "+eval(const))
}