如何阻止訪客？

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

怎能遊客儘快返回，當它失去其餘數據的利益（例如，回答被發現）？

請注意，任何需要更改設計的內容都是不可接受的，例如，我不想強​​制Visitor :: process返回值並每次檢查一次。

我真正想要做的是強制堆棧展開，我可以使用異常，但它已被告知使用異常控制流是反模式。

我想Boost.Coroutine可能會有幫助，但它仍然使用例外棧展開......

我現在要做的就是象下面這樣：

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

但是，這仍然會往下走的路的執行，以及我們不需要的昂貴的計算。

由於除了可以展開堆棧的異常外，在C++中沒有其他可移植的方式，所以我應該在這裏使用異常來控制流？

Answer 1

請注意，任何需要更改設計的內容都是不可接受的，例如，我不想強​​制Visitor :: process返回值並每次檢查一次。

在這種情況下，「設計」，我會假設你的意思是「Visitor :: process的簽名」。

我真正想做的是強制堆棧展開，我可以使用異常，但它已被告知使用異常控制流是反模式。

我應該在這裏使用異常控制流程？

在這裏使用異常不一定是反模式（儘管它是一個「中斷執行」系統 - 可能是錯誤或不）。我曾經遇到過這種情況（「使用異常來表示其他信息而不是錯誤」），並且我使用了一個可以接受的類型（它不是直接或間接地從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類型告訴你到底是什麼在你的榜樣回事（「處理中斷」）和客戶端代碼（這兩個過程數據並在我的過程）看起來簡約，並有明確的目的。

Answer 2

您可以禁用boost.coroutine的堆棧展開（類屬性） 示例/ cpp03/asymmetric/same_fringe.cpp顯示遍歷樹的變體遞歸 - 也許它會幫助你。