std :: movimento e mappa assegnazione

Question

Sono po 'perplesso su come governa standard di questo caso:

struct Foo { 
    Foo & operator = (std::string xxx) 
    { 
     x = std::move(xxx); 
     return *this; 
    } 

    std::string x; 
}; 

std::map<std::string, Foo> bar; 

std::string baz = "some string"; 

bar[baz] = std::move(baz); 

Può compilatori produrre codice in modo che baz saranno spostati prima è usato per inizializzare e ottenere di riferimento all'elemento in bar (per inizializzare std::string xxx)? O questo codice è sicuro e non c'è il comportamento non definito ?

Answer 1

Inferno no. L'espressione è, sì, equivalente a

(bar.operator[](baz)).operator=(std::move(baz)) 

Ma non c'è ordine garantito tra la valutazione dei (bar.operator[](baz)).operator= - formalmente, il postfix-espressione designa la funzione da chiamare - e la valutazione della inizializzazione del argomento a operator=, che è ciò che si sposta da baz.

Infatti, this asserts on GCC:

std::map<std::string, Foo> bar; 
std::string baz = "some string"; 
bar[baz] = std::move(baz); 
assert(bar.count("some string"));