c++ - 传递给函数时使用 std::vector 误解 move 语义

Question

我试图理解 move 语义的概念并做了一些测试。我有以下功能:

// testing the move semantic when passing 
// argument to be modified without copying

void process_copy( std::vector<int>&& aVec)
{
    std::cout << "Move semantic\n";
    aVec.push_back(42);
}

现在在主函数中，如下:

int main()
{
    std::vector<int> w_vec = {1,2,3,4,5};
    process_copy( std::move(w_vec));
}

我希望 w_vec现在是空的，因为我通过 move 转换(将左值转换为右值)传递了它。但结果是 w_vec现在包含 6 个元素(42 个已添加到 vector 中)。
我想念的东西？是 std::vector是可 move 的物体吗？

Answer 1

我的图片 CoreCpp 2019 T 恤可能与此相关。

这是正面。

有趣的是，std::move 的这种行为有点意外even for Howard Hinnant himself ，右值和 move 语义背后的人。然而他得到了非常彻底的答复there .