remove_copy：不是真删除，是“悄悄搬家”之后顺手擦掉旧地址

写C++时，你有没有过这种经历：想把一个容器里所有值为 0 的元素干掉，但又不想改动原容器？或者需要过滤日志数组，只保留非空行，同时保留原始数据做审计备份？这时候翻算法库，remove_copy 就像那个总在关键时刻递上热茶的同事——不声不响，但刚好解了你的燃眉之急。

它名字里带“remove”，却从不碰原容器一个字节；它叫“copy”，却只复制符合条件的元素。这名字有点误导人，但理解它的真实行为后，反而觉得挺诚实：它做的就是两件事——按条件筛选 + 写入新空间。没有魔法，没有副作用，只有清晰的输入输出契约。

先看最简用法：

#include <algorithm>
#include <vector>
#include <iostream>

std::vector<int> src = {1, 0, 2, 0, 3, 0, 4};
std::vector<int> dst(src.size()); // 预分配足够空间

auto new_end = std::remove_copy(src.begin(), src.end(), dst.begin(), 0);
dst.erase(new_end, dst.end()); // 手动截断多余部分
// dst 现在是 {1, 2, 3, 4}

注意两个关键点：dst 必须预先分配足够空间（否则越界未定义），返回的迭代器指向有效数据末尾，不是自动帮你 shrink。这不像 Python 的 filter() 返回懒序列，remove_copy 是实打实的内存搬运工——它信任你对目标空间的掌控力。

那如果目标容器是 std::list 或 std::deque 呢？照样能用。只要目标支持随机/前向写入迭代器，它就认。比如往 std::list 末尾追加筛选结果：

std::list<int> dst_list;
std::remove_copy(src.begin(), src.end(),
                 std::back_inserter(dst_list), 0);
// dst_list 自动扩容，不用预估大小

这里用了 std::back_inserter，它把每次赋值转成 push_back() 调用。这是避开手动预分配的常用解法，尤其当源数据大小动态、难以预估时——比如解析一行 CSV 字符串，拆出数字后过滤掉非法值，你根本不知道最后剩几个。

再进一步，remove_copy 第四个参数不一定是值，还能是谓词函数：

auto is_negative = [](int x) { return x < 0; };
std::remove_copy_if(src.begin(), src.end(), dst.begin(), is_negative);

注意函数名变成了 remove_copy_if——这是它的“兄弟”。别记混：带 _if 的用谓词，不带的用值比较。两者逻辑一致，只是接口粒度不同。实际项目中，我更倾向 remove_copy_if，因为业务过滤条件很少是“等于某个数”，更多是“大于阈值”“字符串非空”“时间戳在范围内”。

说到字符串处理，这是个容易踩坑的场景。比如读取配置文件，每行去掉首尾空格后，跳过空行和注释行：

std::vector<std::string> lines = {"  # comment  ", "  value1  ", "", "  value2  "};
std::vector<std::string> valid;

// 先 trim 每行，再过滤
std::transform(lines.begin(), lines.end(), lines.begin(),
                [](const std::string& s) {
                    auto start = s.find_first_not_of(" \t\n\r");
                    auto end   = s.find_last_not_of(" \t\n\r");
                    return (start == std::string::npos) ? "" : s.substr(start, end - start + 1);
                });

// 再用 remove_copy_if 过滤空串和注释
auto pred = [](const std::string& s) { 
    return s.empty() || s[0] == '#'; 
};
std::remove_copy_if(lines.begin(), lines.end(), 
                    std::back_inserter(valid), pred);

这里没直接在 remove_copy_if 里做 trim，是因为remove_copy_if 只负责判断，不负责转换。想边改边筛？得组合 transform + remove_copy_if，或者用 C++20 的 std::ranges::copy_if 配合视图。但老标准下，分两步反而更清晰——每步职责单一，调试时也容易定位是 trim 出错还是过滤逻辑错了。

还有一点常被忽略：remove_copy 不保证元素顺序改变？不，它严格保持原始相对顺序。{5,0,3,0,1} 移除 0 后一定是 {5,3,1}，不会变成 {3,5,1}。这点在处理时间序列或日志流时至关重要——你不能接受“最新一条错误日志”被排到中间去。

最后说个真实教训：有次我用 remove_copy 处理 std::vector<std::shared_ptr<T>>，目标容器却忘了用 std::vector 而误用了 std::array——编译没报错，运行时疯狂崩溃。查了半天才发现 std::array 迭代器写入越界是未定义行为，而 remove_copy 完全不检查目标容量。它只相信你给的迭代器范围是合法的。所以，要么用 back_inserter 让容器自己管扩容，要么手算好 distance(first, last) 再分配，别偷懒。

remove_copy 不是万能钥匙，但它精准解决了一个具体问题：在不动源数据的前提下，把符合规则的元素搬进新家。它不卷入内存管理，不猜测你的业务逻辑，只做它声明的事。这种克制，在今天堆砌语法糖的 C++ 生态里，反而显得格外可靠。

下次当你需要“复制并过滤”，而不是“就地清理”，别急着手写循环。试试 remove_copy 或 remove_copy_if——它可能正端着热茶，在你代码的下一个头文件里等你。