cpp 线程安全性证明

在 C++ 中，线程安全性的证明通常需要通过锁机制来实现。在多线程环境下，如果多个线程同时访问同一个资源，就会产生竞争条件，可能导致程序的不正确执行。

为了避免这种情况，我们可以使用 C++ 标准库提供的互斥锁机制，如 std::mutex 和 std::lock_guard。这些工具可以用来保护临界区，即在多个线程之间需要互斥访问的代码段。

例如，假设有两个线程，它们都需要修改同一个全局变量 x。为了保证线程安全，我们可以在修改 x 的代码段周围加上互斥锁，如下所示：

std::mutex mutex;void thread_func() {
  mutex