kotlin类与对象——>数据类、密封类、泛型-创新互联

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

//编译器自动从主构造函数中声明的所有属性导出以下成员:
//— equals() / hashCode() 对;
//— toString() 格式是 "User(name=John, age=42)" ; 
//— componentN() 函数 按声明顺序对应于所有属性;
//— copy() 函数(⻅下文)。 


//为了确保生成的代码的一致性以及有意义的行为，数据类必须满足以下要求:
//— 主构造函数需要至少有一个参数;
//— 主构造函数的所有参数需要标记为 val 或 var ;
//— 数据类不能是抽象、开放、密封或者内部的; — (在1.1之前)数据类只能实现接口。


//此外，成员生成遵循关于成员继承的这些规则:
//— 如果在数据类体中有显式实现 equals()、hashCode() 或者 toString()，或者这些函数在
//父类中有 final 实现，那么不会生成这些函数，而会使用现有函数;
//— 如果超类型具有 open 的 componentN() 函数并且返回兼容的类型，那么会为数据类生成相应的
//函数，并覆盖超类的实现。如果超类型的这些函数由于签名不兼容或者是 final 而导致无法覆盖，那 么会报错;
//— 从一个已具 copy(......) 函数且签名匹配的类型派生一个数据类在 Kotlin 1.2 中已弃用，并且在 Kotlin 1.3 中已禁用。
//— 不允许为 componentN() 以及 copy() 函数提供显式实现。 自 1.1 起，数据类可以扩展其他类(示例请参⻅密封类)。
//在 JVM 中，如果生成的类需要含有一个无参的构造函数，则所有的属性必须指定默认值。(参⻅构造函 数)。

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

2.在类体中声明的属性，对于自动生成的函数，编译器只使用在主构造函数内部定义的属性，如需在生成的实现中排除一个属性，请将其声明在类体中:

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

//在 toString() 、equals() 、hashCode() 以及 copy() 的实现中只会用到 name 属性
//并且 只有一个 component 函数 component1() 。虽然两个 Person 对象可以有不同的年龄，但它们会视 为相等
val person1= Person("John") val person2 = Person("John") person1.age = 10
person2.age= 20

3.复制，在很多情况下，需要复制一个对象改变它的一些属性，其他部分保持不变，copy() 函数就是为 此而生成。对于上文的 User 类，其实现会类似下面这样:

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)

4.数据类和解构声明，为数据类生成的 Component 函数 使它们可在解构声明中使用:

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

5.标准数据类,标准库提供了 Pair 与 Triple 。尽管在很多情况下具名数据类是更好的设计选择，因为它们通过为 属性提供有意义的名称使代码更具可读性

6.密封类,密封类用来表示受限的类继承结构:当一个值为有限几种的类型、而不能有任何其他类型时。在某种意 义上，他们是枚举类的扩展:枚举类型的值集合也是受限的，但每个枚举常量只存在一个实例，而密封 类的一个子类可以有可包含状态的多个实例

6.1 要声明一个密封类，需要在类名前面添加 sealed 修饰符。虽然密封类也可以有子类，但是所有子类都 必须在与密封类自身相同的文件中声明。(在 Kotlin 1.1 之前，该规则更加严格:子类必须嵌套在密封类声明的内部)。

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

//上文示例使用了Kotlin1.1的一个额外的新功能:数据类扩展包括密封类在内的其他类的可能性。)

6.2 一个密封类是自身抽象的，它不能直接实例化并可以有抽象(abstract)成员。密封类不允许有非-private 构造函数(其构造函数默认为 private)。 请注意，扩展密封类子类的类(间接继承者)可以放在任何位置，而无需在同一个文件中。使用密封类的关键好处在于使用 when 表达式 的时候，如果能够验证语句覆盖了所有情况，就不需要为 该语句再添加一个 else 子句了。当然，这只有当你用 when 作为表达式(使用结果)而不是作为语句 时才有用。

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

7.泛型，与 Java 类似，Kotlin 中的类也可以有类型参数

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

//一般来说，要创建这样类的实例，我们需要提供类型参数:val box: Box = Box(1)

//但是如果类型参数可以推断出来，例如从构造函数的参数或者从其他途径，允许省略类型参数:val box = Box(1) // 1 具有类型 Int，所以编译器知道我们说的是 Box。

8.型变，在java系统中有通配符类型，而kotlin中没有，而换成两个其他的东西:声明处型变(declaration-site variance)与类型投影(type projections)

8.1 声明处型变

//假设有一个泛型接口 Source，该接口中不存在任何以 T 作为参数的方法，只是方法返回 T 类型值
// Javainterface Source { 
     T nextT();
}

//那么，在 Source