0

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

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();
}

Bnd 这里是一个糟糕的代码结构。如果我有很多构造，代码的宽度会太大，这也很糟糕：

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();
}
4

3 回答 3

4

为什么不使用实物？

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;
        }
    }
于 2020-09-14T18:52:30.000 回答
3

您可以简化 Marshall 的建议并使用尚未标准化的（此功能与Andrei Alexandrescu 几年前以及该提案中提出的一个装置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()函数和相关的模板类。

于 2020-09-14T19:01:33.500 回答
0

每当您从 API 获得宝贵的资源时，您都需要使用适当的析构函数将其包装为对象。所以，如果Initialize1初始化，something1那么something1应该是一个Something1知道如何初始化以及如何完成自身的对象。此外，初始化失败应该引发异常（这没有完成，fstream因为fstream比这个概念更早）。

class Something1 {
public: Something1 () { if (!Initialize1()) throw resource_failed ("1"); }
~Something1 () { Finalize1(); }
}
于 2020-09-14T18:45:28.440 回答