Can queue: pop restituisce un valore ora?

Question

Conosco std::queue::pop() restituisce void. Per due motivi: sicurezza

1. eccezione: qualcosa potrebbe gettare dopo aver rimosso l'elemento
2. per poter return the value by reference

fine.

Ora, se capisco correttamente la nuova semantica del C++ 11, il secondo non è più un argomento valido.

Quindi ... l'unica cosa che impedisce a std::queue di avere una funzione pop -like che restituisce il valore si trova nella possibilità che il costruttore di mosse genera?

Ho difficoltà a pensare a situazioni in cui un costruttore di mosse potrebbe buttare. Chi conosce un esempio?

immagino lo stesso vale per std::stack::pop(), std::vector::pop_front(), std::vector::pop_back(), std::deque::pop_front(), std::deque::pop_back(), std::list::pop_front(), std::list::pop_back() e cosa no.

Answer 1

Utilizzando tecniche SFINAE intelligente sarebbe infatti possibile avere un pop_and_move non gettando atomica() per soli tipi di dati che implementano non-lancio mossa o no-gettare copia.

C'è anche un costrutto noexcept() disponibile per vedere se qualcosa potrebbe generare.

Uno dei nuovi concetti in C++ 11 in particolare che estende SFINAE è che se il corpo non compila la funzione non esiste. Quindi si potrebbe implementare basato su noexcept().

Direi che per la compatibilità con le versioni precedenti la funzione avrebbe bisogno di un nuovo nome, che pertanto le consente di coesistere con la funzionalità esistente di chiamarle separatamente, non di rompere contenitori di tipi che non hanno la semantica per consentirli.

Answer 2

Non ci sono molti casi in cui std::move() può inserire nella libreria standard ma ci sono casi. Ad esempio, se il contenitore utilizza un allocatore di stato, i suoi figli usano anche questo allocatore, ma non verrà spostato su un risultato: questo preferirebbe ottenere una versione costruita di default di un allocatore (se rimuovo correttamente). Dato che gli allocatori sono stateful, ciò significa che l'oggetto non può essere spostato e quindi la costruzione dello spostamento non riesce con un'eccezione. Perché questo tipo ha quindi un costruttore di mosse? Bene, perché potrebbe essere istanziato con un allocatore non statico, nel qual caso il movimento non verrà lanciato. Inoltre, una volta che passiamo alle classi definite dall'utente, non abbiamo idea di quali condizioni possano spostarle.

Answer 3

Un altro problema è che non tutte le classi traggono vantaggio dallo spostamento, vale a dire che potrebbero avere solo un copione.

struct DontLikeMoves{ 
    // some data, whatever... 
    DontLikeMoves(DontLikeMoves const& other){ 
    // might throw, who knows! 
    // and this will even get called for rvalues 
    } 
};