Поведение операции станд :: двигаться в C++ 11

Question

#include <string> 
#include <iostream> 
#include <utility> 

struct A { 
    std::string s; 
    A() : s("test") {} 
    A(const A& o) : s(o.s) { std::cout << "move failed!\n"; } 
    A(A&& o) : s(std::move(o.s)) {} 
    A& operator=(const A&) { std::cout << "copy assigned\n"; return *this; } 
    A& operator=(A&& other) { 
     s = std::move(other.s); 
     std::cout << "move assigned\n";`enter code here` 
     return *this; 
    } 
}; 

A f(A a) { return a; } 

struct B : A { 
    std::string s2; 
    int n; 
    // implicit move assignment operator B& B::operator=(B&&) 
    // calls A's move assignment operator 
    // calls s2's move assignment operator 
    // and makes a bitwise copy of n 
}; 

struct C : B { 
    ~C() {}; // destructor prevents implicit move assignment 
}; 

struct D : B { 
    D() {} 
    ~D() {}; // destructor would prevent implicit move assignment 
    //D& operator=(D&&) = default; // force a move assignment anyway 
}; 

int main() 
{ 
    A a1, a2; 
    std::cout << "Trying to move-assign A from rvalue temporary\n"; 
    a1 = f(A()); // move-assignment from rvalue temporary 
    std::cout << "Trying to move-assign A from xvalue\n"; 
    a2 = std::move(a1); // move-assignment from xvalue 

    std::cout << "Trying to move-assign B\n"; 
    B b1, b2; 
    std::cout << "Before move, b1.s = \"" << b1.s << "\"\n"; 
    b2 = std::move(b1); // calls implicit move assignment 
    std::cout << "After move, b1.s = \"" << b1.s << "\"\n"; 

    std::cout << "Trying to move-assign C\n"; 
    C c1, c2; 
    c2 = std::move(c1); // calls the copy assignment operator 

    std::cout << "Trying to move-assign D\n"; 
    D d1, d2; 
// d2 = std::move(d1); 
} 

При выполнении a2 = std::move(a1) заявления, поведение отличается от выполнения оператора b2 = std::move(b1). В приведенном ниже заявлениине становится пустым после операции перемещения, а a1.s становится пустым после операции перемещения.

Может ли кто-нибудь сказать, что именно там происходит?

Answer 1

Обычно назначение переноса реализуется как своп на std::string, так почему строка должна быть пустой, поскольку она всегда инициализируется "test"?

Где вы видите, что a1.s становится пустым, так как нет его печати?

Я не вижу ничего странного поведения here. Оба обрабатываются одинаково.

Answer 2

Одно из великих (и постоянных) заблуждений относительно ссылок на C++ 11 и rvalue заключается в том, что std::move что-то делает для объекта (или что-то в этом порядке).

Это не так. std::move действительно просто задает свой параметр для ссылочного типа rvalue и возвращает его. Все, что делается с объектом, происходит в конструкторе перемещения, перемещает оператор присваивания (и т. Д.) На основе того факта, что вызывается версия, которая принимает ссылку на rvalue (вместо того, чтобы принимать значение или значение lvalue).

Что касается конкретного вопроса, который вы задали, по крайней мере, исходя из комментариев в вашем коде, у вас, похоже, есть некоторые недоразумения. Комментарий к a2=std::move(a1); говорит, что вы выполняете «назначение перемещения из значения x». Это ... в лучшем случае вводит в заблуждение. Значение xvalue - это значение, которое будет немедленно отправлено в eXpire. Это довольно много для возвращаемого значения функции:

Foo &&bar() { 
    Foo f; 
    // ... 
    return f; 
} 

В этом случае bar() является xvalue потому bar возвращает ссылку RValue на объект, который истекает (выходит из области видимости), как функция завершает выполнение.

Что касается конкретного вопроса, который вы задали, я подозреваю, что в основном это сводится к вопросу о том, (и если да, именно так), ваша стандартная библиотека реализует конструктор перемещения для std::string. Например, при использовании g ++ (4.9.1) я получаю тот же результат: b1.s содержит test как до, так и после использования в качестве источника движения. С другой стороны, если я использую MS VC++ 14 CTP, я получаю b1.s="test" перед переходом и b1.s="" после переезда. Хотя я не тестировал его, я ожидал бы, что результаты с Clang будут одинаковыми. Короче говоря, похоже, что стандартная библиотека gcc на самом деле не реализует назначение/построение move для std::string (пока - по крайней мере, начиная с версии 4.9 - я еще не смотрел 5.0).