C++ 并发编程指南（10）线程间通信

前言

在多线程编程中，线程间通信（Inter-Thread Communication，简称ITC）是不可或缺的一部分，它使得不同的线程能够交换信息、协作完成任务。C++作为一种功能强大的编程语言，提供了多种机制来实现线程间的通信。下面我们将详细讨论这些机制。

一、线程间通信

1、共享内存

共享内存是最直接也是最常见的线程间通信方式。在C++中，全局变量、静态变量以及堆上分配的对象都可以被多个线程访问。这些变量在内存中的位置是固定的，因此多个线程可以通过指针或引用来访问和修改它们。

然而，共享内存也带来了同步问题。如果没有适当的同步机制，多个线程可能会同时读写同一个变量，导致数据竞争和不一致的结果。为了解决这个问题，C++提供了多种同步原语，如互斥锁、条件变量、以及读写锁等。这些同步原语可以确保在某一时刻只有一个线程访问共享变量，从而避免数据竞争。例如，使用std::mutex可以保护对共享变量的访问：

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

std::mutex mtx; // 全局互斥锁
int shared_data = 0; // 共享数据

void increment() {
   
   
    for (int i = 0; i < 10000; ++i) {
   
   
        std::lock_guard<std::mutex> lock(mtx); // 使用锁保护区域
        ++shared_data;
    }
}

int main() {
   
   
    std::thread t1(increment);
    std::thread t2(increment);
    
    t1.join();
    t2.join();
    
    std::cout << "Shared data: " << shared_data << std::endl; // 输出应为20000
    return 0;
}

2、消息队列和管道

除了共享内存外，还可以使用消息队列和管道来实现线程间的通信。这些机制允许线程通过发送和接收消息来交换信息，而不是直接操作共享内存。虽然C++标准库没有直接提供消息队列和管道的实现，但开发者可以使用第三方库或自定义数据结构来实现这些功能。例如，可以使用标准库中的std::queue和条件变量来实现一个简单的消息队列：

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