C++序列操作之std::partition

C++序列操作之std::partition

std::partition会将区间[first,last)中的元素重新排列，满足判断条件pred的元素会被放在区间的前段，不满足pred的元素会被放在区间的后段。该算法不能保证元素的初始相对位置，如果需要保证初始相对位置，应该使用stable_partition.
partition源代码如下：

template<class BidirectionalIterator,class Predicate>
BidirectionalIterator partition(BidirectionalIterator first,BidirectionalIterator last,Predicate pred){
    while (true)    {
        while (true)   //从头开始查找满足移动条件的元素
        {
            if (first==last)    //头指针等于尾指针
                return first;   //直接返回
            else if (pred(*first)) //头指针指向值不满足移动条件
                ++first;            //不移动，头指针自加
            else
                break;   //头指针指向的值满足移动条件，跳出循环

        }
        --last;                //尾指针回溯1    
        while (true)           //从尾端查找满足移动条件的元素
        {
            if (first==last)    //头指针等于尾指针
                return first;   //直接返回
            else if(!pred(*last))     //尾指针指向的值不满足移动条件:注意是“！”
                --last;                //不移动，尾指针自减
            else             //尾指针所指元素满足移动条件:
                break;               //跳出循环
        }
        std::iter_swap(first,last); //将当前头尾指针所指元素进行交换
        ++first;                //头指针自加，进入下一轮循环
    }       
}

示例：

bool IsOdd (int i) { //用语判断奇数
    return (i%2)==1; //奇数返回true，偶数返回0
}

int main(void)
{
    std::vector<int> ivec;  
    for (int i=1; i<10; ++i) 
        ivec.push_back(i); // 1 2 3 4 5 6 7 8 9 
    auto bound = partition (ivec.begin(), ivec.end(), IsOdd);   
    std::cout << "odd elements:";
    for (auto it=ivec.begin(); it!=bound; ++it)
        std::cout << ' ' << *it;       //输出1,9,3,7,5    
    std::cout << "even elements:";
    for (auto it=bound; it!=ivec.end(); ++it)
        std::cout << ' ' << *it;     //输出6,4,8,2    
    return 0;
}

PS:未找到stable_partition源代码，貌似不对外开放.