std ::线程和异常处理

Question

我有一个处理多线程C++代码中的异常的问题。以下程序以terminate called without an active exception Aborted (core dumped)退出。

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

struct Thing { 

    void runComponent() 
    { 
     throw std::runtime_error("oh no!\n"); 
    } 

    void runController() 
    { 
     while (true) {} 
    } 

    void run() 
    { 
     auto control_thread = std::thread([this] { runController(); }); 

     runComponent(); 

     if (control_thread.joinable()) 
      control_thread.join(); 
    } 
}; 

int main() 
{ 
    try { 
     Thing thing; 
     thing.run(); 
    } catch (std::runtime_error &ex) { 
     std::cerr << ex.what(); 
    } 
} 

相反，我想处理异常的try catch块main()。我知道异常不会（通常）在线程之间传递，因为线程每个都有自己的堆栈。这里的问题（在我看来）是即使在非分叉线程上生成异常也没有被处理。如果我注释掉run()与control_thread有关的行，那么一切正常。

与铿锵-3.8和-std=c++11 main.cpp -lpthread编译。

Answer 1

这里的问题是您在run()方法中创建的线程上既没有呼叫detach()或join()。这是C++线程中的错误。见When should I use std::thread::detach?

如果你改变你的代码到以下任一则一切工作正常

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

struct Thing { 

    void runComponent() 
    { 
     throw std::runtime_error("oh no!\n"); 
    } 

    void runController() 
    { 
     return; 
    } 

    void run() 
    { 
     auto control_thread = std::thread([this] { runController(); }); 
     // either of the following two will work 
     // control_thread.join(); 
     control_thread.detach(); 

     runComponent(); 
    } 
}; 

int main() 
{ 
    try { 
     Thing thing; 
     thing.run(); 
    } catch (std::runtime_error &ex) { 
     std::cerr << ex.what(); 
    } 
} 

它看起来就像你想要的是一个分离的东西，这就是为什么我脱离线程在上面的例子。如果这不是你想要的，你可能需要一些其他方式来处理线程。如果你想让主线程和其他线程独立工作，那么你需要一些其他的同步。