成员构造函数抛出异常：大括号初始化器与初始化列表对比

你遇到的这个问题，大概率和C++11中列表初始化的匹配规则、聚合类型的判定，或者静态/全局对象的构造异常处理有关，结合你提到的“P类定义稍有不同”和P p {20...}的初始化形式，下面是几种最可能的场景：

1. 列表初始化优先匹配了std::initializer_list构造函数 #

如果你的P类在修改后添加了一个接受std::initializer_list<int>的构造函数，C++标准规定列表初始化会优先选择这个构造函数，而非你原本的int参数构造函数。如果这个initializer_list版本的构造函数没有抛出异常，自然不会触发catch块。

示例代码：

#include <iostream>
#include <stdexcept>
#include <initializer_list>

class P {
public:
    // 你原本的抛异常构造函数
    P(int val) {
        if (val > 10) throw std::runtime_error("Too big");
    }
    // 新增的initializer_list构造函数（无异常）
    P(std::initializer_list<int>) {
        // 这里没有抛出异常的逻辑
    }
};

int main() {
    try {
        P p {20}; // 优先调用initializer_list构造函数，无异常
    } catch (const std::exception& e) {
        std::cout << "Caught: " << e.what() << std::endl; // 不会执行
    }
    return 0;
}

解决方法：如果你想强制调用int构造函数，可以改用括号初始化P p(20)，或者删除/调整initializer_list构造函数的匹配优先级。

2. 修改后的P类变成了聚合类型，未触发构造函数调用 #

在C++11中，聚合类型的判定规则非常严格：一个类是聚合类型，当且仅当它：

• 没有用户声明的构造函数
• 没有private/protected的非静态数据成员
• 没有基类
• 没有虚函数
• 没有默认成员初始化器（C11专属规则，C14及以后放宽了这一点）

如果你的P类在修改后满足了上述条件（比如不小心删除了用户声明的构造函数），那么P p {20}会触发聚合初始化——直接初始化类的成员变量，不会调用任何构造函数。这时候即使你原本的构造函数有抛异常逻辑，也根本不会被执行，catch块自然不会触发。

示例代码：

#include <iostream>
#include <stdexcept>

class P {
public:
    int x;
    // 不小心删除了原本的构造函数，现在P是聚合类型
};

int main() {
    try {
        P p {20}; // 直接初始化x=20，无构造函数调用，无异常
    } catch (const std::exception& e) {
        std::cout << "Caught: " << e.what() << std::endl; // 不会执行
    }
    return 0;
}

解决方法：检查P类的定义，确保存在你期望调用的用户声明构造函数，让它不再是聚合类型。

3. 初始化的是静态/全局存储期对象 #

如果你的P p {20}是在全局作用域、命名空间作用域，或者是main函数内的静态局部对象，根据C++标准，这类对象的构造函数如果抛出未捕获的异常，程序会直接调用std::terminate()终止，而不会进入你写的catch块——因为全局/静态对象的初始化发生在main函数执行之前（静态局部对象是第一次访问时初始化），你的try-catch块无法覆盖这个阶段的异常。

示例代码：

#include <iostream>
#include <stdexcept>

class P {
public:
    P(int val) {
        if (val > 10) throw std::runtime_error("Too big");
    }
};

static P p {20}; // 全局静态对象，构造异常直接触发terminate

int main() {
    try {
        // 这里的代码根本没机会执行，程序已经终止了
    } catch (const std::exception& e) {
        std::cout << "Caught: " << e.what() << std::endl; // 不会执行
    }
    return 0;
}

解决方法：将对象的初始化移到main函数内的非静态局部作用域，或者在构造函数内处理异常，避免向外抛出。

4. GCC 7.2.1在C++11模式下的特定行为 #

虽然可能性较低，但GCC 7.x系列在C11模式下对某些边缘场景的处理可能存在差异。比如，当构造函数是constexpr且在运行期初始化时的异常处理，或者聚合类型与构造函数的混合场景。你可以尝试升级到更高版本的GCC，或者切换到C14/C++17标准编译，看问题是否消失。

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