为什么继续使用 const 对象？

Question

我有一个简单的代码：

const std::vector<int> data = {1,2,3};
std::vector<int> data_moved=std::move(data);
for(auto& i:data)
    cout<<i;//output is 123

编译没有任何错误或警告！

而且似乎data 中仍有值！

移动一个 const 值似乎不正确，因为我们不能修改 const 对象那么该代码如何编译？！

Answer 1

你没有移动任何东西。

std::move 的名字真的很糟糕：它不会强制移动；它只是返回一个右值。由编译器决定调用std::vector<int> 的哪个构造函数，而那决定了你是否得到了移动。

如果由于目标的移动构造函数不匹配而无法移动容器，则将通过基本重载规则使用复制构造函数。

#include <iostream>

struct T
{
    T() = default;
    T(const T&) { std::cout << "copy ctor\n"; }
    T(T&&)      { std::cout << "move ctor\n"; }
};

int main()
{
    T a;
    T b = std::move(a);   // "move ctor"

    const T c;
    T d = std::move(c);   // "copy ctor" - `const T&&` only matches copy ctor



    // (shut up GCC)
    (void) b;
    (void) d;
}

(live demo)

它是这样设计的（const T&& 能够绑定到 const T&）至少部分是因为移动是尽力而为，正是为了让您不必在这种情况下与编译器错误作斗争。