C++代码出现core dump问题咨询：构造函数异常捕获未生效

编写了一段C++代码，在Q类构造函数中使用函数try块捕获异常。当传入参数b=0时，预期仅抛出std::runtime_error并被捕获，不会触发core dump，但实际输出出现“Aborted (core dumped)”。怀疑是执行了a/b导致，但b为0时该逻辑本不应执行，想咨询原因。

实际输出 #

Catch 
terminate called after throwing an instance of 'std::runtime_error'
  what():  ZERO DIV
Aborted (core dumped)

预期输出 #

Catch 
terminate called after throwing an instance of 'std::runtime_error'
  what():  ZERO DIV

代码示例 #

#include <iostream>
#include <stdexcept>
#include <optional>

using namespace std;

class Q {
public:
    Q(int a, int b) try
    : val(b != 0 ? a / b : throw runtime_error("ZERO DIV"))
    {
        cout << "Q()" << endl;
    }
    catch(...)
    {
        cout << "Catch " << endl;
        val = nullopt;
    }
    ~Q() {
        cout << "~Q()" << endl;
    }
private:
    optional<int> val;
};


int main() {
    Q q = {1, 0};
    return 0;
}

问题原因与解决方案 #

核心原因 #

C++标准明确规定：构造函数的函数try块在捕获异常后，如果catch子句没有主动重新抛出异常，那么异常会被自动重新抛出。这是因为构造函数的本质是完成对象初始化，一旦初始化过程抛出异常，对象并未成功构造，必须让异常继续传播，告知调用者对象构造失败。

你的代码中，catch块仅执行了val = nullopt，没有重新抛出异常，编译器会自动帮你重新抛出原本的std::runtime_error，最终触发std::terminate调用，导致程序abort并生成core dump。

另外，你担心的a/b执行问题并不存在：三元运算符b != 0 ? a / b : throw ...的逻辑是正确的，当b=0时会直接执行throw分支，不会进入a/b的计算，所以除零操作没有发生。

解决方案 #

要避免core dump，有两种常见处理方式：

1. 重新抛出异常：让上层调用者处理构造失败的情况
   修改catch块：

   catch(...)
   {
       cout << "Catch " << endl;
       val = nullopt;
       throw; // 重新抛出异常，将构造失败的信息传递给调用者
   }
   

   此时若在main函数中添加对应的try-catch捕获该异常，就能正常处理，不会触发core dump。

2. 直接终止程序：在catch块中调用std::exit强制结束程序，避免异常传播
   需要先包含<cstdlib>头文件，然后修改catch块：

   #include <cstdlib>
   // ...
   catch(...)
   {
       cout << "Catch " << endl;
       val = nullopt;
       std::exit(EXIT_FAILURE); // 直接终止程序，不会触发后续的terminate
   }
   

内容的提问来源于stack exchange，提问作者mascai