為什么 std::map::erase(iterator it) 攤銷常量？

Question

請參閱https://en.cppreference.com/w/cpp/container/map/erase以供參考。

擦除單個迭代器如何能夠在攤銷的恆定時間內完成？ 這似乎意味着紅黑樹的重新平衡可以在恆定時間內完成。

Answer 1

攤銷固定時間並不意味着任何單個操作需要固定時間，而是在許多此類操作中，某些操作的非常量開銷攤銷到總固定時間。

換句話說，如果您重復使用erase來清除整個地圖，則該循環會在元素數量的線性時間內完成，因此每個元素的時間是恆定的。

對於更徹底的分析，cs.stackexchange.com 可能是一個更合適的地方。