我可以在 main() 之前捕获异常吗？

Question

我有一些库（实际上是用不同编译器编译的 tbb 库），在main() 正确启动之前抛出异常。有没有办法抓住它？

int main() { std::cout << "Hello World" << std::endl; }

给予

terminating with unexpected foreign exception
Abort (core dumped)

如果我链接到所述库（本示例中未使用，但在其他代码中将使用）。

Answer 1

一般来说，在标准 C++ 中不可能捕获在构造全局变量（超出任何函数范围）期间引发的异常。

我相信最接近的可能性是使用函数try-block作为静态构造函数的主体。

 class MyStatics
 {
      public:

          MyStatics();

      private:

          X x;    // construction may fail
          Y y;    // construction may fail
            // etc
 };

 static MyStatics all_my_statics;

 MyStatics::Mystatics() : x(), y()   // implement using a function try block
 try
 {
     if (some_condition) throw some_exception();   // construction may even fail here
 }
 catch (SomeException &)
 {
     // handler for SomeException
 }

如果在all_my_statics 的构造过程中抛出异常，那么它的任何完全构造的成员都将被破坏（即MyStatics 成员不存在于这样的catch 块中）。

在报告捕获的异常后，catch 块内没有太多选项。主要选项是；

• 抛出（或重新抛出）异常（因为MyStatics 的构造失败）。该异常将导致调用std::terminate()。
• 以其他被认为“更干净”的方式终止程序。

在构造静态变量期间吞下抛出的异常不是一个好主意，因为程序（例如在main() 内）将没有迹象表明它所依赖的静态变量没有正确构造。

将静态对象放在函数中更为常见

  X &the_x()
  try
  {
       static X thing;
       return thing; 
  }
  catch (Whatever &)
  {
       // handler
  }

请记住，每次调用the_x() 都会尝试构造thing，直到其中一个成功（即，如果第一次抛出异常，第二次调用将尝试构造thing，等等）。然而，如果程序中the_x() 的第一次调用可以被识别并捕获到异常（即将它包装在try/catch 中），则没有必要从后续调用中捕获异常 - 因为，如果第一次调用不抛出，thing构造成功，不再构造。

Answer 2

我发现这很有趣source。它的构造基于std::terminate 功能

他建议使用一种全局的try...catch（你不能继续运行，但你可以根据异常采取行动）：

[[noreturn]] void onTerminate() noexcept
{
    if( auto exc = std::current_exception() ) { 
        // we have an exception
        try{
            rethrow_exception( exc ); // throw to recognize the type
        }
        catch( MyException const& exc ) {
            // additional action
        }
        catch( MyOtherException const& exc ) {
            // additional action
        }
        catch( std::exception const& exc ) {
            // additional action
        }
       catch( ... ) {
            // additional action
        }
    }

    std::_Exit( EXIT_FAILURE );
}

并在发生异常时尽早注册此调用者：

const auto installed{ std::set_terminate(&handler) };

int main() {
    // run...
}

但是你必须知道你不能确定std::set_terminate会在任何实例化之前被调用。