Kotlin 代数/枚举/密封类

Posted 2022-04-04 安果移不动

代数数据类型

可以用来标识一组类型得闭集，枚举类型就是一种简单得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())