std :: di chuyển và bản đồ phân

Question

tôi chút bối rối về cách tiêu chuẩn điều chỉnh trường hợp này:

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

trình biên dịch có thể tạo ra mã để baz sẽ được chuyển trước nó được sử dụng để khởi tạo và nhận được tham chiếu đến yếu tố trong bar (để khởi tạo std::string xxx)? Hoặc mã này có an toàn và không có hành vi không xác định?

Answer 1

Địa ngục không. Các biểu hiện là, vâng, tương đương với

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

Nhưng không có trật tự được bảo đảm giữa việc đánh giá (bar.operator[](baz)).operator= - chính thức, các postfix thể hiện chỉ định các chức năng để được gọi là - và việc thẩm định khởi của đối số đến operator=, đó là điều di chuyển từ baz.

Trong thực tế, 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"));