C++多线程中，线程T1运行时能否将所有权转移给T2？

核心结论 #

可以在线程运行时使用std::move()转移std::thread对象的所有权，这是C++标准明确允许的合法操作，不存在未定义行为。

常见误解澄清 #

有人认为“不应在线程运行时转移所有权”，这是混淆了底层线程的执行状态和std::thread对象的资源管理权：

• 底层线程一旦启动，其执行流程不受std::thread对象所有权转移的影响，该执行的代码会继续执行。
• 所有权转移只是改变了哪个std::thread实例负责管理底层线程的资源（比如最终调用join()/detach()的对象），和线程本身的运行无关。

你的代码分析 #

你提供的代码是完全合法且正确的：

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

void func_1()
{
    while (true)
    {
        std::cout << "thread_id :" << std::this_thread::get_id() << std::endl;
        int x = 0;
        while (x < 2000)
        {
            std::cout << "x :" << x << std::endl;
            x++;
        }
        break;
    }
}

int main()
{
    std::thread T1(func_1);
    std::thread T2(std::move(T1));
    T2.join();
}

• 创建T1后，它关联了一个正在执行func_1的底层线程。
• 通过std::move(T1)将所有权转移给T2，此时T1变为“空”线程对象（不再关联任何底层线程），T2接管了对该运行中线程的管理责任。
• 最后调用T2.join()等待线程执行完成，符合C++线程资源管理的要求。

注意事项 #

• 所有权转移后，原线程对象（如示例中的T1）不能再调用join()或detach()，否则会触发std::system_error异常。
• 无论在启动前还是运行时转移所有权，核心都是转移std::thread的资源管理权，底层线程的执行不受影响。“启动前操作”只是一种应用场景，并非强制要求。
• 必须保证最终有且仅有一个std::thread对象负责调用join()或detach()，否则会导致程序终止时的资源泄漏或异常。

内容的提问来源于stack exchange，提问作者Coder