值类型与通用特质是scala特性中一个特别知识点,需要工作使用中慢慢体会
通用特质
A universal trait is a trait that extends Any, only has def s as members, and does no initialization.
继承自Any
的trait,内部成员只有def定义的方法,且没有初始化语句。
值类型
首先看一个最简值类型(官网)
class Wrapper(val underlying: Int) extends AnyVal {
def foo: Wrapper = new Wrapper(underlying * 19)
}
值类型都是要继承AnyVal的,更多的情况下,值类型还会继承通用特质
,如下:
trait Printable extends Any {
def print(): Unit = println(this)
}
//Wrapper是一个值类型,继承了Printable通用特质
class Wrapper(val underlying: Int) extends AnyVal with Printable
val w = new Wrapper(3)
//因为继承了普通特质的print方法,招致此处需要实例化Wrapper
w.print() // actually requires instantiating a Wrapper instance
总结
- Value类虽然没有显示的用
final
修饰,但是依然可以认为是final
类。
参考
1 官方文档
2 Scala 的Value Class 和 Universal Traits
3 通用特质(universal traits)