使用Boost的过滤迭代器循环是否比含if条件的传统for循环更高效？

先看你提到的Boost过滤迭代器示例代码：

#include <boost/range/adaptor/filtered.hpp>
#include <iostream>
#include <vector>

struct is_even
{
    bool operator()( int x ) const { return x % 2 == 0; }
};

int main(int argc, const char* argv[])
{
    using namespace boost::adaptors;

    std::vector<int> myCollection{1,2,3,4,5,6,7,8,9};

    for( int i: myCollection | filtered( is_even() ) )
    {
        std::cout << i;
    }
}

复杂度对比：无本质性能优势 #

这种写法和传统“for循环内部嵌套if条件”的算法复杂度完全一致，都是O(n)级别。两种方式都需要遍历容器内所有元素并判断是否符合条件，只是判断逻辑的封装位置不同：

• 传统写法是在循环体内显式用if跳过不符合的元素；
• Boost过滤迭代器是把判断逻辑封装到迭代器行为中，代码更简洁，但底层工作量没有减少，不会带来性能提升。

实现原理：迭代器的自动过滤逻辑 #

Boost的filtered适配器核心是实现了过滤迭代器，工作逻辑可拆解为：

1. myCollection | filtered(is_even())会生成一个“过滤后的范围”：filtered适配器接收判断函数（is_even对象）和原容器迭代器，将二者打包。
2. 当range-based for循环遍历这个过滤范围时，使用的是过滤迭代器：
   • 每次调用迭代器的++操作时，会自动用is_even()检查当前指向的元素；
   • 若元素符合条件（返回true），则停止移动，允许后续解引用操作返回该元素；
   • 若不符合，则自动跳到下一个元素，重复检查，直到找到符合条件的元素或到达容器末尾。
3. 因此循环中直接拿到的就是符合条件的i，无需再写if判断——迭代器已帮你完成了跳过不符合元素的工作。

简言之，过滤迭代器就是把“遍历+判断跳过”的逻辑封装起来，让代码更简洁易读，同时保持和传统写法一致的性能。

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