stl中partition算法的解释

Partition:分块，将满足条件的元素向前移动.(初始的相对位置将发生改变)

一个简单的例子，把大于8的数分块;

bool isok(int num)
{
    return (num > 8);
}

void main()

{
    vector<int> v1;
    /*for (int i = 0; i <10; i++)
    {
        v1.push_back(i);
    }*/

    v1.push_back(1);
    v1.push_back(3);
    v1.push_back(22);
    v1.push_back(10);
    v1.push_back(13);
    v1.push_back(8);
    v1.push_back(5);
    for_each(v1.begin(), v1.end(), show<int>());
    cout << "\n";
    partition(v1.begin(), v1.end(), isok);

    for_each(v1.begin(), v1.end(), show<int>());

    cin.get();
}

输出结果：

1 3 22 10 13 8 5
13 10 22 3 1 8 5

不难发现 从22和3的位置 区分出来了，22之前大于8的 22之后小于8的，其实就是isok 为true 的向前移  为false的向后移，

Partition算法的具体思路就是，先经过两次内循环的查找，前者使得结果为false,后者使得结果为true的元素已经找到,并交换彼此

这样就实现了分块，

过程演示：起始序列 1 3 22 10 13 8 5

经过两次内循环查找，先找到 1为false 、13为true ，将这两个数交换 形成新的序列 13  3 22 10  1 8 5

继续上步操作 找到 3为false 、10为true ，将这两个数交换 形成新的序列 13  10 22 3 1 8 5

.......

最终得到13 10 22 3 1 8 5

Partition 实现的代码：

// TEMPLATE FUNCTION partition

template<class _BidIt,

class _Pr> inline

_BidIt _Partition(_BidIt _First, _BidIt _Last, _Pr _Pred)

{ // move elements satisfying _Pred to beginning of sequence

for (; ; ++_First)//最外层循环是一次往后面找元素

{ // find any out-of-order pair

for (; _First != _Last && _Pred(*_First); ++_First)//找到使得_Pred为false的元素

; // skip in-place elements at beginning

if (_First == _Last)

break; // done

 

for (; _First != --_Last && !_Pred(*_Last); )//找到是的_Pred为true的元素.

; // skip in-place elements at end

if (_First == _Last)

break; // done

 

_STD iter_swap(_First, _Last); // swap out-of-place pair and loop

//经过两个内循环的查找,前者是的_Pred为false,后者使得_Pred为true的元素已经找到,并交换彼此

}

return (_First);

}

需要注意的一点:vs2010的stl实现方式中,很喜欢使用if( -- iter )/for(_First != --_Last)这类的表达式,这类表达式的有点是代码量少,程序整洁,但是缺点就是容易造成语义判断错误,比如--iter中,即使if判断失败iter也减一操作.

那有没有不改变初始位置的呢，肯定有啦：

Stable_partition:将满足条件的元素向前移动.(但不改变初始状态的相对顺序)

好了今天就先介绍到这儿吧。