std :: ruch i mapa przypisanie

Question

Jestem nieco zaskoczony, jak standardowy podlega niniejsza sprawa:

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); 

Czy kompilatory produkować kod, tak aby baz zostanie przeniesiony przed jest używany do zainicjowania i uzyskać odniesienie do elementu w bar (aby zainicjować std::string xxx)? A może ten kod jest bezpieczny i nie ma niezdefiniowanego zachowania?

Answer 1

Piekło nie. Wyrażenie jest tak, odpowiednik

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

Ale nie ma gwarantowane porządek między oceną (bar.operator[](baz)).operator= - Formalnie postfix-ekspresja wyznaczające funkcję nazwać - a ocena inicjalizacji Argument do operator=, czyli co porusza się od baz.

W rzeczywistości 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"));