有条件地处理成员变量初始化期间的异常

Question

你好民间的StackOverflow。

有没有更好的方法处理成员变量的构造函数中的异常？我不得不与一个库类进行交互，它可能会或可能不会在它的构造函数中抛出异常（不能提前检查），我想避免在我的类中使用指针（如果发生崩溃，我希望全部即使我搞砸了，也可以正确调用析构函数）。我已经目前此实现结算（包括了一个实例的虚拟存根）：

class class_I_have_no_control_over{ 
    public: 
    class_I_have_no_control_over(int someArgument) 
    { 
     if(someInternalConditionThatCantBeTestedExternally) 
      throw anException; 
    } 

    class_I_have_no_control_over() 
    { //Does not throw 
    } 
} 

class MyClass{ 
    private: 
    class_I_have_no_control_over memberVariable; 

    public: 
    MyClass() 
    { 
     try{ 
      class_I_have_no_control_over tempVariable(24); 
      memberVariable = std::move(tempVariable); 
     }catch(...) 
     { 
      class_I_have_no_control_over tempVariable(); 
      memberVariable = std::move(tempVariable); 
     } 
    } 
} 

我认为第一种方法是尝试捕获的初始化列表：即

class MyClass{ 
    private: 
    OtherClassThatTrowsOnConstruct member; 

    MyClass() 
     try: 
     member() 
     {//Normal constructor 
     } 
     catch(...) 
     {//Can translate an exception but cant stop it. 
     } 

但只能用这种方法翻译异常，而不是阻止它们（如果你不抛出异常，运行时将重新抛出原始异常）。

有人会说使用动态分配（即与新的和删除关键字的指针），但由于这个库处理进程之间的共享内存，我有点厌倦了在发生崩溃时动态内存内容会发生什么在其中一个应用程序中（例如析构函数从不调用，另一个应用程序正在等待不再运行的应用程序永远不会意识到它不再监听）。

Answer 1

第一个版本会有所简化，不改变其行为：

MyClass() try { 
    memberVariable = class_I_have_no_control_over(24); // move from temporary 
} catch (...) { 
    // no need to do anything; memberVariable is already default-constructed 

    // Unless the class is so evil that move-assignment might fail and leave 
    // the target in a messed-up state. In which case you probably want 
    memberVariable = class_I_have_no_control_over(); 
    // If that fails, you should probably give up and let the exception go. 
} 

除非你有进一步的限制（例如无法移动类），这是对付你的情况最好的方式。如果它不可移动，那么动态分配可能是一个合理的选择;使用智能指针，可能是std::unique_ptr，以确保它与MyClass对象一起销毁。

#include <memory> 

class MyClass{ 
    private: 
    std::unique_ptr<unmovable_evil> memberVariable; 

    public: 
    MyClass() try { 
     memberVariable.reset(new unmovable_evil(24)); 
    } catch(...) { 
     memberVariable.reset(new unmovable_evil); 
    } 
}; 

您也可以考虑将boost::optional作为动态分配的非标准替代方案。