自身类型（self type）

看scala的源码的话很发现很多源码开头都有一句：self => 这句相当于给this起了一个别名为self

class Self {    self =>   //代表this指针  ，也就是说 self 就 this的别名    val tmp = "scala"    def foo = self.tmp + this.tmp}

self不是关键字，可以用除了this外的任何名字命名(除关键字)。就上面的代码，在Self 内部，可以用this指代当前对象，也可以用self指代，两者是等价的。

self type 两种使用场景

一、 用在有内部类的情况

如：

    class Outer {      out =>      val v1= "spark"      class Inner {        println(out.v1) // 用outer表示外部类，相当于Outer.this        v1      }    }

二、 对子类（或者对象）的约束

trait S1/** * this 不能称当别名，这里this:S1 是一个整体，就是说实例化S2时，要求S1必须混入 */class S2 {this:S1 =>}  // 混入trait S1，强制要求 S2的实现类 去实现 S1class S3 extends S2 with S1trait T {this:S1 => }object S4 extends T with S1

this:S1 => 要求S2在实例化时或定义S2的子类时，必须混入指定的S1 类型，这个X类型也可以指定为当前类型

自身类型的存在相当于让当前类变得“抽象”了，它假设当前对象(this)也符合指定的类型，因为自身类型 this:S1 =>的存在，当前类构造实例时需要同时满足S1类型

写的不对的地方，烦请指点