如何捕获函数外部定义的linked_list对象构造时new失败的std::bad_alloc异常

你遇到的问题本质是静态存储期对象（全局/命名空间作用域对象）的构造过程发生在main函数执行之前，因此常规写在main内的try-catch无法捕获该阶段抛出的异常，以下是3种可落地的解决方法：

方案1：注册全局终止处理函数捕获未处理异常 #

全局对象构造抛出的异常如果没有被捕获，会直接触发程序调用std::terminate终止运行，你可以提前注册自定义的终止处理函数，在函数内判断异常类型：

#include <exception>
#include <cstdlib>
#include <iostream>

void custom_terminate() {
    try {
        throw; // 重新抛出当前未处理的异常
    } catch (const std::bad_alloc& e) {
        // 匹配linked_list构造中new失败抛出的bad_alloc异常
        std::cerr << "UnLabeledList构造失败：内存分配错误，详情：" << e.what() << "\n";
        // 这里可以加自定义的错误日志、资源清理逻辑
    } catch (...) {
        std::cerr << "全局对象构造阶段发生未知异常\n";
    }
    std::abort();
}

// 提前注册终止处理函数，注意要保证注册逻辑在UnLabeledList构造前执行
// 同编译单元内按定义顺序执行，所以把注册逻辑放在UnLabeledList定义之前即可
const auto register_terminate = [](){
    std::set_terminate(custom_terminate);
    return 0;
}();

方案2：改为惰性初始化单例，控制构造时机 #

把全局对象封装为函数内的静态变量，只有第一次调用函数时才会触发构造，此时已经进入main函数执行阶段，可以正常用try-catch捕获：

// 替换原来的全局UnLabeledList定义
linked_list<int, int>& getUnLabeledList() {
    static linked_list<int, int> instance;
    return instance;
}

所有原来使用UnLabeledList的位置都替换为getUnLabeledList()，你可以在main函数最开头主动调用一次该函数，套上try-catch捕获构造异常：

int main() {
    try {
        getUnLabeledList(); // 主动触发构造
    } catch (const std::bad_alloc& e) {
        // 处理构造失败逻辑
        return 1;
    }
    // 后续正常业务逻辑
}

该方案同时还能解决跨编译单元全局对象初始化顺序不确定的问题，推荐优先使用。

方案3：修改linked_list实现，新增初始化状态标记 #

修改linked_list的构造函数，使用不抛异常的nothrow版本new，新增成员变量标记初始化结果，后续主动调用接口校验：

// 修改后的linked_list构造函数
#include <new>
template<typename S, typename T>
class linked_list {
private:
    bool init_success = false;
    // 其他原有成员变量
public:
    linked_list() noexcept {
        total_nodes = 0;
        first = new(std::nothrow) node<S, T>{}; // 分配失败返回nullptr，不抛异常
        if (!first) {
            init_success = false;
            return;
        }
        first->height = NOT_INIT;
        last = first;
        init_success = true;
    }

    // 新增校验接口
    bool is_valid() const noexcept {
        return init_success;
    }

    // 其他原有成员函数
};

之后你可以在main函数最开头直接校验：

int main() {
    if (!UnLabeledList.is_valid()) {
        // 处理构造失败逻辑
        return 1;
    }
    // 后续业务逻辑
}

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