C++里数“符合条件的元素”，别再手写for循环了

上周帮同事看一段老代码，他用三层嵌套for循环统计vector里大于阈值的偶数个数，还加了注释：“这里逻辑不能错，不然整块数据都偏了”。我默默把循环删掉，换上一行count_if——他盯着屏幕看了三秒，说：“这真能行？”

能行。而且更稳、更短、更不容易出错。

count_if不是什么黑科技，它是C++标准库里一个低调但极其实用的函数。它的任务就一个：遍历区间，对每个元素执行判断，返回满足条件的元素总数。不改原容器，不分配新内存，不做多余拷贝，纯粹“数数”。

但很多人用它，只停留在“知道有这么个函数”的层面。真正写起来，要么lambda写得磕磕绊绊，要么谓词对象绕晕自己，最后还是退回去写for。问题不在函数本身，而在没把它当成“自然表达逻辑”的工具——就像你不会为“数出厨房里没过期的牛奶盒”专门发明一套计数规则，而是直接一盒盒看、一个个点。

我们来拆一个真实场景：
假设你有一组传感器采样值（std::vector<double>），想快速知道有多少个读数在有效区间[0.5, 4.2]内，且小数点后第一位是偶数（比如1.2、3.6符合，2.3、0.7不符合）。

手写for？可以，但容易漏边界、错精度、忘初始化计数器。用count_if，核心逻辑是这句：

auto n = std::count_if(data.begin(), data.end(), [](double x) {
    if (x < 0.5 || x > 4.2) return false;
    int tenths = static_cast<int>(std::round(x * 10)) % 10;
    return tenths % 2 == 0;
});

注意两点：判断逻辑完全按人脑习惯组织，没有被迭代器或索引干扰；所有临时计算都在lambda内部封闭，不污染外部作用域。这才是它好用的关键——你专注“要什么”，而不是“怎么走”。

有人担心lambda性能？实测中，现代编译器对简单lambda几乎全内联，开销趋近于零。比手写循环多一次函数调用？不存在的。反倒是手写循环里反复写的i++、i < v.size()、边界检查，才是真正可被优化掉的冗余。

另一个常被忽略的优势：可复用性天然强。比如你发现“小数点后第一位是偶数”这个规则，在另一处也要用（比如筛选日志中的特定时间戳），只需把lambda抽成变量：

auto is_valid_tenths = [](double x) -> bool {
    if (x < 0.5 || x > 4.2) return false;
    int tenths = static_cast<int>(std::round(x * 10)) % 10;
    return tenths % 2 == 0;
};

auto n1 = std::count_if(sensor_data.begin(), sensor_data.end(), is_valid_tenths);
auto n2 = std::count_if(log_times.begin(), log_times.end(), is_valid_tenths);

没有类、没有模板特化、不需头文件声明——就是一个具名的、类型推导好的可调用对象。比写个全局函数更轻量，比宏更安全，比临时lambda更易维护。

当然，count_if不是万能钥匙。它只返回数量，不告诉你“是哪些元素”。如果后续还要对这些元素做处理（比如取平均、找最大值），硬套count_if再遍历一遍，反而低效。这时候该用std::partition_copy或std::copy_if配合std::distance，或者直接上std::ranges::count_if（C++20）——但那是另一个故事了。

还有一点实践提醒：别为了用而用。比如统计vector里某个固定值出现次数，std::count(v.begin(), v.end(), target)比count_if加lambda更直白，也更易读。工具的价值在于降低认知负荷，不是堆砌语法糖。

最后说个容易踩的坑：迭代器范围必须合法。count_if(v.begin(), v.end(), ...)没问题，但若误写成count_if(v.data(), v.data() + v.size(), ...)，当vector为空时v.data()可能为nullptr，而v.begin()永远有效。标准容器的begin()/end()是更安全的起点。

回到开头那个同事。他后来自己写了几个count_if，用在配置校验、报文字段统计、测试断言里。某天他说：“以前总觉得STL函数像字典里的生词，查完还得想怎么用；现在它们就是动词——‘数出’、‘找出’、‘替换掉’，句子顺了，代码也就顺了。”

没错。count_if的本质，是把“数出符合条件的元素”这个动作，变成一句可读、可测、可组合的C++表达式。它不炫技，不抽象，只是让代码更靠近你想说的那句话。

下次再遇到“我要数……”，先别急着敲for。试试把条件写进lambda，让count_if替你跑完剩下所有机械活。省下的那几行代码，够你多喝半杯咖啡。