哪些std类型在移动构造函数中用作arg后保证为空/null

Question

我知道

shared_ptr

、

unique_ptr

、

weak_ptr

在用作相同类型的构造函数中的 Rvalue 引用参数后保证为空，但我想知道标准是否为除这些之外的其他一些

std::

类型指定了这一点我提到过。

请注意，我知道移动后的元素仍处于有效但未指定状态，我在这里对指定了哪些类型状态感兴趣。

Answer 1

使移出对象处于“空”状态的类型有智能指针、锁 ([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), 容器…

Answer 2

经验法则

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

仅移动类型

仅移动类型（使移出的对象保持空状态）有

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% 总是正确的。