基于索引高效过滤STL vector的安全标准方法探究

你的原始实现依赖std::erase_if谓词的调用顺序，确实属于未定义行为——C++标准并未规定std::remove_if（std::erase_if的底层实现）必须按元素的原始顺序调用谓词，当前GCC/Clang的顺序只是实现细节，不能依赖。

要实现无UB、in-place、不复制大数据的STL原生解决方案，可以利用vector内存连续的特性，通过元素地址与容器data()的差值获取原始索引，以此判断是否保留元素：

auto some_values = std::vector{1, 0, 4, 6, 2};
const auto removing = std::vector<bool>{0, 0, 1, 0, 1};

// 捕获原始data地址，避免erase过程中size变化影响
std::erase_if(some_values, [data = some_values.data(), &removing](const auto& val) {
    const size_t idx = &val - data;
    return removing[idx];
});
// 结果：some_values = {1, 0, 6}

为什么这个方法安全？ #

1. 原始索引可靠：std::remove_if执行期间不会重新分配vector内存，data()的地址始终不变。遍历过程中，每个迭代器指向的是容器原始内存位置，通过&val - data计算出的是该元素的原始索引，与元素是否被移动无关。
2. 符合标准规范：标准明确要求std::remove_if对每个元素恰好调用一次谓词，且通过地址计算索引的逻辑不依赖任何实现细节，完全符合C++标准。
3. 高效无复制：整个过程是in-place操作，仅对保留元素执行移动构造（无大数据复制），满足底层场景的性能要求。

注意事项 #

• 必须保证removing的大小与some_values的原始大小一致，否则会出现越界访问。
• 该方法适用于所有连续存储的容器（如std::array、std::string），不仅限于std::vector。

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