对象Object
- 是一个类类型,只能有不超过1个实例,是“单例对象”。
- 不能用new创建,只需要按名直接访问。
- 首次访问时在当前JVM中自动实例化,也就是说在首次访问前,它并不会实例化。
- 对象可以扩展另一个类,不过反之不成立。
- 最适合对象的方法是纯函数和处理外部IO。
- 纯函数:返回完全由其输入计算得到的记过,没有副作用,在引用方面是透明的。
- IO是处理外部数据的函数。
伴生对象Companion Object
- 是与类同名的一个对象,与类在同一个文件中定义。
- 伴生对象和类可以认为是单个单元,可以互相访问私有和保护字段及方法。
Case Class
- 是不可实例化的类。
- 包含多个自动生成的方法,包括一个自动生成的伴生对象,这个对象也有其自动生成的方法:
- equals
- toString
- 对数据传输对象(DTO)很实用。
- 主要用于存储数据。
- 不适合层次类结构。
- 常规类扩展可能导致生成的方法得到不合法的结果,无法考虑子类增加的字段。
- 如果希望一个类字段有限且这些自动生成方法很有用,则Case Class就很适用。
- 如果你的case类扩展了另一个类,后者有自己的字段,但是没有把这些字段增加为case类参数,生成的方法就不用利用这些字段。
Trait
- 类、case 类、对象以及trait都不能扩展多个类,但是可以同时扩展多个trait,不过trait不能实例化。
- 不能有类参数,可以有类型参数
- 在JVM中会形成类似于“串联”的结构,如果一个类扩展了类A以及trait B和C,编译后实际上会扩展一个类,这个类又扩展了另一个类,后者进一步扩展下一个类,以此类推。这个过程称为线性化(linearization)
- 线性化顺序:从右到左
- 线性化可以通过编写trait来覆盖共享父类的行为
自类型
- self type是一个trait注解,向一个类增加这个trait时,要求这个类必须有一个特定的类型或子类型。有自类型注解的trait不能增加到未扩展指定类型的类。
- 一个流行的用法:用trait为需要输入参数的类增加功能。
- 自类型使用标准标识符是“self”,不过也可以使用其他的标识符,除了this等关键字。
用Trait实例化
- 在类进行实例化时为类增加trait,即使这个类不依赖甚至不知道给定的trait,他也可以利用这个trait的功能,关键是类实例化时增加的trait会扩展这个类,而不是由类扩展trait。
- 这种情况不能使用extends,使用with,因为类实际上没有扩展trait,而是将被trait扩展
- 用trait实例化的真正意义是:可以为现有的类增加新的功能或配置。这个特性通常称为依赖注入,因为父类所依赖的具体功能是在类定义之后增加的,所以会在类实例化时“注入”这个特性。