std::unordered_map::erase()是否会立即调用析构函数？

当你调用myMap.erase(1);时，对应键值对中的Foo对象的析构函数一定会被立即调用，标准库不允许保留该Foo实例并在后续复用它。

原因如下：

• 根据C++标准的规定，std::unordered_map的erase操作核心语义是移除指定键值对，操作完成后，被移除的Foo对象生命周期即刻结束，容器必须立即销毁这个对象。
• 容器的内存分配器可能会保留该对象占用的内存块，用于后续插入新元素时复用内存空间，但这只是对内存资源的复用，并非Foo对象本身的复用。旧对象被销毁后，其内存区域仅为可用空间，后续插入新元素时会在该内存上重新构造新的Foo实例，而非复用已销毁的旧对象。

你提到的map销毁时所有对象都会正确析构的逻辑，和单个元素erase操作的即时销毁规则一致——只要元素被容器移除，对应的对象就会被立即销毁。

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