std:: lock_guard

lock_guard 클래스는 스코프 블록 기간 동안 뮤텍스를 소유하기 위한 편리한 RAII-style 메커니즘을 제공하는 뮤텍스 래퍼입니다.

lock_guard 객체가 생성될 때, 주어진 뮤텍스의 소유권을 획득하려 시도합니다. lock_guard 객체가 생성된 범위를 벗어나면, lock_guard 가 소멸되고 뮤텍스가 해제됩니다.

lock_guard 클래스는 복사할 수 없습니다.

템플릿 매개변수

멤버 타입

멤버 함수

참고 사항

초보자가 자주 하는 실수 중 하나는 lock_guard 변수에 이름을 지정하는 것을 잊는 것입니다. 예를 들어 std :: lock_guard { mtx } 와 같이 작성하는 경우입니다. 이는 프라밸류(prvalue) 객체를 생성하여 즉시 파괴하므로, 실제로 스코프 전체에 걸쳐 뮤텍스를 잠그는 록을 생성하지 않게 됩니다.

예제

#include <iostream>
#include <mutex>
#include <string_view>
#include <syncstream>
#include <thread>
volatile int g_i = 0;
std::mutex g_i_mutex;  // protects g_i
void safe_increment(int iterations)
{
    const std::lock_guard<std::mutex> lock(g_i_mutex);
    while (iterations-- > 0)
        g_i = g_i + 1;
    std::cout << "thread #" << std::this_thread::get_id() << ", g_i: " << g_i << '\n';
    // g_i_mutex is automatically released when lock goes out of scope
}
void unsafe_increment(int iterations)
{
    while (iterations-- > 0)
        g_i = g_i + 1;
    std::osyncstream(std::cout) << "thread #" << std::this_thread::get_id()
                                << ", g_i: " << g_i << '\n';
}
int main()
{
    auto test = [](std::string_view fun_name, auto fun)
    {
        g_i = 0;
        std::cout << fun_name << ":\nbefore, g_i: " << g_i << '\n';
        {
            std::jthread t1(fun, 1'000'000);
            std::jthread t2(fun, 1'000'000);
        }
        std::cout << "after, g_i: " << g_i << "\n\n";
    };
    test("safe_increment", safe_increment);
    test("unsafe_increment", unsafe_increment);
}

safe_increment:
before, g_i: 0
thread #140121493231360, g_i: 1000000
thread #140121484838656, g_i: 2000000
after, g_i: 2000000
unsafe_increment:
before, g_i: 0
thread #140121484838656, g_i: 1028945
thread #140121493231360, g_i: 1034337
after, g_i: 1034337

결함 보고서

다음 동작 변경 결함 보고서들은 이전에 발표된 C++ 표준에 소급 적용되었습니다.

참고 항목