ความแตกต่างระหว่างสิ่งนี้กับตัวเองในคำอธิบายประกอบประเภทตัวเอง?

ในวรรณกรรมต่างๆของ Scala ฉันเห็นคำอธิบายประกอบประเภทตัวเองโดยใช้ "this" และอื่น ๆ ที่ใช้ "self":

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

มีความแตกต่างอย่างแท้จริงระหว่างการใช้ "this" หรือ "self" หรือไม่? ชื่อที่คุณใช้มีความสำคัญหรือไม่? แค่นี้ก็ใช้ได้แล้ว?

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

ทั้งสามรูปแบบที่ถูกต้องและมีผลกระทบที่Bจะถือว่าเป็นชนิดของในชั้นเรียนthisA

สองตัวแปรแรก

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

แนะนำself(ตามลำดับfoo) เป็นชื่อแทนสำหรับในลักษณะthis Aสิ่งนี้มีประโยชน์สำหรับการเข้าถึงการthisอ้างอิงจากคลาสภายใน กล่าวคือคุณสามารถใช้selfแทนA.thisเมื่อเข้าถึงการthisอ้างอิงของลักษณะAจากคลาสที่ซ้อนอยู่ภายใน ตัวอย่าง:

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; เพียงแค่ตั้งค่าประเภทตนเอง

มีความแตกต่างที่thisมักจะอ้างถึงวัตถุที่กำหนดโดยเทมเพลตด้านในสุด

นิพจน์thisสามารถปรากฏในส่วนคำสั่งของเทมเพลตหรือชนิดผสม ย่อมาจากวัตถุที่ถูกกำหนดโดยแม่แบบด้านในสุดหรือประเภทสารประกอบที่ล้อมรอบการอ้างอิง ถ้าเป็นประเภทสารประกอบประเภทของthisสารประกอบนั้น ถ้าเป็นแม่แบบของชั้นหรือวัตถุที่มีชื่อความหมายง่ายๆCประเภทนี้เป็นเช่นเดียวกับประเภทของC this. (อ้างอิง Scala §6.5)

ดังนั้นหากคุณเรียกตัวเองfooว่าคุณยังคงสามารถเรียกมันว่าthis(เว้นแต่คุณจะอยู่ในเทมเพลตภายในซึ่งในกรณีนี้thisจะอ้างถึงวัตถุที่กำหนดโดยมัน - และเว้นแต่คุณจะไม่ให้ภายใน แม่แบบพิมพ์ชื่อเดียวกันเอง) แต่เห็นได้ชัดว่าไม่ใช่ในทางกลับกัน