尝试设计一套特质，灵活的改动整数队列。队列有两种操作：put把整数放入队列，get从尾部取出它们。队列是先进先出的，get应该依照入队列的顺序取数据。提示：可以用mutable.ArrayBuffer 模拟队列在报告中体现出类的线性化特性，要求扩展类实现如下三个功能1.Doubling 把放到队列中的数字翻倍；2.Incrementing 把放到队列的数据增加1；3.过滤掉队列中的负数
abstract class Queue2 {
println("查看调用顺序Queue")
def get:Int
def put(num:Int)
}
trait Doubling extends Queue2 {
println("查看调用顺序Doubling")
abstract override def put(x: Int) { super.put(2*x) }
}
trait Incrementing extends Queue2 {
println("查看调用顺序Incrementing")
abstract override def put(x: Int) { super.put(x+1) }
}
trait Filtering extends Queue2 {
println("查看调用顺序Filtering")
abstract override def put(x: Int){
if(x >= 0) super.put(x)
}
}
class NewQueue extends Queue2{
println("查看调用顺序NewQueue")
private val numArrayBuffer = new ArrayBuffer[Int]
def get() = numArrayBuffer.remove(0)
def put(x: Int) = {
numArrayBuffer += x
}
}
object test5{
def main(args: Array[String]): Unit = {
val queue = new NewQueue with Doubling
queue.put(1)
println(queue.get())
val queue2 = new NewQueue with Doubling with Incrementing
queue2.put(10)
println(queue2.get())
}
}首先我们知道特质构造器的调用顺序是：
1.调用超类的构造器；
2.特质构造器在超类构造器之后、类构造器之前执行；
3.特质由左到右被构造；
4.每个特质当中，父特质先被构造；
5.如果多个特质共有一个父特质，父特质不会被重复构造
6.所有特质被构造完毕，子类被构造。
混入的顺序很重要，越靠近右侧的特质越先起作用。当你调用带混入的类的方法时，最右侧特质的方法首先被调用。如果那个方法调用了super，它调用其左侧特质的方法，以此类推。
这里很神奇的一点是，输入10，输出居然是22而不是21。貌似是Incrementing的put首先被调用，然后Doubing的put第二个被调用。但为什么在显示语句中，我们发现先显示的是“查看调用顺序Doubling”呢？
我们来看看类的线性化的含义：
特质是一种继承多个类似于类的结构的方式，但是它与多重继承有很重要的区别。其中一个尤为重要：super的解释。
对于多重继承来说，super调用导致的方法调用可以在调用发生的地方明确决定；对于特质来说，方法调用是由类和混入到类的特质的线性化(linearization)所决定的。这种差别使得上面的特质的堆叠成为可能。
在多重继承的语言中，调用相同的方法，编译规则会决定哪个超类最终胜出，而调用该超类的指定方法。
而在Scala中，当你使用new实例化一个类的时候，Scala把这个类和所有它继承的类还有他的特质以线性的次序放在一起。然后，当你在其中的一个类中调用super，被调用的方法就是方法链的下一节。除了最后一个调用super之外的方法，其净结果就是可堆叠的行为。
所以，在这里我们看到调用顺序的确是先Doubling后Incrementing，但是在线性的过程中，先执行的是最后一层，即越靠近右侧的特质越先起作用。先+1，再*2，最后put。
举例：
class A{
println("查看调用顺序A")
def m(s:String) = println(s"A($s)")
}
trait B extends A{
println("查看调用顺序B")
override def m(s:String) = super.m(s"B($s)")
}
trait C extends A{
println("查看调用顺序C")
override def m(s:String) = super.m(s"C($s)")
}
trait D extends A{
println("查看调用顺序D")
override def m(s:String) = super.m(s"D($s)")
}
trait E extends C{
println("查看调用顺序E")
override def m(s:String) = super.m(s"E($s)")
}
trait F extends C{
println("查看调用顺序F")
override def m(s:String) = super.m(s"F($s)")
}
class G extends D with E with F with B{
println("查看调用顺序G")
override def m(s:String) = super.m(s"G($s)")
}
object t{
def main(args: Array[String]): Unit = {
val x = new G
x.m("")
}
}这段代码最后的输出结果是：
为什么呢？
G extends D with E with F with B
D extends A
E extends C，C extends A
F extends C，C extends A
B extends A
1.从左往右，选择离G的trait最近的进行放置在左边，他的父类放在右边
2.依次将剩下的trait的也从左边开始放置，如果其父类已经出现在右边，则跳过
3.在最右加入AnyRef和Any，完成构建
1.GDA
2.GECDA
3.GFECDA
4.GBFECDA