异常抛出时避免内存泄漏的方法

Question

这是C++ Primer第18章的练习:

void exercise(int *b, int *e)
{
    vector<int> v(b, e);
    int *p = new int[v.size()];
    ifstream in("ints");
    // exception occurs here
}

上面的代码会导致内存泄漏,因为我们直接管理的内存(即p)在发生异常时不会自动释放.

练习18.3:

如果抛出异常,有两种方法可以使前面的代码正常工作.描述它们并实施它们.

我知道我们可以使用智能指针来避免这个陷阱:

void exercise(int *b, int *e)
{
    vector<int> v(b, e);
    unique_ptr<int[]> p(new int[v.size()]);
    ifstream in("ints");
    // exception occurs here
}

要么:

void exercise(int *b, int *e)
{
    vector<int> v(b, e);
    shared_ptr<int> p(new int[v.size()], [](int *p){ delete[] p; });
    ifstream in("ints");
    // exception occurs here
}

我不确定这些是不是TWO.毕竟,它们实际上是相同的.所以我想到了另一种方式:

void exercise(int *b, int *e)
{
    vector<int> v(b, e);
    int *p = new int[v.size()];
    ifstream in("ints");
    // exception occurs here
    if(!in)
        throw p;
}

// caller
try {
    exercise(b, e);
} catch (int *err) {
    delete[] err; // initialize err with b and delete e.
}

如果发生异常,则抛出p初始化另一个指针并删除该指针.我知道这不是一个完美的解决方案,因为可能会发生其他异常,所以我甚至没有机会抛出p.但我想不出更好的一个.你能帮忙找到第二种方式吗？

Answer 1

您可以显式捕获并重新抛出异常：

void exercise(int *b, int *e)
{
    vector<int> v(b, e);
    int *p = new int[v.size()];
    try {
        ifstream in("ints");
        // exception occurs here
    } catch (...) {
        delete[] p;
        throw;
    }
    delete[] p;
}

当然，如果您有多个资源需要释放，那么这就不那么有效了，因为您最终可能会得到嵌套的 try/catch 块。更不用说你有两个delete一new。所以RAII是首选。