Przenoszenie semantyki i podstawowych typów

Question

przykład kod:

int main() 
{ 
    std::vector<int> v1{1, 2, 3, 4, 5, 6, 7, 8, 9, 10}; 
    std::cout << "Printing v1" << std::endl; 
    print(v1); 
    std::vector<int> v2(std::make_move_iterator(v1.begin()), 
         std::make_move_iterator(v1.end())); 
    std::cout << "Printing v1" << std::endl; 
    print(v1); 
    std::cout << "Printing v2" << std::endl; 
    print(v2); 

    std::vector<std::string> v3{"some", "stuff", "to", 
         "put", "in", "the", "strings"}; 
    std::cout << "Printing v3" << std::endl; 
    print(v3); 
    std::vector<std::string> v4(std::make_move_iterator(v3.begin()), 
           std::make_move_iterator(v3.end())); 
    std::cout << "Printing v3" << std::endl; 
    print(v3); 
    std::cout << "Printing v4" << std::endl; 
    print(v4); 
} 

wyjściowe:

Printing v1 
1 2 3 4 5 6 7 8 9 10 
Printing v1 
1 2 3 4 5 6 7 8 9 10 
Printing v2 
1 2 3 4 5 6 7 8 9 10 
Printing v3 
some stuff to put in the strings 
Printing v3 

Printing v4 
some stuff to put in the strings 

pytania

1. Ponieważ operacje ruch wy n typy pierwotne to tylko kopia, czy mogę założyć, że v1 pozostanie niezmieniony, czy też stan nie jest określony, nawet w przypadku typów pierwotnych?

2. Zakładam, że powodem, dla którego prymitywne typy nie mają semantyki ruchu, jest to, że kopiowanie jest tak samo szybkie lub nawet szybsze, czy to prawda?

Answer 1

1. Nie, jeśli chcesz być w stanie przyjąć ten należy skopiować, nie ruszać.

2. Ruch pozostawia obiekt źródłowy w prawidłowym, ale nieokreślonym stanie. Typy prymitywne: do wykazują semantykę ruchu. Fakt, że obiekt źródłowy pozostaje niezmieniony sugeruje, że kopiowanie jest najszybszym sposobem implementacji przenoszenia.