Переместить семантику и вернуть значения

Question

Нужны ли std::move в конце следующей функции (чтобы избежать копирования векторов)?

std::pair<vector<int>, vector<int>> f() 
{ 
    vector<int> a, b; 
    ... 
    return std::make_pair(std::move(a), std::move(b)); 
} 

Или компилятор перемещать векторы, даже если std::move опущены?

Answer 1

std::move s необходимо.

Если то, что вы предлагаете разрешили, следующий код будет (на удивление) сломана, так как аргументы std::make_pair будут перемещены из-:

std::vector<int> a; 
// populate a 
return std::make_pair(a, a);