C++按非负位移移动元素范围的问题及惯用解法咨询

你碰到的这个问题完全是因为违反了std::move算法的前置条件——标准明确规定，目标范围绝对不能和源范围[first, last)重叠。当k=0时，你把目标起始位置设成了arr+2，正好落在源范围[arr+2, arr+4)里，这属于未定义行为；而vector的自移动赋值（也就是x = std::move(x)）本身就不是空操作，大部分实现会直接把vector置空，这就是你看到输出1 1 0 0的原因。

回到你的核心问题：显式判断k≠0再执行std::move是完全符合C++惯用风格的做法，甚至可以说是推荐的写法，理由有两个：

• 它清晰直白地表达了你的意图：只有当需要实际移动元素时才执行操作，完全规避了未定义行为的风险
• 这种简单的条件判断几乎没有性能开销，编译器会轻松优化掉无意义的分支

给你改个示例代码，这样就符合预期了：

int main() {
    std::vector<int> arr[4] = {{1}, {2}, {3}, {4}};
    const int k = 0; // 这里k可以是0、1、2任意值
    if (k != 0) {
        std::move(arr + 2, arr + 4, arr + 2 - k);
    }
    for(int i = 0; i < 4; ++i) std::cout << arr[i].size() << ' '; // k=0时输出"1 1 1 1 "
    std::cout << std::endl;
}

另外补充个小知识点：如果你的场景是处理可能重叠的范围移动，还可以考虑std::move_backward——当目标范围在源范围左侧时用它，右侧时用std::move。但要注意，哪怕用std::move_backward，当位移为0时还是会触发自移动，所以显式判断依然是最直接可靠的解决方案。

在C++里，避免未定义行为永远是优先级最高的事，多一行条件判断换程序行为的可预测性，绝对是值得的。

内容的提问来源于stack exchange，提问作者Bernard