关于std::move与std::forward中对象未指定状态的规则疑问

首先要明确一个核心点：std::move本身只是右值引用转换工具，它不执行任何实际的移动操作——真正的移动逻辑完全由目标类型的移动构造/赋值运算符决定。

基础类型的特殊表现 #

基础类型（int、char、原始指针等）没有自定义的移动操作，编译器会直接用拷贝操作替代移动。因为对基础类型来说，拷贝和移动的成本完全一致（都是直接复制内存中的值），所以移动后原对象的值不会改变，自然不存在“未指定状态”。这不是因为拷贝成本低，而是这类类型根本没有可被“窃取”的资源，移动语义对它们来说没有意义，编译器直接降级为拷贝行为。

类类型的未指定状态规则 #

对于拥有自定义移动操作的类（比如std::unique_ptr、std::string），C++标准只做了最低要求：移动后的原对象必须处于“有效但未指定”的状态：

• 有效：可以安全销毁，或者被重新赋值（但不能调用依赖当前状态的成员函数，比如对移动后的std::string调用size()，结果是未定义的）
• 未指定：具体状态由库实现决定（比如std::unique_ptr移动后会变为nullptr，这是库的实现选择，并非标准强制要求）

std::array是例外，因为它本质是固定大小的数组包装，移动操作的底层逻辑就是拷贝所有元素，所以移动后原对象的状态和移动前完全一致——这是由它“大小固定、元素直接存储在对象内部”的特性决定的。

std::forward的一致性 #

std::forward同样只是做引用类型转换，本身不执行移动操作。如果转发的是右值，后续的移动行为依然由目标类型的移动操作规则决定，所以表现和std::move完全一致。

差异的核心原因 #

这种差异的本质是类型是否拥有可被转移的外部资源：

• 基础类型只有自身的值，没有外部资源（比如堆内存、文件句柄），无法通过“窃取资源”实现移动，只能拷贝
• 类类型通常管理外部资源，移动操作通过转移资源所有权来避免深拷贝，这时原对象的资源被掏空，只能处于未指定状态

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