C++ 多線程嵌套創建與並發運行機制詳解

核心結論

線程可以嵌套創建，所有線程並發運行。子線程內創建的新線程與父線程、主線程同層級，由操作系統調度器統一管理，無父子依賴關係。

代碼示例

#include <thread>
#include <iostream>

void worker(int id) {
    std::cout << "Thread " << id << " running on " << std::this_thread::get_id() << '\n';
    std::this_thread::sleep_for(std::chrono::seconds(1));
}

void parent_thread() {
    std::cout << "Parent thread start\n";
    std::thread t1(worker, 1); // 在子線程中創建新線程
    std::thread t2(worker, 2);
    t1.join();
    t2.join();
    std::cout << "Parent thread end\n";
}

int main() {
    std::thread t(parent_thread);
    t.join();
    return 0;
}

關鍵注意點

1. 資源管理：每個 std::thread 對象必須 join() 或 detach()，否則析構時觸發 std::terminate。
2. 數據競爭：多線程訪問共享數據必須同步（mutex、atomic、無鎖結構）。
3. 異常傳播：子線程異常不會自動傳播到父線程，需自行捕獲並通過 std::promise/future 傳遞。
4. 線程池優化：頻繁創建銷毀線程開銷大，高並發場景應使用線程池（boost::thread_pool、C++17 std::experimental::execution 或自研）。

常見誤區澄清

「線程是獨立的執行流」，拋開創建者視角，所有線程在調度器眼中平等。設計時關注同步與生命周期管理，而非創建層級。