Исключения
Исключение, возбужденное в результате обращения к pred
, или std::system_error
, если действие не выполнено.
Синхронизация
Обращения к функциям notify_one()
, notify_all()
, wait()
, wait_for()
и wait_until()
одного и того же объекта std::condition_variable
сериализуются. Обращение к notify_one()
или notify_all()
будит только потоки, запущенные до этого обращения.
STD::NOTIFY_ALL_AT_THREAD_EXIT
, ФУНКЦИЯ, НЕ ЯВЛЯЮЩАЯСЯ ЧЛЕНОМ КЛАССА
Пробуждает все потоки, ожидающие std::condition_variable
, при завершении текущего потока.
Объявление
void notify_all_at_thread_exit(
condition_variable& cv, unique_lock lk);
Предусловия
Значение lock.owns_lock()
равно true
, и владельцем блокировки lock
является вызывающий поток. Функция lk.mutex()
должна возвращать такое же значение, как для любого объекта блокировки, передаваемого функциям-членам wait()
, wait_for()
или wait_until()
объекта cv
из одновременно ожидающих потоков.
Результат
Передает владение мьютексом, захваченным lk
, внутреннему объекту и планирует отправку уведомления условной переменной cv
при завершении вызывающего потока. Уведомление эквивалентно выполнению следующего кода:
lk.unlock();
cv.notify_all();
Исключения
Возбуждает исключение std::system_error
, если действие не выполнено.
Примечание. Блокировка удерживается до завершения потока, поэтому необходимо предпринимать меры для предотвращения взаимоблокировки. Рекомендуется завершать вызывающий поток как можно раньше и не выполнять в нем никаких блокирующих операций.
Пользователь должен следить за тем, чтобы ожидающий поток не сделал ошибочного предположения о том, что в момент его пробуждения данный поток уже завершен, — в частности, из-за возможности ложного пробуждения. Для этого можно проверять в ожидающем потоке предикат, который может быть сделан истинным только уведомляющим потоком, причём это должно делаться под защитой мьютекса, который не освобождается до вызова notify_all_at_thread_exit
.
D.2.2. Класс std::condition_variable_any
Класс std::condition_variable_any
позволяет потоку ждать выполнения условия. Если объект std::condition_variable
можно использовать только с блокировкой типа std::unique_lock
, то std::condition_variable_any
допустимо использовать с блокировкой любого типа, удовлетворяющего требованиям концепции Lockable
.
Экземпляры std::condition_variable_any
не удовлетворяют концепциям CopyAssignable
, CopyConstructible
, MoveAssignable
, MoveConstructible
.
Определение класса
class condition_variable_any {
public:
condition_variable_any();
~condition_variable_any();
condition_variable_any(
condition_variable_any const&) = delete;
condition_variable_any& operator=(
condition_variable_any const&) = delete;
void notify_one() noexcept;
void notify_all() noexcept;
template
void wait(Lockable& lock);
template
void wait(Lockable& lock, Predicate pred);
template
std::cv_status wait_until(
Lockable& lock,
const std::chrono::time_point& absolute_time);
template <
typename Lockable, typename Clock,
typename Duration, typename Predicate>
bool wait_until(
Lockable& lock,
const std::chrono::time_point& absolute_time,
Predicate pred);
template
std::cv_status wait_for(
Lockable& lock,
const std::chrono::duration& relative_time);
template <
typename Lockable, typename Rep,
typename Period, typename Predicate>
bool wait_for(
Lockable& lock,
const std::chrono::duration& relative_time,
Predicate pred);
};
STD::CONDITION_VARIABLE_ANY
, КОНСТРУКТОР ПО УМОЛЧАНИЮ
Конструирует объект типа std::condition_variable_any
.
Объявление
condition_variable_any();
Результат
Конструирует объект типа std::condition_variable_any
.
Исключения
Исключение типа std::system_error
, если сконструировать условную переменную не получилось.
STD::CONDITION_VARIABLE_ANY
, ДЕСТРУКТОР
Уничтожает объект s td::condition_variable_any
.
Объявление
~condition_variable_any();
Предусловия
Не существует потоков, заблокированных по *this
в обращениях к wait()
, wait_for()
или wait_until()
.
Результат
Уничтожает *this
.
Исключения
Нет.
STD::CONDITION_VARIABLE_ANY::NOTIFY_ONE
, ФУНКЦИЯ-ЧЛЕН
Пробуждает один из потоков, ожидающих std::condition_variable_any
.
Объявление
void notify_one() noexcept;
Читать дальше