使用 CoInitialize 和 CoUninitialize 引发 C++ 异常

Question

我有这样的功能：

bool op1();
bool op2();

bool foo() {
  CoInitialize(nullptr);
  if (!op1()) {
    CoUninitialize();
    return false;
  }
  // do more stuff, then call op2...
  if (!op2()) {
    CoUninitialize();
    return false;
  }
  // happy path
  CoUninitialize();
  return true;
}

我想重构foo() 来抛出异常：

void foo() {
  CoInitialize(nullptr);
  if (!op1()) {
    CoUninitialize(); // I'm lazy, can't I automate this call?
    throw std::exception("Failed");
  }
  // ...

但我每次遇到错误都必须致电CoUninitialize()。

我曾想过将 COM 初始化调用封装在一个类中，所以析构函数 will do the cleanup，但是有一个未使用的对象对我来说感觉很奇怪：

class comlib {
public:
  comlib() { CoInitialize(nullptr); }
  ~comlib() { CoUninitialize(); } // automated!
};

void foo() {
  comlib nobodyEverCallsMe;
  if (!op1()) {
    throw std::exception("Failed");
  }
  // ...

有更好的方法吗？

Answer 1

有更好的方法吗？

没有。

使用 RAII (Responsibility¹ Acquisition is Initialization) 习惯用法在退出时进行清理是您试图解决的问题的标准 C++ 解决方案。如果是 COM，我会提出以下实现：

#include <Windows.h>
#include <comdef.h>

struct com_init
{
    com_init()
    {
        HRESULT hr{::CoInitialize(nullptr)};
        if (FAILED(hr))
        {
            throw _com_error{hr};  // _com_error is declared in comdef.h
        }
    }
    com_init(com_init const&) = delete;
    com_init& operator=(com_init const&) = delete;

    ~com_init()
    {
        ::CoUninitialize();
    }
};

在您的示例中使用如下：

void foo()
{
    com_init guard{};

    if (!op1())
        throw std::exception{"Failed"};
    // ...

使用 C++17 可以将对象标记为 [[maybe_unused]]，以防止编译器警告以及传达意图。

理由：

该实现使用了一个在失败时抛出异常的构造函数。这样做有很多充分的理由：

• 空格：此实现不需要存储任何状态信息以允许析构函数有条件地执行清理。
• 一致性：C++ 是围绕异常构建的。将基于异常的代码与通过错误代码报告错误的代码交织在一起既令人困惑，也更难理解。
• 可靠性：未能初始化 COM 是灾难性的故障。没有可以想象的方法可以从中恢复。不容忽视。您不能忽略异常。错误代码的默认设置是忽略它们；您无需为此做任何事情。

---

¹ 通常标记为 “资源”，但这并不完全符合它提供的多功能性。我更喜欢“责任”。

Answer 2

Raymond Chen 已经using this method 有一段时间了，所以我确定没关系，只要记住如果CoInitialize SUCCEEDED 时才拨打CoUninitialize！

class CCoInitialize {
  HRESULT m_hr;
public:
  CCoInitialize() : m_hr(CoInitialize(NULL)) { }
  ~CCoInitialize() { if (SUCCEEDED(m_hr)) CoUninitialize(); }
  operator HRESULT() const { return m_hr; }
};


void Something()
{
  CCoInitialize init;
  ...
}

如果 CoInitialize 失败，有些人可能想在构造函数中抛出，但我觉得这是不必要的，因为其他 COM 调用将失败。仅当您需要从 CoInitialize 捕获确切的 HRESULT 失败代码时才执行此操作。