抽象类中的同步方法如何工作？ [复制]

Question

我想在线程之间同步对象，这些对象扩展了一个抽象类：

public abstract class GraphicObject {

    public synchronized void test(){
        //work...
    }
}

class Circle extends GraphicObject {

}
class Rectangle extends GraphicObject {

}

考虑这个测试类：

public class Class {
     void main(){
        GraphicObject a=new Circle();
        GraphicObject b=new Rectangle();
        Runnable r1 = new MyThread(a);
        new Thread(r1).start();
        Runnable r2 = new MyThread(b);
        new Thread(r2).start();
    }

     private class MyThread implements Runnable {

       private GraphicObject g;
       public MyThread(GraphicObject g) {
          this.g=g;
       }
       public void run() {
          g.test();
       }
    }
}

在这种情况下，a 和 b 是具有相同抽象类的独立对象。 test() 方法是否同步在一起？如果一个线程调用a.test() 被b.test() 锁定到所有其他线程？

我不希望，因为它们是不同的对象。

Answer 1

无法同步抽象方法。这是JLS 8.4.3:

如果包含关键字 abstract 的方法声明还包含关键字 private、static、final、native、strictfp 或 synchronized 中的任何一个，则会出现编译时错误。

覆盖抽象声明的具体方法可以同步；在这种情况下，它就像任何其他同步方法一样工作：它锁定this 实例。

Answer 2

您的test() 方法已在实例上同步。因此，由于a 和b 是不同的实例（即使来自不同的类），它们不会相互锁定。

如果你想要这种行为，你必须使用类似的东西

synchronized (GraphicObject.class) {
    ...
}

这只能在方法实现中完成，因此没有机会从抽象父类中强制执行。

Answer 3

任何同步都绑定到调用该方法的实例。是否是抽象方法都没有关系；在您的示例中，您能够在示例中生成锁的唯一方法是从两个不同的线程调用a.test()，因为同步结束了a，而不是test()。如果它是在类上同步的静态方法，则情况会有所不同。

Answer 4

首先，您的代码无法编译；你不能有一个带有 body 的抽象方法，一个抽象方法不能被标记为同步，尽管后者是一个 design choice。

一般来说，方法上的synchronized 关键字的作用类似于：

methodDeclaration() {
    synchronized (this) {
      ....
    }
}

这意味着它在对象的实例上同步，这反过来意味着您示例中的这两种方法在不同的锁上同步，分别在 a 或 b 上。