c++ - 如何阻止访客？

Question

典型的访客模式设计如下所示:

template<class Visitor>
void processData(Visitor& visitor)
{
    // maybe in sequence
    visitor.process(...);
    visitor.process(...);
    ...

    // may have expensive computations
    doExpensiveComputations();

    // or in some loops
    for (...)
        visitor.process(...);

    // or in some recursive calls
    recursive(visitor);
}

当访问者对其余数据失去兴趣(例如找到答案)时，如何尽快返回？

请注意，任何需要更改设计的东西都是 Not Acceptable ，例如，我不想强​​制 Visitor::process 返回一个值并每次都检查它。

我真正想做的是强制堆栈展开，我可以使用异常，但有人告诉我使用异常控制流是反模式。

我认为 Boost.Coroutine 可能会有所帮助，但它仍然使用异常来展开堆栈...

我目前的做法如下:

struct Visitor
{
    void process(T data)
    {
        if (stopped)
            return;
        ...
    }
    ...
};

但这仍然会影响执行方式，以及我们不需要的昂贵计算。

因为在 c++ 中除了可以展开堆栈的异常之外没有其他可移植的方法，我应该在这里使用异常来控制流吗？

Answer 1

Note that anything that needs to change the design is not acceptable, for example, I don't want to force Visitor::process return a value and check it every time.

在这种情况下，“设计”是指“Visitor::process 的签名”。

What I really want to do is to force stack unwinding, I could use exception, but it has been told that using exception for control flow is anti-pattern.

I should just use exception for control flow here?

在这里使用异常不一定是反模式(就像它是一个“中断执行”系统一样 - 这可能是错误也可能不是)。

我曾经遇到过这种情况(“使用异常来指示除错误之外的其他东西”)并且我使用了一个 thowable 类型(它不是直接或间接地从 std::exception 继承的)。我对此的指导方针是“如果它继承自 std::exception，它就是一个错误；否则，它是一个信号，表明处理没有继续”。

为您的示例考虑此实现:

struct ProcessingInterrupted final {}; // <--- thin/empty implementation
                                       // not inheriting std exceptions
                                       // and not inheritable

struct Visitor
{
    void process(T data)
    {
        if(worldEnds)
            throw ProcessingInterrupted{};
        // ...
    }
    ...
};

template<class Visitor>
bool process(Visitor& visitor)
{
    try
    {
        processData(visitor); // taken from your example
        return true;
    }
    catch(const ProcessingInterrupted&)
    {
        return false;
    }
}

// client code
Visitor v;
/* auto success = */ process(v);

有了这个，ProcessingInterrupted 类型会准确地告诉您发生了什么(“处理被中断”)，并且客户端代码(对于您的示例中的 processData 和我的过程)看起来很简约并且具有明确定义的目的。