正确终止程序。使用例外

时间:2015-08-27 19:22:06

标签: c++ multithreading c++11 exception-handling raii

问题:如果我想要的只是显示错误信息并关闭(假设我可能深入程序),是否正确使用例外来终止我的程序?我可以直接显式调用exit()吗?

我目前正在做什么:

我正在开发一个游戏项目,并试图找出在需要执行此类操作的错误的情况下终止程序的最佳方法。例如,在无法加载纹理的情况下,我会显示错误消息并终止程序。

我目前正在这样做,例如:

int main()
{
   Game game;
   try
   {
       game.run();
   }
   catch (BadResolutionException & e)
   {
       Notification::showErrorMessage(e.what(), "ERROR: Resolution");
       return 1;
   }
   catch (BadAssetException & e)
   {
       Notification::showErrorMessage(e.what(), "ERROR: Assets");
       return 1;
   }
   catch (std::bad_alloc & e)
   {
       Notification::showErrorMessage(e.what(), "ERROR: Memory");
       return 1;
   }
   return 0;
}

除了bad_alloc之外的所有内容都是我自己定义的从runtime_error派生的异常。

我不需要任何手动资源清理,并且我使用std :: unique_ptr进行任何动态分配。我只需要显示错误消息并关闭程序。

例外的研究/替代方案:

我在SO和其他地方查了很多帖子,并且看到其他人说过不使用例外情况,使用例外情况,但你使用了错误。我也明确地查询了类似exit()的内容。

使用exit()听起来不错,但我读过它不会通过调用堆栈返回主要清理所有内容(如果我能再次找到它,我会发布帖子)链接)。此外,根据http://www.cplusplus.com/reference/cstdlib/exit/,如果多个线程处于活动状态,则不应使用此值。我确实希望在短时间内创建第二个线程至少一次,并且该线程可能会发生错误。

未使用例外在此处与游戏https://gamedev.stackexchange.com/questions/103285/how-industy-games-handle-their-code-errors-and-exceptions

相关的一些回复中提及 这里讨论了

使用例外http://www.quora.com/Why-do-some-people-recommend-not-using-exception-handling-in-C++

我读过其他一些资料,但那些是我最近看过的资料。

个人结论:

由于我在处理错误处理和使用例外方面的经验有限,我不确定我是否在正确的轨道上。我根据上面发布的代码选择了使用例外的路线。如果您同意我应该例外处理这些案件,我是否正确使用它?

5 个答案:

答案 0 :(得分:16)

将所有异常传播到main通常被视为良好做法。这主要是因为您可以确定堆栈已正确展开并且所有析构函数都被调用(请参阅this answer)。我也认为以这种方式做事更有条理;你总是知道程序将在哪里终止(unless the program crashes)。它还有助于更一致的错误报告(在异常处理中经常被忽略;如果您无法处理异常,则应确保您的用户确切知道原因)。如果你总是从这个基本布局开始

int main(int argc, const char **argv)
{
    try {
         // do stuff
         return EXIT_SUCCESS;
    } catch (...) {
        std::cerr << "Error: unknown exception" << std::endl;
        return EXIT_FAILURE;
    }
}
然后你不会走错路。您可以(并且应该)添加特定的catch语句,以便更好地报告错误。

多线程时的例外情况

使用标准库功能在C ++ 11中异步执行代码有两种基本方法:std::asyncstd::thread

首先是简单的一个。 std::async将返回std::future,它将捕获并存储在给定函数中抛出的任何未捕获的异常。在将来调用std::future::get将导致任何异常传播到调用线程。

auto fut = std::async(std::launch::async, [] () { throw std::runtime_error {"oh dear"}; });
fut.get(); // fine, throws exception

另一方面,如果std::thread对象中的异常未被捕获,则将调用std::terminate

try {
    std::thread t {[] () { throw std::runtime_error {"oh dear"};}};
    t.join();
} catch(...) {
    // only get here if std::thread constructor throws
}

对此的一个解决方案是将std::exception_ptr传递给std::thread对象,它可以将异常传递给:

void foo(std::exception_ptr& eptr)
{
    try {
        throw std::runtime_error {"oh dear"};
    } catch (...) {
        eptr = std::current_exception();
    }
}

void bar()
{
    std::exception_ptr eptr {};

    std::thread t {foo, std::ref(eptr)};

    try {
        // do stuff
    } catch(...) {
        t.join(); // t may also have thrown
        throw;
    }
    t.join();

    if (eptr) {
        std::rethrow_exception(eptr);
    }
}

虽然更好的方法是使用std::package_task

void foo()
{
    throw std::runtime_error {"oh dear"};
}

void bar()
{
    std::packaged_task<void()> task {foo};
    auto fut = task.get_future();

    std::thread t {std::move(task)};
    t.join();

    auto result = fut.get(); // throws here
}

但除非您有充分理由使用std::thread,否则请更喜欢std::async

答案 1 :(得分:8)

捕获不可恢复的错误并以这种方式关闭程序没有任何问题。实际上,应该如何使用异常。但是,在一般情况下,请注意不要越过使用异常来控制程序的流程。它们应始终表示在错误发生的级别无法正常处理的错误。

调用exit()不会在您调用它的任何地方展开堆栈。如果你想要干净利落地退出,你已经做的事情是理想的。

答案 2 :(得分:5)

您已经接受了答案,但我想补充一点:

  

我可以直接显式调用exit()吗?

您可以致电退出,但(可能)不应该。

std::exit应保留用于您想要表达&#34;立即退出的情况!&#34;,而不仅仅是#34;应用程序没有任何事情要做&#34;。

例如,如果您要为癌症治疗中使用的激光编写控制器,那么在出现问题时您的首要任务是关闭激光并调用std::exit - 或者可能{{1 (以确保悬挂,缓慢或崩溃的应用程序的任何副作用不会杀死患者)。

类似于不应该使用异常来控制应用程序流程,std::terminate不应该用于在正常情况下停止应用程序。

答案 3 :(得分:3)

  

如果我想要的只是显示错误消息并关闭(假设我可能深入程序中),是否正确使用异常来终止我的程序?

是。这是使用例外的原因。代码内部发生错误,更高级别的内容将处理它。在你的情况下,在最高级别。

存在/反对异常与错误代码的争论,这是一个很好的阅读:

Exceptions or error codes

  

我可以直接显式调用exit()吗?

您可以,但最终可能会复制您的日志记录代码。此外,如果将来您决定要以不同方式处理异常,则必须更改所有退出呼叫。想象一下,你想要一个不同的信息,或者回到另一个过程。

另一个类似的问题:

Correct usage of exit() in c++?

由于您没有处理所有(C ++)异常,因此您的方法也存在缺陷。你想要这样的东西:

int main()
{
    Game game;
    try
    {
        game.run();
    }
    catch (BadResolutionException & e)
    {
        Notification::showErrorMessage(e.what(), "ERROR: Resolution");
        return 1;
    }
    catch (BadAssetException & e)
    {
        Notification::showErrorMessage(e.what(), "ERROR: Assets");
        return 1;
    }
    catch (std::bad_alloc & e)
    {
        Notification::showErrorMessage(e.what(), "ERROR: Memory");
        return 1;
    }
    catch (...)
    {
        // overload?
        Notification::showErrorMessage("ERROR: Unhandled");
        return 1;
    }

    return 0;
}

如果你没有处理所有*异常,你可以让游戏终止,而不会告诉你任何有用的东西。

您无法处理所有异常。看到这个链接:

C++ catching all exceptions

答案 4 :(得分:2)

来自文档:

  

[[noreturn]] void exit(int status);   终止呼叫过程   正常终止进程,执行常规清理以终止程序。

正常程序终止执行以下操作(按相同顺序): 与具有线程存储持续时间的当前线程关联的对象将被销毁(仅限C ++ 11)。 具有静态存储持续时间的对象被销毁(C ++)并且使用atexit注册的函数被调用。 所有C流(使用函数打开)都会关闭(并刷新,如果已缓冲),并且删除了使用tmpfile创建的所有文件。 控制权返回给主机环境。

请注意,调用exit(C ++)不会破坏具有自动存储的对象。

如果status为零或EXIT_SUCCESS,则会向主机环境返回成功的终止状态。 如果status为EXIT_FAILURE,则会向主机环境返回不成功的终止状态。 否则,返回的状态取决于系统和库的实现。

对于不执行上述清理的类似功能,请参阅quick_exit。