`synchronized`使用不同

Question

雖然看着scala.collection.mutable.SynchronizedStack我注意到​​使用的不同，一些方法使用synchronized[this.type]形式

override def push(elem: A): this.type = synchronized[this.type] { super.push(elem) } 
override def pushAll(xs: TraversableOnce[A]): this.type = synchronized[this.type] { super.pushAll(elems) } 

和一些應用​​形式

override def isEmpty: Boolean = synchronized { super.isEmpty } 
override def pop(): A = synchronized { super.pop } 

有什麼區別？

Answer 1

的​​（由AnyRef聲明）的簽名是

final def synchronized[T0](arg0: => T0): T0 

如果你用它作爲

override def isEmpty: Boolean = synchronized { super.isEmpty } 

然後你把它留給編譯器來推斷傳遞給函數的返回類型​​（這裏是Boolean）。如果您使用它作爲

override def push(elem: A): this.type = synchronized[this.type] { 
    super.push(elem) 
} 

然後您明確指定返回類型（這裏this.type）。我假定編譯器不會推斷出this.type - 哪一個表示您確切返回this對象 - ，但它會推斷SynchronizedStack或它的一個超類型，其精度不如this.type。