std::thread 和异常处理

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();
    }
}

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

使用 clang-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();
    }
}

看起来你想要的是一个分离，这就是我在上面的例子中分离线程的原因。如果这不是您想要的，您可能需要其他方式来处理线程的join()ing。如果您希望主线程和其他线程独立运行，那么您将需要其他一些同步。