为了方便你系统化掌握我为你将《C并发编程实战》C Concurrency in Action第 2 章线程管理Thread Management的核心内容梳理为一份完整的知识图谱与配套代码指南。第 2 章的核心使命是解决如何正确创建、控制、传递以及销毁线程 目录框架线程的基本启动与生命周期管理向线程传递参数转移线程所有权Move 语义运行时决定线程数量硬件并发度识别线程Thread ID1. 线程的基本启动与生命周期管理核心概念启动线程通过构造std::thread对象即可启动线程。可传入普通函数、Lambda 表达式、仿函数可调用对象或类成员函数。生命周期约束在std::thread对象销毁之前必须显式决定是等待它调用join()还是让它后台运行调用detach()。否则std::thread的析构函数会直接调用std::terminate()崩溃程序RAII 思想管理线程为了防止在join()之前发生异常抛出导致程序崩溃通常采用 RAII 技术如封装一个thread_guard类来保证线程一定会被join()。 示例代码启动方式与 RAII 防护#includeiostream#includethread#includestdexcept// RAII 包装类确保线程在作用域结束时安全 joinclassthread_guard{std::threadt;public:explicitthread_guard(std::threadt_):t(t_){}~thread_guard(){if(t.joinable()){t.join();// 析构时自动等待线程结束}}// 禁用拷贝构造和赋值thread_guard(thread_guardconst)delete;thread_guardoperator(thread_guardconst)delete;};voiddo_background_work(){std::cout[子线程] 正在后台干活...\n;}structTask{voidoperator()()const{std::cout[仿函数线程] 正在运行...\n;}};intmain(){// 1. 普通函数启动std::threadt1(do_background_work);thread_guardg1(t1);// 用 RAII 保护 t1// 2. 仿函数启动 (注意 C 的 Cs most vexing parse推荐使用 {} 避免被识别为函数声明)std::thread t2{Task()};thread_guardg2(t2);// 3. Lambda 表达式启动std::threadt3([](){std::cout[Lambda 线程] 正在运行...\n;});thread_guardg3(t3);std::cout[主线程] 执行完毕RAII 会安全回收所有线程。\n;return0;}2. 向线程函数传递参数核心概念默认拷贝std::thread的构造函数会无视函数形参类型默认将参数拷贝到线程的独立存储空间中。引用传递如果函数形参是引用如int直接传参会导致编译错误或未定义行为。必须使用std::ref()显式包装。成员函数传递类的成员函数时第一个参数必须是成员函数指针如MyClass::func第二个参数是类对象的指针或引用。 示例代码传参技巧与引用传递#includeiostream#includethread#includestring#includefunctional// std::refclassWorker{public:voiddo_work(intid,conststd::stringname){std::cout[成员函数线程] Worker ID: id, Name: name\n;}};voidupdate_value(intvalue){value100;}intmain(){// 1. 传递引用参数必须使用 std::refintdata42;std::threadt1(update_value,std::ref(data));t1.join();std::cout[主线程] 更新后的 data data (期望 142)\n;// 2. 调用类的成员函数Worker worker;std::threadt2(Worker::do_work,worker,1,Alpha);t2.join();return0;}3. 转移线程所有权Move 语义核心概念不可拷贝可移动std::thread是独占资源的对象类似于std::unique_ptr。你不能复制一个线程但可以使用std::move()转移它的所有权。转移条件不能向一个已经关联着活跃线程的std::thread对象赋值否则会触发std::terminate()。 示例代码线程所有权转移与容器管理#includeiostream#includethread#includevector#includeutility// std::movevoidworker_func(intid){std::cout线程 id 正在运行\n;}intmain(){// 1. 所有权转移std::threadt1(worker_func,1);// 将 t1 的所有权转移给 t2此时 t1 变为 empty 状态std::thread t2std::move(t1);if(!t1.joinable()){std::coutt1 已经不再关联任何线程。\n;}t2.join();// 由 t2 来负责等待结束// 2. 利用 Move 语义管理线程容器批量生成与回收std::vectorstd::threadthreads;for(inti0;i3;i){threads.emplace_back(worker_func,i10);// 内部自动 move 构造}for(autot:threads){if(t.joinable()){t.join();}}return0;}4. 运行时决定线程数量与分块计算核心概念std::thread::hardware_concurrency()获取 CPU 当前硬件支持的最大并发线程数逻辑核心数。若无法获取则返回0。任务分割Data Parallelism根据硬件核心数和数据总量将任务切分给各个线程处理避免过度竞争Oversubscription。*注这部分正是前面我们详细剖析的 *清单 2.8 原生并行版std::accumulate**的设计初衷即依据系统能力划分任务块。5. 线程识别Thread ID核心概念获取方式通过std::thread对象获取t.get_id()在当前线程内部获取std::this_thread::get_id()作用用于判断某个操作是否在特定线程如主线程/GUI 线程执行或作为数据结构如哈希表中的 Key 来关联特定线程的数据。 示例代码线程标识符的应用#includeiostream#includethreadstd::thread::id main_thread_id;voidcheck_thread(){if(std::this_thread::get_id()main_thread_id){std::cout当前处于【主线程】中。\n;}else{std::cout当前处于【子线程】中ID: std::this_thread::get_id()\n;}}intmain(){main_thread_idstd::this_thread::get_id();check_thread();// 在主线程中检查std::threadt(check_thread);// 在子线程中检查t.join();return0;} 第 2 章核心要点总结表概念关键语法 / API核心注意事项生命周期t.join()/t.detach()析构前必须显式调用其一建议采用RAII保护。参数传递std::ref(arg)引用传参必须显式使用std::ref防止拷贝引发错误。所有权std::move(t)std::thread不可拷贝支持移动。并发度std::thread::hardware_concurrency()获取物理/逻辑 CPU 核心数返回值可能为 0。线程 IDstd::this_thread::get_id()提供唯一标识可用于数据绑定和逻辑判断。
