为什么 std::map::erase(iterator it) 摊销常量？

Question

请参阅https://en.cppreference.com/w/cpp/container/map/erase以供参考。

擦除单个迭代器如何能够在摊销的恒定时间内完成？ 这似乎意味着红黑树的重新平衡可以在恒定时间内完成。

Answer 1

摊销固定时间并不意味着任何单个操作需要固定时间，而是在许多此类操作中，某些操作的非常量开销摊销到总固定时间。

换句话说，如果您重复使用erase来清除整个地图，则该循环会在元素数量的线性时间内完成，因此每个元素的时间是恒定的。

对于更彻底的分析，cs.stackexchange.com 可能是一个更合适的地方。