为何wait和notify方法必须加锁？

<think>嗯，用户问为什么wait和notify必须放在synchronized代码块里。这个问题我之前学Java线程的时候也碰到过，不过记得不太清楚，得好好理一理。 首先，wait和notify是用于线程间通信的，属于Object的方法。那为什么非得和synchronized一起用呢？我记得synchronized是用来加锁的，保证同一时间只有一个线程能执行那段代码。可能跟这个锁有关吧。 然后，可能涉及到线程安全的问题。比如，当调用wait的时候，线程会释放锁，进入等待状态。而notify则是唤醒等待的线程。如果不在synchronized块里，可能会有竞态条件，导致数据不一致？ 比如，假设没有synchronized，一个线程在检查条件是否满足的时候，可能另一个线程同时修改了条件，这时候就会出问题。所以需要用synchronized来确保检查条件和调用wait是原子操作。 然后，Java的设计要求，在调用wait或notify时，线程必须持有该对象的锁。否则会抛出IllegalMonitorStateException异常。这可能是一种强制措施，确保开发者正确同步代码。 还有，当线程调用wait时，会释放锁，让其他线程可以进入synchronized块执行，并在适当的时候notify。这样整个流程才能正确协作，避免死锁或者数据竞争。 总结一下，可能原因有几点：确保条件检查的原子性，避免竞态条件；符合Java的线程安全设计，防止异常；正确管理锁的获取和释放，保证线程协作的正确性。 不过，可能还有其他细节需要注意，比如每个对象都有一个内部锁，wait和notify操作需要获取这个锁，所以必须放在同步块里。这样线程在调用这些方法时，已经持有了锁，才能安全地操作等待队列。 比如，一个经典的生产者消费者例子，如果没有synchronized，可能多个线程同时修改共享资源，导致状态不一致。而用synchronized包围wait和notify，可以保证在修改条件时，只有一个线程在操作，从而避免问题。 所以，核心原因应该是为了保证线程安全，确保在调用这些方法时，线程已经正确获取了锁，避免了潜在的并发问题。</think>以下分步解释`wait()`和`notify()`必须放在`synchronized`代码块中的原因： --- ### 一、线程安全的三重保障 1. **原子性检查条件** 当线程调用`wait()`时，必须保证**条件判断**和**进入等待**是原子操作： ```java synchronized (lock) { while (condition不满足) { // 原子性检查 lock.wait(); // 原子性进入等待 } // 执行业务逻辑 } ``` 若没有同步锁，可能在检查`condition`后、调用`wait()`前，其他线程修改了共享数据，导致状态不一致。 2. **强制锁持有** Java强制要求：调用`wait()`/`notify()`时线程**必须持有对象锁**，否则抛出`IllegalMonitorStateException`。这是语言层面的安全设计。 3. **锁释放与竞争控制** `wait()`会自动释放锁，允许其他线程获取锁修改共享状态。`notify()`后，被唤醒的线程需要重新竞争锁才能继续执行。 --- ### 二、典型问题场景解析 #### 场景：生产者-消费者模型 ```java // 错误写法：无synchronized public void consume() { if (queue.isEmpty()) { // 非原子检查 queue.wait(); // 可能抛出异常 } queue.remove(); } ``` 可能出现： - 条件检查后，其他线程清空队列，导致无效操作 - 未持有锁时调用`wait()`直接报错 #### 正确写法： ```java public void consume() { synchronized (queue) { while (queue.isEmpty()) { // 原子检查+循环校验 queue.wait(); // 安全释放锁 } queue.remove(); } } ``` --- ### 三、底层机制解释 1. **对象监视器(Monitor)** 每个Java对象都有一个关联的监视器： - 当进入`synchronized`块时获取监视器锁 - `wait()`会将线程加入该监视器的等待集 - `notify()`会从监视器的等待集中唤醒线程 2. **happens-before规则** `synchronized`保证： - 解锁操作对后续加锁操作可见 - `notify()`调用前的修改对唤醒线程可见 --- ### 四、设计哲学总结 | 特性 | 作用 | |------------|--------------------------------------| | 互斥访问 | 确保共享资源的线程安全 | | 条件管理 | 通过等待/唤醒机制实现精确协作 | | 强制约束 | 避免开发者错误使用导致并发问题 | 通过将`wait()/notify()`与`synchronized`绑定，Java实现了线程协作的安全性和可预测性。