std::remove_if不结合std::erase的应用场景探讨

好问题！很多人一开始接触erase-remove惯用法，都会觉得std::remove_if必须和erase搭配，但其实std::remove_if本身的设计就很灵活——它只负责把需要保留的元素移动到容器的前半部分，不会修改容器的大小，这就给了我们很多不需要擦除末尾无效元素的使用场景，下面就来具体说说：

• 临时筛选元素，后续要复用容器的内存空间
  如果你只是需要临时处理符合条件的元素（比如计算总和、排序），之后还要往容器里继续添加新元素，那完全没必要擦除末尾的无效元素。因为擦除后容器的size会变小，但capacity还是原来的大小，后续直接在原容器的有效范围后赋值添加新元素，既能覆盖无效值，又省去了不必要的erase操作开销，还能复用已分配的内存。

  示例代码：

  std::vector<int> v{1,3,6,7,8,9};
  // 把大于6的元素移到前面，获取有效元素的结束迭代器
  auto valid_end = std::remove_if(v.begin(), v.end(), [](auto x) {return x <= 6; });
  
  // 临时处理有效元素：计算它们的和
  int sum = 0;
  for (auto it = v.begin(); it != valid_end; ++it) {
      sum += *it;
  }
  std::cout << "Sum of elements >6: " << sum << "\n";
  
  // 直接在有效范围后添加新元素，覆盖原无效值
  *valid_end = 10;
  ++valid_end;
  *valid_end = 11;
  ++valid_end;
  // 现在只需跟踪valid_end，就能处理所有有效元素
  

• 需要同时处理“保留元素”和“被筛选元素”
  std::remove_if的返回值是有效元素的结束迭代器，同时也是被筛选元素的起始迭代器。如果你不仅需要处理保留的元素，还要对被筛选出来的元素做后续操作（比如统计数量、修改值），那绝对不能擦除末尾的元素——擦除后这些元素就直接丢失了。

  示例代码：

  std::vector<int> v{1,3,6,7,8,9};
  auto split_it = std::remove_if(v.begin(), v.end(), [](auto x) {return x <= 6; });
  
  // 处理保留的元素（>6）
  std::cout << "Elements greater than 6: ";
  for (auto it = v.begin(); it != split_it; ++it) {
      std::cout << *it << " ";
  }
  std::cout << "\n";
  
  // 处理被筛选的元素（<=6）
  std::cout << "Elements <=6: ";
  for (auto it = split_it; it != v.end(); ++it) {
      std::cout << *it << " ";
  }
  std::cout << "\n";
  

• 避免修改容器大小，适配依赖固定size的代码逻辑
  有些场景下，代码的其他部分依赖于容器的size保持不变（比如某些与索引绑定的逻辑、外部接口要求容器大小固定）。这时候erase会改变容器的size，可能导致逻辑出错，而std::remove_if只调整元素顺序，不改变size，你只需要自己跟踪有效元素的范围，就能在不破坏原有逻辑的前提下完成筛选操作。

• 内存敏感场景，减少不必要的容器操作开销
  虽然erase不会释放容器的内存（只会改变size），但频繁的erase和后续的push_back还是会带来一些潜在的迭代器失效风险和操作开销。如果你的容器容量很大，且后续会持续复用，保留末尾的无效元素可以避免这些问题，同时也不需要额外的内存分配。

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