Spostare un elemento da std :: deque in C++ 11

Question

Sappiamo che std::deque::front() restituisce un riferimento a un primo elemento di deque. vorrei sapere se questo codice è sempre sicuro:

//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 

Ho provato questo codice usando gcc-4.9 e le opere, ma non so se possiamo considerare questo codice di sicurezza!

Answer 1

Il costruttore di spostamenti std::function non è garantito per non generare eccezioni, quindi è presente un problema di sicurezza delle eccezioni. Dato che non stai utilizzando un blocco RAII per m, rimarrà bloccato se auto f = move(funs.front()); genera. È possibile correggere il problema con std::unique_lock:

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 
} 

o 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