C++自动终结或对象销毁

Question

在这个例子中，我遇到了复制代码的问题：

void BadExample1() {
if (!Initialize1())
return;
if (!Initialize2())  {
Finalize1();
return;
}
if (!Initialize3())  {
Finalize1();
Finalize2();
return;
}
if (!Initialize4()) {
Finalize1();
Finalize2();
Finalize3();
return;
}
// some code..
Finalize1();
Finalize2();
Finalize3();
Finalize4();
}

这里有一个错误的代码结构。如果我有很多构造，代码的宽度会太大，这也是不好的：

void BadExample2() {
if (Initialize1()) {
if (Initialize2()) {
if (Initialize3()) {
if (Initialize4()) {
if (Initialize5()) {
// some code..
Finalize5();
}
Finalize4();
}
Finalize3();
}
Finalize2();
}
Finalize1();
}
}

如何保存好的代码结构并解决代码复制问题？Finalize1/2/3是一个API函数，而不是我的程序类。也许一些STL容器可以解决这个问题？也许是这样的？

void GoodExample() {
if (!Initialize1())
return;
RaiiWrapper<void(*)()> raii_wrapper1([]() {
Finalize1();
});
if (!Initialize2())  {
//Finalize1();
return;
}
RaiiWrapper<void(*)()> raii_wrapper2([]() {
Finalize2();
});
if (!Initialize3())  {
//Finalize1();
//Finalize2();
return;
}
RaiiWrapper<void(*)()> raii_wrapper3([]() {
Finalize3();
});
if (!Initialize4()) {
//Finalize1();
//Finalize2();
//Finalize3();
return;
}
RaiiWrapper<void(*)()> raii_wrapper4([]() {
Finalize4();
});
// some code..
//Finalize1();
//Finalize2();
//Finalize3();
//Finalize4();
}

Answer 1

为什么不使用真实对象？

struct SetupPart1 {
SetupPart1  () { if (!Initialize1() throw std::runtime_error("Part1"); }
~SetupPart1 () { Finalize1(); }
};

对于第2、3、4部分依此类推。现在您的示例如下：

void GoodExample() {
try {
SetupPart1 p1;
SetupPart2 p2;
SetupPart3 p3;
SetupPart4 p4;
// some code ...
}
catch { const std::runtime_error &ex ) {
std::cerr << "GoodExample Failed: " << ex.what << std::end;
}
}

Answer 2

您可以简化马歇尔的建议，并使用尚未标准化的std::make_unique_resource()(该函数与scope_guard密切相关，这是安德烈·亚历山德雷斯库几年前提出的一个装置，也在该建议中(。这为您提供了一个具有两个函数的对象——一个在变量作用域的开始运行，另一个在其结束运行(即分别在构造和销毁时(。

然后，您不需要定义四个独立的类，只需编写：

void GoodExample() {
auto r1 = std::make_unique_resource(Initialize1, Finalize1);
auto r2 = std::make_unique_resource(Initialize2, Finalize2);
auto r3 = std::make_unique_resource(Initialize3, Finalize3);
auto r4 = std::make_unique_resource(Initialize4, Finalize4);
// some code
}

该提案有实施守则；而且——一点也不复杂。因此，您可以复制实现并创建自己的not_std::make_unique_resource()函数和相关的模板类。

Answer 3

无论何时从API获得宝贵的资源，都需要使用适当的析构函数将其包装为对象。因此，如果Initialize1初始化something1，那么something1实际上应该是一个知道如何初始化和如何最终确定自己的对象Something1。此外，初始化失败会引发异常(fstream不会这样做，因为fstream比这个概念更老(。

class Something1 {
public: Something1 () { if (!Initialize1()) throw resource_failed ("1"); }
~Something1 () { Finalize1(); }
}