Verschiebe ein Element von std :: deque in C++ 11

Question

Wir wissen, dass std::deque::front() einen Verweis auf ein erstes Element von Deque zurückgeben. würde ich wissen, ob dieser Code immer sicher ist:

//deque of lambdas 
deque<function<void(void)>> funs; 

// then is some other place: 
// take a lock 
m.lock(); 
auto f = move(funs.front()); // move the first lambda in f 
funs.pop_front(); // remove the element from deque //now the value is hold by f 
m_.unlock(); // unlock the resorce 
f(); //execute f 

Ich habe diesen Code mit gcc-4.9 und Arbeiten versucht, aber ich weiß nicht, ob wir diesen Code sicher betrachten kann!

Answer 1

Der Verschiebungskonstruktor std::function kann nicht garantiert keine Ausnahmen auslösen, so dass Sie ein Sicherheitsproblem haben. Da Sie kein RAII-Schloss für m verwenden, bleibt es gesperrt, wenn auto f = move(funs.front()); ausgelöst wird. Sie können das Problem mit std::unique_lock korrigieren:

std::unique_lock<decltype(m)> lock{m}; 
if (!funs.empty()) { 
    auto f = move(funs.front()); // move the first lambda in f 
    funs.pop_front(); // remove the element from deque //now the value is hold by f 
    lock.unlock(); // unlock the resorce 
    f(); //execute f 
} 

oder std::lock_guard:

function<void()> f; 
{ 
    std::lock_guard<decltype(m)> lock{m}; 
    if (!funs.empty()) { 
    f = move(funs.front()); // move the first lambda in f 
    funs.pop_front(); // remove the element from deque //now the value is hold by f 
    } 
} 
if (f) f(); //execute f