Kotlin 代数/枚举/密封类

代数数据类型

可以用来标识一组类型得闭集，枚举类型就是一种简单得ADT

enum class LicenseStatus {
    UNQUALIFIED, LEARNING, QUALIFIED;
}

class Driver(var status: LicenseStatus) {
    fun checkLicense(): String {
        return when (status) {
            LicenseStatus.UNQUALIFIED -> "没资格"
            LicenseStatus.LEARNING -> "在学"
            LicenseStatus.QUALIFIED -> "有资格"
        }

    }
}

fun main(){
    println(Driver(LicenseStatus.QUALIFIED).checkLicense())
}

密封类

对于更复杂得ADT,你可以使用Kotlin得密封类，（sealed class）来实现更复杂得定义，密封类可以用来定义一个类似于枚举类得ADT,但你可以更灵活地控制某个子类型。

密封类可以有如果个子类。中间不需要逗号。要成绩密封类，这些子类必须和他定义在同一个文件里

sealed class LicenseStatus2 {
    //每次没有要变化的量 所以用单例可以
    object UnQualified : LicenseStatus2()

    object Learning : LicenseStatus2()

    //驾驶证id会变化。所以使用类合适
    class Qualified(val licenseId: String) : LicenseStatus2()
}

class Driver2(var status: LicenseStatus2) {
    fun checkLicense(): String {
        return when (status) {
            is LicenseStatus2.UnQualified -> "没资格"
            is LicenseStatus2.Learning -> "在学"
            is LicenseStatus2.Qualified -> "有资格，驾驶证编号 ${(this.status as LicenseStatus2.Qualified).licenseId}"
        }

    }
}

fun main() {
    val status = LicenseStatus2.Qualified("1234");
    val driver = Driver2(status)
    println(driver.checkLicense())
}