後戻りの問題では機能

Question

に一時的に改変ベクターを渡し、私は、ベクターが、各レベルで変更されるように関数にベクトルを渡すために必要なのです無関係なコード。

私は後でpop_backする必要がないようにベクターの変更を簡略化する方法はありますか？

Answer 1

私は何を持っていることは、すでにかなり読み取り可能であることを見つけます。私が改善する点は2つだけです。

まず、冗長なコピーを避けて参照によってベクターを渡します。

第2に、バックトラッキング不変量を維持するには、pop_backを維持する必要があります。関数がプッシュされ非常に整数を飛び出すので、我々はvec.back()が呼び出しの間その整数であることは確かかもしれ

void function(std::vector<int> &vec){ 
    vec.push_back(0); // Initial modification 
    function(vec); 
    vec.back() = 1; // Second modification 
    function(vec); 
    vec.pop_back(); // Return to previous state 
    return; 
} 

：しかし、あなたはそれほど厄介な場所に移動することができます。だから、別のペアのポップとプッシュの代わりに単純な割り当てを行うことができます。

Answer 2

あなたは破壊にあなたのために自動的にpop_backを呼び出すガードクラスを作成することができます。

​​

使用例を：

void function(std::vector <int> vec) 
{ 
    { 
     push_pop_guard ppg{vec, 0}; 
     function(vec); 
    } 

    // ... 
} 

Answer 3

あなたはメソッドに値を渡すと、後でベクトルにそれをプッシュすることができます：

void function(std::vector <int> vec, int element){ 
    vec.push_back(element); 
    //Do stuff 
    function(vec,0); 
    function(vec,1); 

    return; 
} 

Answer 4

template<class F> 
struct scope_guard_t { 
    std::optional<F> f; 
    scope_guard_t(F in):f(std::move(f)) {} 
    scope_guard_t(scope_guard_t&& o): 
    f(std::move(o.f)) 
    { 
    o.clear(); 
    } 
    void abandon() { clear(); } 
    void commit_early() { commit(); clear(); } 
    ~scope_guard_t() { commit(); } 
private: 
    void commit() { if(f) (*f)(); } 
    void clear() { f = std::nullopt; } 
}; 
template<class F> 
scope_guard_t<F> scope_guard(F in) { return {std::move(in)}; } 

template<class C, class T> 
auto temp_push(C& c, T&& t) { 
    c.push_back(std::forward<T>(t)); // do 
    return scope_guard(
    [&]{ c.pop_back(); } // undo 
); 
} 
void function(std::vector <int> vec){ 
    { 
    auto scope = temp_push(vec, 0); 
    function(vec); 
    } 

    { 
    auto scope = temp_push(vec, 1); 
    function(vec); 
    } 
} 

std::optionalはc++14でboost::optionalにして前に交換することができます。

scope_guardが一般に有用である。

また、私はvectorを参照渡しで値渡しに置き換えます。各再帰のためにそれを再割り当てすることを回避するので、はるかに効率的である可能性があります。