C++临界区如何保证线程安全

C++中的临界区通常通过互斥量（mutex）来保证线程安全。互斥量是一种同步原语，用于确保在同一时间只有一个线程可以访问共享资源。当一个线程进入临界区时，会锁定互斥量，其他线程在尝试进入临界区时会被阻塞，直到该线程释放了互斥量。

下面是一个使用互斥量保证线程安全的示例：

#include <iostream>
#include <thread>
#include <mutex>

std::mutex mtx;

void critical_section()
{
    mtx.lock();

    // 在临界区执行操作

    mtx.unlock();
}

int main()
{
    std::thread t1(critical_section);
    std::thread t2(critical_section);

    t1.join();
    t2.join();

    return 0;
}

在上面的代码中，critical_section函数包含了临界区，通过调用mtx.lock()和mtx.unlock()来锁定和释放互斥量。当t1和t2同时尝试进入临界区时，只有一个线程能够成功获取互斥量，另一个线程会被阻塞直到互斥量被释放。

除了互斥量，C++中也提供了其他线程同步原语，如条件变量（std::condition_variable）和读写锁（std::shared_mutex），可以根据具体需求选择合适的同步机制来保证线程安全。