Kotlin 官方学习教程之密封类与泛型

密封类

密封类用于表示受限类层次结构，当值可以有一个有限集合的类型，但不能有其他类型。它们在某种意义上是枚举类的扩展：枚举类型的值集合也受到限制，但每个枚举常量仅作为单个实例存在，而密封类的子类可以包含多个可包含的实例州。

要声明一个密封的类，您需要将密封的修饰符放在类的名称之前。密封类可以具有子类，但它们都必须在与密封类本身相同的文件中声明。 （在 vKotlin 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()

（上面的例子使用了Kotlin 1.1的一个额外的新功能：数据类扩展其他类的可能性，包括密封类。）

请注意，扩展封装类（间接继承器）子类的类可以放置在任何位置，而不一定在同一个文件中。

使用密封类的关键好处是在一个 when 表达式中使用它们。如果可以验证该语句涵盖所有情况，则不需要在语句中添加一个 else 子句。

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

泛型

和在 Java 中一样，Kotlin 中的类可以拥有类型参数：

class Box<T>(t: T) {
   
    var value = t
}

一般来说，创建一个这样类的实例，我们需要提供类型参数：