std::atomic_wait, std::atomic_wait_explicit

template< class T > void atomic_wait( const std::atomic<T>* object, typename std::atomic<T>::value_type old );	(1)	(自 C++20 起)
template< class T > void atomic_wait( const volatile std::atomic<T>* object, typename std::atomic<T>::value_type old );	(2)	(自 C++20 起)
template< class T > void atomic_wait_explicit( const std::atomic<T>* object, typename std::atomic<T>::value_type old, std::memory_order order );	(3)	(自 C++20 起)
template< class T > void atomic_wait_explicit( const volatile std::atomic<T>* object, typename std::atomic<T>::value_type old, std::memory_order order );	(4)	(自 C++20 起)

执行原子等待操作。行为就好像它重复执行以下步骤

将值表示的 object->load()（对于重载 (1,2)）或 object->load(order)（对于重载 (3,4)）与 old 的值表示进行比较。
- 如果它们按位相等，则阻塞，直到 *object 被 std::atomic::notify_one() 或 std::atomic::notify_all() 通知，或者线程被虚假地解除阻塞。
- 否则，返回。

这些函数保证仅在值发生更改时返回，即使底层实现虚假地解除阻塞也是如此。

1,2) 等效于 object->wait(old).

3,4) 等效于 object->wait(old, order).

如果 order 是 std::memory_order::release 和 std::memory_order::acq_rel 之一，则行为未定义。

内容

(无)

这种形式的更改检测通常比简单的轮询或纯自旋锁更有效。

由于 ABA 问题，从 old 到另一个值再回到 old 的短暂更改可能会被遗漏，并且不会解除阻塞。

比较是按位的（类似于 std::memcmp）；没有使用比较运算符。从不参与对象值表示的填充位将被忽略。

wait (C++20)	阻塞线程，直到它被通知并且原子值发生更改 (`std::atomic<T>` 的公共成员函数) [编辑]
notify_one (C++20)	通知至少一个正在等待原子对象的线程 (`std::atomic<T>` 的公共成员函数) [编辑]
notify_all (C++20)	通知所有阻塞等待原子对象的线程 (`std::atomic<T>` 的公共成员函数) [编辑]
atomic_notify_one (C++20)	通知在 atomic_wait 中阻塞的线程 (函数模板) [编辑]
atomic_notify_all (C++20)	通知所有在 atomic_wait 中阻塞的线程 (函数模板) [编辑]