移出向量是否始终为空?
在 C 中移动对象会使它们处于未指定的状态。虽然此规则中没有明确排除向量,但找到不会导致空向量的可行实现可能具有挑战性。
移动构造函数
向量的移动构造函数必须具有恒定的复杂性。这需要从移出的向量中窃取资源,并将其留空。因此,对于移动构造函数,移出向量始终为空。
移动赋值运算符
移动赋值运算符的行为取决于向量的分配器。主要有三种情况:
情况 1:
Propagate_on_container_move_assignment 为 true。
在这种情况下,会发生销毁、释放、分配器移动和内存缓冲区传输,将移出向量留空。
情况 2:
Propagate_on_container_move_assignment 为 false,但分配器相等。
与情况 1 类似,移动- from vector 被清空。
情况 3:
Propagate_on_container_move_assignment 为 false,并且分配器不相等。
无法直接转移资源。相反,元素必须单独移动。如果移出向量包含没有移动构造函数的元素,则它将保持非空。然而,实现可以选择调用 v.clear() 来清空它,尽管标准并不要求这样做。
以上是移自 `std::vector` 是否始终为空?的详细内容。更多信息请关注PHP中文网其他相关文章!