Easyraiimutexconcurrency
Что такое RAII-обёртка для mutex (std::lock_guard, std::unique_lock)?
1Постановка
Разберём, что от вас хотят в этом вопросе и как к нему подступиться на собеседовании.
2Решение
std::lock_guard<M> — RAII-обёртка: конструктор блокирует мьютекс, деструктор разблокирует. Гарантирует разблокировку даже при исключениях. std::unique_lock<M> — более гибкая: можно lock/unlock вручную, переносимая, нужна для condition_variable.
std::mutex m;
std::vector<int> shared;
void add(int x) {
std::lock_guard<std::mutex> lk(m); // блокировка
shared.push_back(x);
} // деструктор lk разблокирует m — даже при исключении
// unique_lock для condition_variable:
std::unique_lock<std::mutex> lk(m);
cv.wait(lk, []{ return ready; }); // wait требует unique_lock- lock_guard — минимальный overhead, для простых случаев;
- unique_lock — для deferred/try locking, condition_variable;
- shared_lock (C++14) — для shared_mutex (read locking);
- scoped_lock (C++17) — несколько мьютексов одновременно deadlock-free.
3Как отвечать
- Сначала уточните условия и ограничения, покажите аналитическое мышление.
- Рассуждайте вслух — интервьюеру важен ход мысли, а не только финальный ответ.
- Оцените сложность по времени и памяти (Big-O), если это алгоритмический вопрос.
💡
На реальном собеседовании Alffert подскажет развёрнутый ответ в реальном времени.