Try-Catch std::bad_alloc 外部函数？

【问题标题】：Try-Catch std::bad_alloc outside function?Try-Catch std::bad_alloc 外部函数？
【发布时间】：2021-11-02 07:34:27
【问题描述】：

我有：

class image {
public:
    linked_list<int, int> UnLabeledList;

    explicit image(int Segments) {//some code}
};

链表的C'tor在哪里：

linked_list() {
    total_nodes = 0;
    first = new node<S, T>{}; //Dummy
    first->height = NOT_INIT;
    last = first;
}

如何检测这条线路是否失败？ linked_list<int, int> UnLabeledList;

它在任何函数之外，所以我不能尝试并捕捉......

【问题讨论】：

您可以使用函数尝试块 "...函数尝试块将一系列 catch 子句与整个函数体以及 成员初始值设定项相关联列表（如果在构造函数中使用）..."请参阅此处的示例en.cppreference.com/w/cpp/language/function-try-block

标签： c++ class try-catch new-operator allocation

【解决方案1】：

在本例中，您根本不需要在image 构造函数中检测异常。该异常将取消UnLabeledList 成员的构造，该成员在image 构造函数的成员初始化期间运行，然后进入image 构造函数的主体。在抛出异常之前成功创建的任何其他image 成员将被自动销毁。

异常将被抛出到构造image 对象的代码中。如果需要，您可以在该代码中使用 try/catch。

如果您绝对需要在 image 的构造函数中捕获异常（这在正确编写的代码中非常罕见），您可以在构造函数的 member initialization list 周围使用 function-try，例如：

class image {
public:
    linked_list<int, int> UnLabeledList;

    explicit image(int Segments) try : UnLabeledList() {
        // some normal code...
    } catch (...) {
        // some error handling code...
    } // <-- exception is automatically rethrown here!
};

【讨论】：