D.5.7. Шаблон функции std::lock
Шаблон функции std::lock предоставляет возможность захватить сразу несколько мьютексов, не опасаясь возникновения взаимоблокировки из-за несогласованного порядка захвата.
Объявление
template<typename LockableType1, typename... LockableType2>
void lock(LockableType1& m1, LockableType2& m2...);
Предусловия
Типы параметров LockableType1, LockableType2, … должны удовлетворять требованиям концепции Lockable.
Результат
Захватывает все объекты m1, m2, … допускающих блокировку типов, обращаясь к функциям-членам lock(), try_lock() и unlock() этих типов в порядке, который гарантированно не приводит к взаимоблокировкам, но в остальном не специфицирован.
Постусловия
Текущий поток захватывает все переданные в аргументах объекты.
Исключения
Любое исключение, возбуждаемое обращениями к функциям lock(), try_lock() и unlock().
Примечание. Если исключение распространяется за пределы std::lock, то для любого объекта m1, m2, …, для которого в результате обращения к lock() или try_lock() была успешно получена блокировка, гарантированно будет вызвана функция unlock().