C++中对象（尤其是std类）是否允许自移动，是否属于未定义行为？

核心结论 #

• 对于C++标准库定义的符合*可移动赋值（MoveAssignable）*要求的类型，自移动赋值属于标准未约束行为，没有统一的运行结果，不属于语法错误，但不同编译器的实现差异会导致完全不同的运行效果。
• 自定义类如果实现移动赋值运算符，是否支持自移动完全取决于开发者的实现逻辑，如果没有添加自赋值校验逻辑，也可能出现资源泄漏、对象状态异常等问题。

示例代码行为解释 #

你给出的测试代码如下：

#include <iostream>
#include <string>

int main()
{
    std::string s("123");
    s = std::move(s);
    std::cout << s;
}

不同编译器的运行结果差异来自标准库的实现逻辑区别：

• GCC/Clang使用的libstdc++/libc++标准库中，std::string的移动赋值没有做自赋值校验，自移动时会直接将原对象持有的字符串资源转移走，导致原对象进入有效但未指定的空状态，因此运行后没有输出。
• MSVC的STL实现中，std::string的移动赋值添加了自赋值保护分支，自移动时不会修改对象状态，因此可以正常输出原字符串内容。

开发建议 #

日常开发中不要主动编写自移动的代码，如果业务逻辑中存在移动赋值的左右操作数可能指向同一个对象的场景，建议提前添加自赋值判断，避免出现不可预期的运行问题。

注意：所有标准库的可移动类型都没有承诺自移动操作的行为，完全依赖具体实现，永远不要假设自移动后的对象状态。

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