scala - self 类型注释中 this 和 self 之间的区别？

Question

在各种 Scala 文献中，我看到一些使用“this”的 self 类型注释，以及其他使用“self”的 self 类型注释:

trait A { this: B => ... }
trait A { self: B => ... }

使用“this”或“self”有什么真正的区别吗？你用什么名字有关系吗？这同样有效吗？

trait A { foo: B => ... }

Answer 1

所有三种形式都是有效的，并且具有将 B 假定为类 A 中 this 的类型的效果。

前两个变体

trait A { self: B => ... }
trait A { foo: B => ... }

引入 self(分别为 foo)作为特征 A 中 this 的别名。这对于从内部类访问 this 引用非常有用。 IE。然后，当从类访问特征 A 的 this 引用时，您可以使用 self 而不是 A.this嵌套在其中。示例:

class MyFrame extends JFrame { frame =>    
  getContentPane().add( new JButton( "Hide" ) {
    addActionListener( new ActionListener {
      def actionPerformed( e: ActionEvent ) {
        // this.setVisible( false ) --> shadowed by JButton!
        frame.setVisible( false )
      }
    })
  })
}

第三种变体，

trait A { this: B => ... }

不引入this的别名；它只是设置 self 类型。