使 moved-from 对象处于"空"状态的类型是智能指针、锁 ([thread.lock.unique.cons]/21， [thread.lock.shared.cons]/21(、文件流 ([filebuf.cons]/(4.2((、期货 ([futures.unique_future]/(8.2(、[futures.shared_future]/10(、承诺 ([futures.promise]/6(、打包任务 ([futures.task]/7(、线程 ([thread.thread.constr]/10(、...

相比之下，使用未指定值离开移自对象的模板是function([func.wrap.func.con]/6(、basic_regex([re.regex.construct]/13(、basic_string([string.cons]/2(、容器...

经验法则

根据经验：仅移动类型或具有共享引用语义的类型使其 move-from 对象处于空状态。所有其他类型都保留未指定的值。

仅移动类型

仅移动类型(使移自对象处于空状态(是std::unique_lock、std::thread、std::promise、std::packaged_task、std::future、basic_filebuf、std::basic_ifstream、std::basic_ofstream、std::basic_fstream、std::shared_lock和std::unique_ptr。

共享引用语义

具有共享引用语义的类型是std::shared_future，当然还有std::shared_ptr和std::weak_ptr。它们使其移出对象也处于空状态。

一个值得注意的例外

当我浏览标准库时，我发现std::stringstream及其仅输入和仅输出的兄弟姐妹(std::istringstream和std::ostringstream(是一个值得注意的例外。这些类是仅移动的，但在移动构造时没有关于移出对象的任何信息。因此，有效但未指定的规则适用。如您所见，这只是一个经验法则，并非 100% 总是正确的。