c – 为什么condition_variable不是MoveAssignable
作者:互联网
为什么condition_variable不是MoveConstructible(根据http://en.cppreference.com/w/cpp/thread/condition_variable)?这禁止包含许多容器(例如std :: unordered_map)来移动东西.
这迫使人们使用unique_ptr,这会产生一个额外的堆分配,像make_shared这样的东西是为了解决而构建的.此外,如果没有池分配器,这可能会变得非常低效.
解决方法:
condition_variable是一个同步构造,多个线程(可能)同时使用. (事实上,这就是它的目的.)你怎么能安全地移动它?例如,假设它直接包含螺旋锁.有些线程正在进程地址空间中的给定地址上旋转,您是否要将对象从其下移出?
无法移动任何类型的用户模式同步构造.实际同步的事情需要一个固定的地址.您可以强制该对象在不会被移动的堆分配对象上执行所有实际工作 – 并且您可以直接进入要避免的堆的间接. (内核模式同步结构可以移动:你已经掌握了一些操作系统的东西.但它们的使用成本要高得多.)
它们也无法复制 – 因为这意味着什么?
它必须是这样的.你的设计必须考虑到它,就是这样.
(而且我真的不明白你问题的第二段.另外make_shared是为了让ref计算成本更低而且与移动东西没有任何关系.池分配器可能会也可能不会改善任何特定情况少了这个,除非你测量它,否则你不会知道.)
标签:c,c11,move,condition-variable 来源: https://codeday.me/bug/20190829/1757357.html