Неявные методы перемещения всегда сохраняют фундаментальные данные?

Question

Я понимаю, что когда базовый тип данных перемещается, он всегда будет выполнять копию.
Например, вы не можете перейти от int, и имеют оригинальный int значение не определено:

#include <iostream> 

int main() { 

    int x = 100; 
    int y{std::move(x)}; 
    std::cout << x << " " << y; //always prints "100 100" 

} 

Означает ли это, что то же самое верно для основных типов данных внутри определяемых пользователем типов?

#include <iostream> 
#include <vector> 

struct Foo{ 
    int i = 100; 
    std::vector<int> vec={1,2,3,4,5}; //something that probably will have an invariant 
}; 

int main() { 

    Foo x; 
    Foo y{std::move(x)}; 
    std::cout << x.i << " " << y.i; //always print "100 100"? 

} 

Что говорит стандарт о сохранении этих основных значений типа после перемещения?

Answer 1

Это зависит от конструктора перемещения ваших данных. Например, конструктор перемещения std::vector будет обычно оставляет ваш вектор пустым, но, как вы сказали, состояние не указано.

Состояние int не будет изменено, поскольку они тривиально перемещаются конструктивно. Компилятор выполнит копирование с тривиальным перемещением конструктивных типов. Как @ T.C. изложенные в комментариях, это поведение требуется стандартом.

, если вы намерены использовать свой класс после того, как он был перемещен из, рассмотреть вопрос о внедрении собственного конструктора перемещения:

struct Foo { 
    int i = 100; 
    std::vector<int> vec={1,2,3,4,5}; 

    Foo(Foo&& foo) noexcept : i{std::move(foo.i)}, vec{std::move(foo.vec)} { 
     foo.vec = {}; // ensure it's empty 
     foo.i = 0; // ensure it's 0 
    } 
}; 

Answer 2

специальных функций-членов, которые компилятор генерирует определяются как в основном делают соответствующую операцию по каждому из члены класса (и базовые классы).

Значит, ваш struct Foo's i будет вести себя точно так же, как int, который был перемещен. То же самое для vector.