map::erase(iterator)是否需有效键内容？迭代器删除时是否执行键比较？

先给你一个明确的结论：你完全可以安全假设，通过迭代器调用map::erase(iterator)时，不会对键的内容进行任何比较操作。

背后的逻辑 #

std::map作为C标准里的有序关联容器，几乎所有主流实现（比如GCC的libstdc、Clang的libc++、MSVC的STL）都是基于红黑树实现的。迭代器直接指向红黑树中的具体节点，当你用迭代器执行erase操作时，容器只需要调整树的节点链接关系，根本不需要访问或比较键的内容——毕竟迭代器已经精准定位了要删除的节点，完全不需要再通过键来查找位置。

针对你的示例代码分析 #

你给出的代码里，在调用m.erase(it)之前释放了some_cstr，这个操作是安全的。因为erase过程中不会触发ExternalBuffer的operator<，也就不会用到那个已经被释放的C字符串指针，不会出现未定义行为。

有没有可能存在例外？ #

从C++标准的角度来说，并没有规定erase(iterator)需要涉及键的比较逻辑，所以任何符合标准的实现都不会这么做。我接触过的所有主流STL实现，在处理迭代器版本的erase时，都只会操作红黑树的节点结构，不会碰键的内容。

额外的建议 #

虽然当前的写法是安全的，但从代码的健壮性和可维护性考虑，还是建议在erase完成之后再释放some_cstr。毕竟如果后续有人修改代码，比如把迭代器erase改成用键来erase（比如m.erase(ExternalBuffer(some_cstr))），那提前释放就会导致未定义行为。不过就你现在的代码而言，提前释放是没问题的。

内容的提问来源于stack exchange，提问作者Mark Nunberg