清楚函数的时间复杂度是什么std :: map根据大O？

Question

清除函数的时间复杂度是std :: map是多少？
我是否正确地说它是O（1）？

Answer 1

标准在[associative.reqmts] / 8 表102中说 ：

a.clear() <=> a.erase(a.begin(), a.end())中线性a.size()

所以它实际上是强制性的O（N）。

---

编辑：总结各个位。

要删除节点， map执行两个操作：

1. 调用allocator destroy方法来销毁元素
2. 调用allocator deallocate方法来释放节点占用的内存

前者可以在代码中省略（检查is_trivially_destructible ），实际上它通常在vector完成。 不幸的是，后者更加棘手，并且不存在特征，因此我们必须依赖优化器。

不幸的是，即使通过内联优化可以彻底清除destroy ，并deallocate节点，恐怕将无法认识到树遍历现在是无用和优化的路程了。 因此，你最终会在树的Θ（N）遍历中结束，并且每一步都没有完成任务......

Answer 2

cplusplus参考站点声称它在容器大小上具有线性复杂性，因为必须调用每个元素的析构函数。

Answer 3

因为它是一个模板，所以在编译时可能会知道类型的无操作中的破坏（例如std::map<int> ），因此需要销毁成员并不是推断必要的最差的良好基础 - 表现。 仍然，编译器必须访问二叉树的每个节点，释放堆内存，并且节点的数量线性地与元素的数量相关（ erase()仅使迭代器/引用/指向无效元素的insert()无效， insert()并不会使所有证据与1：1关系无效。

所以，它是线性的，但是由于需要清理堆使用，即使不需要元素析构函数....

（有趣的是，这意味着std::map<> -like关联容器 - 或者std::map<>本身带有一个聪明的自定义分配器 - 可以为具有普通无操作析构函数的元素设置O（1）内存是从专用内存池中分配的，可以在O（1）中“丢弃”。）

Answer 4

据我所知，所有清理操作的复杂性都是O（n），因为你需要逐个去除这些对象。