scala - Explicit self-references with no type / difference with ''this''

Question

I understand the use for explicitly typed self-references:

trait T {
  self : T2 =>
  ...
}

In the body, self is an alias for this but has the more precise type T with T2.

Now, I've seen this in code:

trait T {
  self =>
  ...
}

That is, an explicit self reference with no additional type information. In this configuration, is there any situation in which self is not just an alias for this?

Answer 1

It is an alias for this.

Your first example is useful for ensuring that the trait has been mixed in to an appropriate type, and makes those methods available.

The second example is useful when you have inner classes with naming conflicts, to make the outer scope visible. For example:

trait U {
  self =>
  val name = "outer"
  val b = new AnyRef {
    val name = "inner"
    println(name)
    println(this.name)
    println(self.name)
  }
}

Then new AnyRef with U prints

inner
inner
outer

"self" is not a special keyword - you can use "bananas =>" or whatever you like, but it's often used by convention.

This crops up quite a bit in Swing, where you make a lot on inner classes (textboxes within scrollpanes, etc), which usually have many methods with the same names as the outer classes.