c++ - 清除 C++ 异常的析构函数中的代码

Question

我们可以使用异常的析构函数作为放置一些清理代码的地方吗？

以这种方式，我们可以允许客户端控制最终确定步骤，而不是 RAII。这是好设计还是坏设计？这是 OOP 和 C++ 上下文中的正确解决方案吗？

我目前正在研究一个异步过程，它本身异步启动多个任务。该模式如下所示:

struct IAsyncResult
{
    ...
    virtual void EndCall() const;
}
typedef std::shared_ptr<IAsyncResult> IAsyncResultPtr;

struct IAsyncTask
{
    virtual IAsyncResultPtr BeginTask() = 0;
    virtual void EndTask(IAsyncResultPtr async) const = 0;
}

class CompositeTask : public IAsyncTask
{
    …
}

不幸的是，我无法保证每个子任务的 BeginTask 方法都不会失败。所以有可能 N-1 个子任务成功启动而第 N 个失败。

一般来说，确保在客户端代码完成之前没有后台任务正在运行是至关重要的。但有时客户并不关心某些任务是否失败。

所以我当前的解决方案涉及一个自定义异常，如果一个任务无法启动，该异常会从 CompositeTask 的 BeginAsync 方法中抛出。这允许客户端控制清理阶段:

class composite_async_exception : public std::exception
{
    std::vector<IAsyncResultPtr> successfully_started_tasks;
    mutable bool manage_cleanup;
public:
    composite_async_exception(std::vector<IAsyncResultPtr> const& _successfully_started_tasks)
        : successfully_started_tasks(_successfully_started_tasks)
        , manage_cleanup(true)
    {
    }

    virtual ~composite_async_exception() throw()
    {
        if(!manage_cleanup)
            return;
        for( auto task = successfully_started_tasks.begin(); task != successfully_started_tasks.end(); ++task)
        {
            task->CancelTask();
        }
    }

    void Giveup() const throw()
    {
        manage_cleanup = false;
    }
};

客户端使用代码如下:

try
{
    compositeTask.BeginAsync();
}
catch(composite_async_exception const& ex)
{
    //prevent the exception to cancel tasks
    ex.Giveup();
    // some handling
}

是否有一些最佳实践来处理这种情况？

Answer 1

• 异常可以被复制，然后多次调用析构函数。在你的情况下，这似乎不是问题。
• 异常处理机制可能会通过销毁临时异常对象来停止您的任务，从而在抛出点而非处理任务时中止您的任务。

要验证这个应该阅读标准，我懒得做。