分割（partition,stable_partition）

1. 将数组中的元素分为两部分，第一部分[first,middle)中的每个元素都是pred(i)为true，第二部分[middle,last)中的每个元素都是pred(i)为false
2. 返回值为middle
3. partition执行速度很快，除非要求稳定性使用stable_partition,否则使用partition
4. partition不保证与原来的数组中元素相对顺序相同，sable_partition保证
5. stable_partition是一个adpative算法，会试图分配内存缓冲区，其运行复杂度取决于缓冲区中有多少内存，最坏情况下没有分配任何内存，至多调用swap Nlog(N)次，N为last-first，最好情况下（缓冲区中有足够内存）与N呈线性关系，两种情况下pred都被调用N次

template <class ForwardIterator, class UnaryPredicate>

ForwardIterator partition (ForwardIterator first,ForwardIterator last, UnaryPredicate 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;

        iter_swap(first, last);//头尾指针所指元素彼此交换

        ++first;//头指针前进1，准备下一个外循环迭代

    }

}

template <class ForwardIterator, class UnaryPredicate>

ForwardIterator stable_partition (ForwardIterator first,ForwardIterator last, UnaryPredicate pred);