移动后的std::vector调用.clear()等方法是否合法？相关疑问解析

让我把你的疑问拆解清楚，结合C++标准和实际编程实践来给你明确答案：

核心前提：移动后的源对象状态 #

首先要明确C++标准的规定：移动操作完成后，被移动的源对象会处于「有效但未指定的状态」。这意味着：

• 它的内部结构是合法的（不会触发未定义行为）
• 但你不能假设它的内容、size、容量等具体状态（比如不能默认它是空的）

子问题1：移动后的vector是否始终为空？ #

答案是不一定。虽然绝大多数标准库实现会在移动后把源vector置为空，但这只是实现细节，不是标准强制要求的。你绝对不能依赖这个行为来写代码——否则换个编译器或标准库版本就可能出问题。

子问题2：对移动后的vector可执行哪些操作？ #

我把操作分成「完全安全合法」和「结果不确定/不建议」两类：

完全安全合法的操作 #

这些操作无论源对象处于什么未指定状态，都不会触发未定义行为：

• 销毁操作：析构函数正常工作，不会有内存泄漏，这是最基础的保证。
• 赋值操作：给移动后的vector赋值新的vector（比如src = {1,2,3};）完全合法，赋值后它会恢复到正常的确定状态，后续可以正常使用。
• empty()：调用这个成员函数是安全的，它只会返回当前容器是否为空的布尔值——哪怕源对象状态未指定，empty()的逻辑是确定的，不会出问题。
• clear()：调用后会销毁所有元素，把size置为0，让vector进入空的有效状态，后续可以放心复用。
• shrink_to_fit()：这个函数请求容器将容量缩减到匹配当前size，操作本身是安全的——最终容量可能取决于实现，但不会触发未定义行为。

结果不确定/不建议的操作 #

这些操作的行为完全依赖移动后的未指定状态，所以绝对不要依赖它们的结果：

• push_back()：正如你提到的，由于无法确定移动后的vector是否有剩余容量或内部状态，push_back()的结果是不可预测的，可能在现有元素后追加，也可能出现其他奇怪行为，严禁这么做。
• 其他依赖当前状态的操作：比如size()、operator[]、front()/back()等，这些操作的返回值完全不确定，同样不建议使用，除非你先通过赋值或clear()把vector恢复到确定状态。

进一步疑问：赋值前调用clear()/shrink_to_fit()/empty()是否合法？ #

完全合法！这些操作都属于标准允许对「有效但未指定状态」对象执行的操作，不会有任何问题。甚至可以说，如果你想复用这个移动后的vector，先调用clear()把它置为空的确定状态，再进行后续操作是个非常稳妥的做法。

示例代码 #

#include <vector>

int main() {
    std::vector<int> src = {1, 2, 3, 4};
    std::vector<int> dest = std::move(src);
    
    // 合法操作示例
    bool is_src_empty = src.empty(); // 结果取决于实现，但调用安全
    src.clear(); // 现在src变为空的有效状态
    src.shrink_to_fit(); // 请求容量缩小至0
    src = {5, 6, 7}; // 赋值后可正常使用
    
    // 不建议的操作（结果不确定）
    // src.push_back(8); // 禁止依赖这种行为！
    
    return 0;
}

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