data class User(val name: String, val age: Int)

//編譯器自動從主構(gòu)造函數(shù)中聲明的所有屬性導(dǎo)出以下成員:
//— equals() / hashCode() 對;
//— toString() 格式是 "User(name=John, age=42)" ; 
//— componentN() 函數(shù) 按聲明順序?qū)?yīng)于所有屬性;
//— copy() 函數(shù)(?下文)。 


//為了確保生成的代碼的一致性以及有意義的行為，數(shù)據(jù)類必須滿足以下要求:
//— 主構(gòu)造函數(shù)需要至少有一個參數(shù);
//— 主構(gòu)造函數(shù)的所有參數(shù)需要標(biāo)記為 val 或 var ;
//— 數(shù)據(jù)類不能是抽象、開放、密封或者內(nèi)部的; — (在1.1之前)數(shù)據(jù)類只能實現(xiàn)接口。


//此外，成員生成遵循關(guān)于成員繼承的這些規(guī)則:
//— 如果在數(shù)據(jù)類體中有顯式實現(xiàn) equals()、hashCode() 或者 toString()，或者這些函數(shù)在
//父類中有 final 實現(xiàn)，那么不會生成這些函數(shù)，而會使用現(xiàn)有函數(shù);
//— 如果超類型具有 open 的 componentN() 函數(shù)并且返回兼容的類型，那么會為數(shù)據(jù)類生成相應(yīng)的
//函數(shù)，并覆蓋超類的實現(xiàn)。如果超類型的這些函數(shù)由于簽名不兼容或者是 final 而導(dǎo)致無法覆蓋，那 么會報錯;
//— 從一個已具 copy(......) 函數(shù)且簽名匹配的類型派生一個數(shù)據(jù)類在 Kotlin 1.2 中已棄用，并且在 Kotlin 1.3 中已禁用。
//— 不允許為 componentN() 以及 copy() 函數(shù)提供顯式實現(xiàn)。 自 1.1 起，數(shù)據(jù)類可以擴(kuò)展其他類(示例請參?密封類)。
//在 JVM 中，如果生成的類需要含有一個無參的構(gòu)造函數(shù)，則所有的屬性必須指定默認(rèn)值。(參?構(gòu)造函 數(shù))。


data class User(val name: String = "", val age: Int = 0)

data class Person(val name: String) {
     var age: Int = 0
}

//在 toString() 、equals() 、hashCode() 以及 copy() 的實現(xiàn)中只會用到 name 屬性
//并且 只有一個 component 函數(shù) component1() 。雖然兩個 Person 對象可以有不同的年齡，但它們會視 為相等

val person1 = Person("John") val person2 = Person("John") person1.age = 10
person2.age = 20

fun copy(name: String = this.name, age: Int = this.age) = User(name, age)

//這讓我們可以寫：
val jack = User(name = "Jack", age = 1) 
val olderJack = jack.copy(age = 2)

val jane = User("Jane", 35)
val (name, age) = jane
println("$name, $age years of age") // 輸出 "Jane, 35 years of age"

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

//上文示例使用了Kotlin1.1的一個額外的新功能:數(shù)據(jù)類擴(kuò)展包括密封類在內(nèi)的其他類的可能性。)

fun eval(expr: Expr): Double = when(expr) { 
        is Const -> expr.number
        is Sum -> eval(expr.e1) + eval(expr.e2) 
        NotANumber ->     Double.NaN
        // 不再需要 `else` 子句，因為我們已經(jīng)覆蓋了所有的情況
 }

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

//一般來說，要創(chuàng)建這樣類的實例，我們需要提供類型參數(shù):
val box: Box<Int> = Box<Int>(1)

//但是如果類型參數(shù)可以推斷出來，例如從構(gòu)造函數(shù)的參數(shù)或者從其他途徑，允許省略類型參數(shù):
val box = Box(1) // 1 具有類型 Int，所以編譯器知道我們說的是 Box<Int>。

//假設(shè)有一個泛型接口 Source<T>，該接口中不存在任何以 T 作為參數(shù)的方法，只是方法返回 T 類型值
// Java
interface Source<T> { 
     T nextT();
}

//那么，在 Source <Object> 類型的變量中存儲 Source <String> 實例的引用是極為安全的? 沒有消費者-方法可以調(diào)用。
//但是 Java 并不知道這一點，并且仍然禁止這樣操作
// Java
void demo(Source<String> strs) {
        Source<Object> objects = strs; // !!!在 Java 中不允許 
        // ......
}