- 将数组中的元素分为两部分，第一部分[first,middle)中的每个元素都是pred(i)为true，第二部分[middle,last)中的每个元素都是pred(i)为false
- 返回值为middle
- partition执行速度很快，除非要求稳定性使用stable_partition,否则使用partition
- partition不保证与原来的数组中元素相对顺序相同，sable_partition保证
- 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);