对Java核心技术中一段关于线程同步的代码的疑问

Question

《Java核心技术第九版 卷I》的14.5.6 Synchronized Blocks一节有一段代码：

public void transfer(Vector<Double> accounts, int from, int to, int amount) {

    synchronized (accounts) {

        accounts.set(from, accounts.get(from) - amount);

        accounts.set(to, accounts.get(to) + amount);

    }

    System.out.println(. . .);

}

这段代码是模拟银行转账的，当多个线程并发地进行转账时，如果不进行同步就会导致账户中的数据出现不一致的情况。所以书里给这段代码加了synchronized同步。

但是书中这段程序后面还有一句话：

This approach works, but it is entirely dependent on the fact that the Vector class uses the intrinsic lock for all of its mutator methods.

（加了同步之后）这就没问题了，但是这段代码完全依赖于Vector类是否使用它自己的锁来同步它的修改方法。

问题来了，为什么这样写还要依赖于Vector是否加锁，以及加锁方式呢？我认为不管Vector是否是同步的这段代码都没问题。我实际测试了，将Vector换成非同步的ArrayList，确实没有任何问题！不知道作者为什么这样说，难道是我哪里理解的不对？

Answer 1

这句话大概是指&nbsp;synchronized (accounts)&nbsp;和&nbsp;Vector中方法的 intrinsic lock（锁this) 使用的锁都是实例对象本身，所以这种写法才有效，要保证使用同一个锁。假设有两个不同的线程类A和B，都持有 accounts 的引用，线程类A启动的线程使用synchronized (accounts)&nbsp;加锁进行同步，而线程类B启动的线程没有，直接使用&nbsp;accounts.set&nbsp;方法进行修改。如果使用 Vector 类，A线程锁了 accounts 对象，B中调用&nbsp;set&nbsp;方法时，由于&nbsp;set&nbsp;方法使用synchronized&nbsp;修饰，B也需要获取&nbsp;this，即：accounts 对象的锁，才能修改，A线程释放锁之前B线程是无法执行的。如果使用 ArrayList 类，B不需要获取锁，直接可以进行修改，会导致状态不一致。

Answer 2

accounts参数是通过方法调用传进来的，很难保证在进行方法调用之前，程序将accounts对象发布到了其他线程，这样就有可能有其它线程修改他了。所以作者说依赖于Vector类的同步机制。比如：doTransfer() {&nbsp; &nbsp; final Vector<Double> accounts = ...&nbsp; &nbsp; new Thread(() -> {&nbsp; &nbsp; &nbsp; &nbsp; //更改accounts并且没有进行同步&nbsp; &nbsp; }).start()&nbsp; &nbsp; //调用transfer&nbsp; &nbsp; transfer(accounts .......)}