2

假设我想要一个堆栈分配的对象，该对象可能在构造过程中抛出，但又想在调用站点处理异常，我如何使该对象可以从构造它的 try 块外部访问？

例如

class MyThrowingClass {

MyThrowingClass() {throw exception();}

doSomethingImportant() {
//...
}

};

int main() {

//Need to catch the exception:
try {
MyThrowingClass myObj;
} catch() {
//actually handle the error
//...
}

//Also need to use myObj later on
myObj.doSomethingImportant();//but we can't use it here because it was scoped to the try block...
}

如果我将 myObj 封装在 try 中，则 try 范围之外的任何内容都看不到它，但我不想在其中包含其他所有内容，因为这样代码就变成了 30 级嵌套的 try 块，这就是异常处理应该使用 init 函数错误代码的替代方法来删除。

我无法在构造函数中处理异常，因为对异常的反应取决于使用 MyThrowingClass 的上下文。

显然这个问题可以通过一个

MyThrowingClass* pMyObj;

然后能够包装

pMyObj = new MyThrowingClass();

但这肯定也可以通过堆栈分配的对象来实现吗？

是做类似事情的唯一解决方案

MyThrowingClass myObj;

try {
    myObj.init();
} catch(...) {
//...
}

在这一点上，我们基本上回到了与错误代码一样糟糕的状态，并且有一个未初始化或部分初始化的对象。

请注意，这不是一个全局对象，我想要在许多地方实例化的东西。

拥有一个包含整个作用域的 try 块（这里是 main 中的所有内容）并在该 try 块的末尾捕获处理每个可能的异常的 try 块，而不是能够模糊地处理附近的异常，这真的是理想的解决方案吗？到他们的网站？

int main() {
try {

//absoultely everything

}
catch (exceptionTypeA &a) {
//...
}
catch exceptionTypeB &b) {

}

}
4

3 回答 3

4

如何使对象可以从构造它的 try 块外部访问？

如果构造失败，则对象不存在；所以没有什么可以访问的。

当然这也应该通过堆栈分配的对象来实现？

自动（即堆栈分配的）对象仅初始化一次，因此即使您处理了异常，也无法返回并尝试重新初始化它。如果您确实希望能够重试，那么您将不得不使用更复杂的东西，例如您建议的动态分配或两阶段初始化。另一种选择是一些东西boost::optional（或者，从明年开始，std::optional），它允许您在一块自动存储中随意创建和销毁对象。

拥有一个包含整个范围的 try 块真的是理想的解决方案吗？

在典型情况下，异常不在本地处理并且初始化失败表示不可恢复的错误，是的。在您的特殊情况下，您可以在本地处理并恢复，不。

于 2013-10-28T15:45:43.867 回答
1

try旨在限定可以因某种原因抛出的对象。通过解决它，您正在规避它试图保护您免受伤害的东西（使用定义不明确的对象。）考虑使用函数来生成对象。通过使用noexcept移动构造函数，您可以保证移出对象是安全的：

class MyThrowingClass {
  public:
    MyThrowingClass() {
        throw exception();
    }

    // throw() is *okay* if you don't have noexcept
    MyThrowingClass(const MyThrowingClass && other) noexcept { 
    }

};


MyThrowingClass GetObj() {
    try {
        return std::move(MyThrowingClass());
    } catch(...) {
        // return some well defined default or terminate program
    }
}

int main() {
    MyThrowingClass myObj(std::move(GetObj()));
}
于 2013-10-28T15:49:17.580 回答
1

假设我想要一个堆栈分配的对象，该对象可能在构造过程中抛出，但又想在调用站点处理异常，我如何使该对象可以从构造它的 try 块外部访问？

基本上，你不能。至于将所有代码包装在 try 块中是好是坏，这取决于“所有代码”的大小——十几行左右没什么大不了的。

MyThrowingClass::doSomethingImportant()如果初始化程序抛出，您真的要调用吗？除非您以某种方式保证修复损坏的初始化，否则您将在catch部分初始化的对象上调用方法。

在与构造对象相同的 try 块中包含对的调用doSomethingImportant()将为您提供确切的异常设计用途：如果出现问题，请跳过以下代码（取决于前面的代码）到错误处理程序.

于 2013-10-28T15:54:40.643 回答