代數(shù)數(shù)據(jù)類型

可以用來標識一組類型得閉集，枚舉類型就是一種簡單得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）來實現(xiàn)更復雜得定義，密封類可以用來定義一個類似于枚舉類得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())
}

?