如果删除std:：vector上的额外元素，是否删除？

Question

我使用std::erase_if使用捕获的计数器从容器中删除一半元素，如下所示。用gcc10编译的C 20

#include <iostream>
#include <vector>
#include <map>
#include <unordered_map>

int main()
{
    {
        std::vector<int> container(10);
        std::cout << container.size() << std::endl;
        std::erase_if(container, [i = 0u](auto&&...) mutable { return i++ % 2 == 0; });
        std::cout << container.size() << std::endl;
    }
    std::cout << std::endl;
    {
        std::map<int, int> container;
        for (int i = 0; i < 10; i++) {
            container.emplace(i, i);
        }
        std::cout << container.size() << std::endl;
        std::erase_if(container, [i = 0u](auto&&...) mutable { return i++ % 2 == 0; });
        std::cout << container.size() << std::endl;
    }
    std::cout << std::endl;
    {
        std::unordered_map<int, int> container;
        for (int i = 0; i < 10; i++) {
            container.emplace(i, i);
        }
        std::cout << container.size() << std::endl;
        std::erase_if(container, [i = 0u](auto&&...) mutable { return i++ % 2 == 0; });
        std::cout << container.size() << std::endl;
    }
}

输出出乎意料。对于向量，删除了一个额外的元素：

10
4

10
5

10
5

我打印出结果，看起来vector[1]是意外删除的元素

虽然这通常不是erase_if的正常用法，但我仍然很好奇为什么它只发生在向量上，而不发生在其他贴图上。我猜这和迭代器类型shenanigan有关。如果有人能详细解释，我将不胜感激。

Answer 1

remove_if需要谓词。标准库要求谓词类型：

给定一个类型为（可能为常数）T的glvalueu，指定与*first相同的对象，pred（u）应是一个有效表达式，它等于pred（*first）。

谓词会更改其内部状态。因此，使用同一个元素调用它两次将产生不同的结果。这意味着它不满足谓词的要求。

因此，未定义的行为随之而来。