当 RAII 对象构建失败时

Question

假设我构造一个 RAII 对象，该对象可能无法构造。我该如何处理这个问题？

try {
    std::vector<int> v(LOTS);
    // try scope ends here because that's what the catch is for
} catch( const std::bad_alloc& ) {
    // ...
}
// v? what v?

当然，std::vector 的默认构造函数不会抛出异常，这会有所帮助，但这不是一般情况。构造函数很可能会抛出异常。如果我想处理任何资源获取失败，我该如何做到这一点，同时在它不抛出时仍然能够继续？

编辑：澄清一下，我的问题是，如果资源无法获取，那么我可能想重试，依此类推。也许我可以尝试获取替代资源。

Answer 1

取决于你所说的“继续”是什么意思。无论什么操作需要资源都会失败：这就是“需要”的含义。因此，当您想在错误后继续时，您可能最终会编写如下代码：

void something_using_RAII(thingummy &t) {
    vector<int> v(t.size_required);
    // do something using v
}

...

for each thingummy {
    try {
         something_using_RAII(this_thingummy);
    } catch(const std::bad_alloc &) {
         std::cerr << "can't manage that one, sorry\n";
    }
}

这就是为什么您应该只在可以用它们做一些值得做的事情时捕获异常（在这种情况下，报告失败并继续进行下一个事情ummy） 。

如果您想在失败时重试，但前提是构造函数失败，而不是其他任何失败：

while(not bored of trying) {
    bool constructor_failed = true;
    try {
        vector<int> v(LOTS);
        constructor_failed = false;
        // use v
    } catch(...) {
        if (!constructor_failed) throw;
    }
}

这或多或少是 std::new_handler 的工作方式 - 在 catch 中调用处理程序类似循环的子句，尽管不需要标志。

如果您想在失败时尝试不同的资源：

try {
    vector<int> v(LOTS);
    // use v
} catch(...) try {
    otherthing<int> w(LOTS);
    // use w
} catch(...) {
    // failed
}

如果“use v”和“use w”基本上是相同的代码，则重构为函数并从两个地方调用它。此时你的函数正在做很多事情。

Answer 2

如果 RAII 构造函数抛出异常，则抛出点之前绑定到 RAII 对象的所有资源都将被正确清理。 C++ 规则的设计合理就是为了保证这一点。

如果您的 v 构造由于 bad_alloc 而抛出异常，则在 try 块中的 v 之前创建的任何 RAII 对象都将得到妥善清理。

因此，如果您随后使用 RAII，则不需要像这样手动 try / catch，因为 RAII 对象会为您处理清理工作。如果您出于某种原因确实需要它，在上面的情况下您可以像下面这样使用交换。

std::vector<int> v;
try {
    std::vector<int> vtry(LOTS);
    v.swap(vtry); // no-throw
} catch( const std::bad_alloc& ) {
    // ...
}
// v!

Answer 3

如果无法创建v，则所有尝试使用v的代码都无法执行。将 catch 移到 code 使用 v 的代码后面，放在如果没有 v 则可以合理继续执行的位置。

Answer 4

所有使用 v 的代码都需要位于 try 块中。如果问题是如何缩小抛出异常的代码范围，您可以使用某种标志来指示您在 try 块中的位置，如下所示：

string flag;
try
{
    flag = "creating vector<int> v";
    std::vector<int> v(LOTS);

    flag = "performing blaggity bloop";
    blaggity_bloop();

    flag = "doing some other stuff";
    some_other_stuff();
}
catch( const std::bad_alloc& )
{
    cerr << "Bad allocation while " << flag << endl;
}