Does std :: перемещение работы с ссылками lvalue? Как std :: перемещение работы на стандартных контейнерах?

Question

#include<vector>  
struct A { int a[100]; }; 

void foo (const A& a) { 
    std::vector<A> vA; 
    vA.push_back(std::move(a)); // how does move really happen? 
} 

int main() { 
    A a; 
    foo(a); 
} 

Приведенный выше код компилируется в порядке. Теперь везде написано, что move позволяет избежать копирования.
Ниже приведены мои запросы:

1. ли move действительно работают, когда один имеет дело с Lvalue [не] - const ссылки?
2. Даже с «ссылкой на rvalue», как избежать копирования, когда объект вставлен в стандартный контейнер, как указано выше?

, например.

void foo (A&& a) { // suppose we invoke this version 
    std::vector<A> vA; 
    vA.push_back(std::move(a)); // how copy is avoided? 
} 

Answer 1

std::move не делает ход. На самом деле он ссылается на ссылку lvalue на ссылку rvalue. В этом случае результатом перемещения является const A && (что, кстати, совершенно бесполезно).

std::vector имеет перегрузку для const A & и A &&, поэтому перегрузка с const A & будет получить выбран и const A && неявно приведен к const A &

Тот факт, что std::move можно назвать на константные объекты, странно/неожиданным поведение для большинства программистов, хотя это как-то разрешено. (Скорее всего, у них был прецедент или нет, чтобы предотвратить это)

Более конкретный для вашего примера будет вызываться конструктор перемещения класса A. Поскольку A является POD, это скорее всего будет делать копию, так как все биты просто должны перемещаться/копироваться в новый экземпляр A.

Поскольку стандарт указывает только, что исходный объект должен быть действительным, хотя неопределенное состояние, ваш компилятор может хранить биты в A на месте и не должен сводить их все к 0. На самом деле большинство компиляторов будут хранить эти биты на месте, так как их изменение требует дополнительных инструкций, что плохо для производительности.