C++如何调用D'tor？

Question

我写道：

class image {
public:
    linked_list<int, int> UnLabeledList;
    int *SegArray = nullptr;
    int Total_Segments = 0;

    explicit image(int Segments) : SegArray(new int[Segments]) {
        Total_Segments = Segments;
        for (int i = 0; i < Segments; ++i) {
            if (!UnLabeledList.push_back(i, NOT_INIT)) { // allocation failed for one node (Doesn't throw any exception)
                ~UnLabeledList();
                delete[] SegArray;
                throw;
            }
            SegArray[i] = NOT_INIT;
        }
    };
};

万一分配失败，我想销毁对象（因为它以前分配过节点），例如在i==5 分配失败时。如何调用UnLabeledList的d'tor来防止内存泄漏？

Answer 1

你不能像那样直接调用UnLabeledList成员的析构函数。

如果image 构造函数抛出未捕获的异常，则UnLabeledList 成员将被自动销毁，前提是它在抛出异常之前已成功构造。

正确的解决方案是在linked_list 类中实现clear() 方法，您可以在需要时调用该方法，包括在复制构造函数和析构函数中。例如：

template<...>
class linked_list {
    // ...
public:
    linked_list() {
        // initialize the list as needed...
    }

    linked_list(const linked_list &src) : linked_list() {
        for (each node in src) {
            if (!push_back(...)) {
                clear();
                throw ...;
           }
        }
    }

    ~linked_list() {
        clear();
    }

    linked_list& operator=(const linked_list &rhs) {
        // clear and copy the list as needed...
    }

    void clear() {
        // free nodes as needed...
    }

    node* push_back(...) {
        // add new node as needed...
        return ...; // nullptr on error
    }

    //...
};

class image {
public:
    linked_list<int, int> UnLabeledList;
    int *SegArray = nullptr;
    int Total_Segments = 0;

    explicit image(int Segments) : SegArray(new int[Segments]) {
        Total_Segments = Segments;
        for (int i = 0; i < Segments; ++i) {
            if (!UnLabeledList.push_back(i, NOT_INIT)) {
                delete[] SegArray;
                throw ...; // <-- UnLabeledList::~linked_list() called automatically!
            }
            SegArray[i] = NOT_INIT;
        }

    ~image() {
        delete[] SegArray;
    } // <-- UnLabeledList::~linked_list() called automatically!
};

---

您也不能在活动的catch 处理程序之外调用无参数的throw;。在catch 之外，您必须明确地throw 一个实际值/对象。

if (!UnLabeledList.push_back(i, NOT_INIT)) {
    delete[] SegArray;
    throw std::runtime_error("can't push a new node");
}

Answer 2

你不应该自己调用析构函数来清理东西。语言规则会处理它。

建议使用std::vector 和std::list 等标准类，而不是原始数组/指针和自制列表。标准类已经处理了异常和清理，所以你的类应该看起来像

class image {
public:
    std::list<std::pair<int, int>> UnLabeledList;
    std::vector<int> SegArray;
    int Total_Segments = 0;

    explicit image(int Segments) : SegArray(Segments, NOT_INIT), TotalSegments(Segments) {
        for (int i = 0; i < Segments; ++i) {
            UnLabeledList.push_back({i, NOT_INIT});
        }
    };
};