假设 countMe 是一个全局变量，并且我同时向这个 while 循环启动 10 个线程，变量 countMe 互斥锁在谓词中是否受到保护？ 我认为因为当代码到达wait_for时，它会解锁并释放锁...