scala类型系统:9) this别名&自身类型

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

class A { 
    self =>  //this别名
    val x=2 
    def foo = self.x + this.x 
}

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

它的一个场景是用在有内部类的情况下:

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

对于this别名 self =>这种写法形式,是自身类型(self type)的一种特殊方式。

self在不声明类型的情况下,只是this的别名,所以不允许用this做this的别名

scala> class C { this => } //error 不能用this做别名

但当声明了类型的时候,就不是别名的用途了,这个时候表示自身类型,比如:

scala> class C { this:X => }

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

scala> class C { this:C => } // 不会报错

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

scala> new C // 不满足
<console>:10: error: class C cannot be instantiated because it does not conform to its self-type C with X

// ok, 相当于构造一个复合类型(C with X)的实例
scala> val c = new C with X

在定义C的子类时,因为自身类型的约束,也必须满足X类型,即子类必须也混入X

scala> class D extends C with X

注意上面两种情况下X都为特质(trait)。

如果自身类型是定义在特质中(大多情况下):

scala> trait T { this:X => } 

那么当某个class或object 要继承或混入 T 时,必须也要满足 X 类型,如果该类/单例不是X的子类的话就要同时混入X才可以

scala> object A extends T with X

最后,自身类型也可以声明为复合类型

this: X with Y with Z => 

或声明为结构类型

this: { def close:Unit} => 

另外,自身类型中,可以用this也可以用其他名字,如self

scala类型系统:9) this别名&自身类型》上有5条评论

  1. pythonee

    这种语法好吗,为什么不显示的with X,而非要藏在类定义中呢

    回复
  2. baishuo

    您这段文字给我很大的帮助,请问您学习的材料是什么呢?谢谢

    回复
    1. hongjiang 文章作者

      市面上就那么几本scala的书,多看代码,看开源项目

      回复
  3. lcn

    this也可以被重命名,学习了。至于self type,推荐读读http://stackoverflow.com/q/1990948/2073130和http://lampwww.epfl.ch/~odersky/papers/ScalableComponent.pdf,可以帮助理解self type在Scala的多态体系中的位置。

    回复

发表评论

电子邮件地址不会被公开。 必填项已用*标注