为什么条件变量不可 MoveAssignable

2024-05-18

为什么是一个condition_variable不可移动构造(根据http://en.cppreference.com/w/cpp/thread/condition_variable http://en.cppreference.com/w/cpp/thread/condition_variable)?这禁止包含在许多容器中(例如。std::unordered_map)移动事物。

这迫使人们使用unique_ptr这会产生一次额外的堆分配,比如make_shared是为了解决问题而建立的。另外,如果没有池分配器,这可能会变得非常低效。


condition_variable是多个线程(可能)同时使用的同步结构。 (事实上​​,这就是它的目的。)如何安全地移动它?例如,假设它直接包含一个自旋锁。某个线程正在进程地址空间中的给定地址上旋转,并且您要将对象从其下方移出?

任何类型的用户模式同步构造都无法移动。进行实际同步的东西需要一个固定的地址。您可以强制该对象在不会移动的堆分配对象上完成其所有实际工作 - 然后您就可以直接转到您想要避免的堆的间接寻址。 (内核模式同步结构可以移动:你已经掌握了一些操作系统的东西。但是它们的成本要高得多use.)

它们也无法被复制——因为这意味着什么?

事情必须是这样的。你的设计必须考虑到它,仅此而已。

(我不太明白你问题的第二段。make_shared旨在降低引用计数的成本,并且与移动东西无关。池分配器可能会也可能不会改善任何特定情况,更不用说这种情况了,除非您测量它,否则您不会知道。)

本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系:hwhale#tublm.com(使用前将#替换为@)

为什么条件变量不可 MoveAssignable 的相关文章

随机推荐