C++多线程中std::thread::swap怎么用-C++-PHP中文网

std::thread::swap是成员函数，必须通过对象调用（如t1.swap(t2)），不可直接std::swap(t1,t2)；它交换线程控制权但不改变执行状态，要求两对象均合法且析构前须正确join或detach。

c++多线程中std::thread::swap怎么用

std::thread::swap 是个成员函数，不是全局函数

很多人搜 std::thread swap 时误以为它像 std::swap 那样可直接调用，结果编译报错：「no matching function for call to swap」。实际上 std::thread::swap 是 std::thread 的成员函数，必须通过对象调用，不能传两个 std::thread 对象进去——那属于 std::swap 的重载逻辑，而标准库确实为 std::thread 提供了特化版本，但底层仍靠成员 swap 实现。

常见错误写法：
std::swap(t1, t2); —— 看似没问题，但若没包含 <thread></thread> 或未启用 C++11 以上标准，会退化成拷贝构造（而 std::thread 不可拷贝），直接编译失败。

正确做法是确保已 #include <thread></thread> 且使用 C++11 或更高标准
推荐显式调用成员函数：t1.swap(t2)，语义清晰、不依赖 ADL 或重载解析
如果坚持用 std::swap，需确认它触发的是 std::thread 的特化版本（可通过 static_assert(std::is_same_v<decltype t2 void>)</decltype> 辅助验证）

swap 前必须保证两个 thread 都处于可交换状态

std::thread 对象有“可加入（joinable）”和“分离（detached）”或“默认构造（not joinable）”等状态。swap 本身不检查线程是否已 join() 或 detach()，但它交换的是内部句柄（handle），所以只要两个对象本身是合法的（即没被 move 出、没被重复 swap 过），swap 就安全。

典型翻车场景：
std::thread t1{[]{} }; t1.join(); t1.swap(t2); —— 此时 t1 已不可 join，但 swap 仍成功；后续若对原 t1（现在持有 t2 的句柄）误调 join()，可能引发未定义行为（如对已结束/已 detach 的线程再 join）。

C++14

C++14 对 C++11 的修正与增强版本，适合旧系统维护和较老工具链兼容。

下载

swap 不改变线程执行状态，只交换控制权归属
swap 后，原来 t1.joinable() 返回值会变成 t2 原来的值，反之亦然
绝对不要对已调用过 join() 或 detach() 的对象再参与 swap，除非你明确知道另一端也是同态（比如都已 detach，或都未启动）

swap 和移动赋值在实际管理中怎么选

多数时候你其实不需要手动 swap。比如在线程池里换出一个旧线程、塞进一个新线程，更自然的写法是用移动赋值：t = std::thread{func};。这会自动析构原 t（若仍 joinable 则 terminate），再接管新线程。

而 swap 的真实价值在于「零开销转移所有权，且不销毁任一端」。例如实现一个双缓冲式线程句柄容器，需要原子地切换活跃线程引用，又不想触发任何析构逻辑。

移动赋值（t = std::move(other)）会令 other 变成默认构造态（!other.joinable()）
swap 则保持双方有效，适合需要保留两端生命周期的场景（如 RAII wrapper 内部状态切换）
性能上无差别：两者都是指针/句柄级交换，O(1)，无系统调用

容易被忽略的异常安全细节

std::thread::swap 是 noexcept 的，但它不保证线程本身的安全。真正危险的是 swap 后忘记更新配套状态——比如你用 std::vector<:thread></:thread> 存线程，又用另一个 std::vector<bool></bool> 记录哪些已启动，swap 线程后没同步更新 bool 数组，后续逻辑就全乱了。

另一个坑是跨作用域 swap：
{ std::thread t1{f1}; std::thread t2{f2}; t1.swap(t2); } // t1/t2 析构时若仍 joinable → terminate