C++11新特性应用--介绍几个新增的便利算法(用于分区的几个算法)

今天继续。

C++11新增的关于Non-modifying sequence operations和Modifying sequence operations的算法已经写了，详细信息见之前的博客。

下面开始C++11新增的关于Partitions的算法：
Partitions:即分区的意思。

很多人可能还不熟悉partition，所以先说一说partition算法，需要说明的是这不是C++11新增的内容。但为了更方便大家理解，还是先写一写std::partition。

std::partition
原型：

template <class ForwardIterator, class UnaryPredicate>    ForwardIterator partition (ForwardIterator first,                               ForwardIterator last, UnaryPredicate pred);

作用：
Rearranges the elements from the range [first,last), in such a way that all the elements for which pred returns true precede all those for which it returns false. The iterator returned points to the first element of the second group.

需要注意一下返回值：
An iterator that points to the first element of the second group of elements (those for which pred returns false), or last if this group is empty

返回的迭代器是指向第二个区间的第一个元素！！！

应用：

#include <iostream> // std::cout  #include <algorithm> // std::partition  #include <vector> // std::vector    bool IsOdd(int i) { return (i % 2) == 1; }    int main() {      std::vector<int> myvector;        // set some values:      for (int i = 1; i<10; ++i)           myvector.push_back(i); // 1 2 3 4 5 6 7 8 9        std::vector<int>::iterator bound;      bound = std::partition(myvector.begin(), myvector.end(), IsOdd);        // print out content:      std::cout << "odd elements:";      for (std::vector<int>::iterator it = myvector.begin(); it != bound; ++it)          std::cout << ' ' << *it;      std::cout << '\n';        std::cout << "even elements:";      for (std::vector<int>::iterator it = bound; it != myvector.end(); ++it)          std::cout << ' ' << *it;      std::cout << '\n';        std::cout << "Now myvector is: ";      for (auto it = myvector.begin(); it != myvector.end(); it++)      {          std::cout << ' ' << *it;      }      std::cout << std::endl;        return 0;  }  //输出：  //odd elements : 1 9 3 7 5  //even elements : 6 4 8 2  //Now myvector is : 1 9 3 7 5 6 4 8 2

我们是想按照奇数偶数进行分组，目的达到了。但是还不够完美，因为每个分区部分的元素与之前相比，相对位置变化了。

这个时候，就需要更稳定的算法了，直接上代码了，运行结果对比的非常明显：
stable_partition

#include <iostream> // std::cout  #include <algorithm> // std::partition  #include <vector> // std::vector    bool IsOdd(int i) { return (i % 2) == 1; }    int main() {      std::vector<int> myvector;        // set some values:      for (int i = 1; i<10; ++i)           myvector.push_back(i); // 1 2 3 4 5 6 7 8 9        std::vector<int>::iterator bound;      bound = std::partition(myvector.begin(), myvector.end(), IsOdd);        // print out content:      std::cout << "odd elements:";      for (std::vector<int>::iterator it = myvector.begin(); it != bound; ++it)          std::cout << ' ' << *it;      std::cout << '\n';        std::cout << "even elements:";      for (std::vector<int>::iterator it = bound; it != myvector.end(); ++it)          std::cout << ' ' << *it;      std::cout << '\n';        std::cout << "Now myvector is: ";      for (auto it = myvector.begin(); it != myvector.end(); it++)      {          std::cout << ' ' << *it;      }      std::cout << std::endl;          std::cout << "Now let us " << std::endl;      std::vector<int> myvector2;        // set some values:      for (int i = 1; i<10; ++i)          myvector2.push_back(i); // 1 2 3 4 5 6 7 8 9        std::vector<int>::iterator bound2;      bound2 = std::stable_partition(myvector2.begin(), myvector2.end(), IsOdd);        // print out content:      std::cout << "odd elements:";      for (std::vector<int>::iterator it = myvector2.begin(); it != bound2; ++it)          std::cout << ' ' << *it;      std::cout << '\n';        std::cout << "even elements:";      for (std::vector<int>::iterator it = bound2; it != myvector2.end(); ++it)          std::cout << ' ' << *it;      std::cout << '\n';        std::cout << "Now myvector is: ";      for (auto it = myvector2.begin(); it != myvector2.end(); it++)      {          std::cout << ' ' << *it;      }      std::cout << std::endl;        return 0;  }  //输出：  //odd elements : 1 9 3 7 5  //even elements : 6 4 8 2  //Now myvector is : 1 9 3 7 5 6 4 8 2  //Now let us  //odd elements : 1 3 5 7 9  //even elements : 2 4 6 8  //Now myvector is : 1 3 5 7 9 2 4 6 8

现在开始介绍C++11新增的。

is_partitioned
原型：

template <class InputIterator, class UnaryPredicate>    bool is_partitioned (InputIterator first, InputIterator last, UnaryPredicate pred);

作用：
Test whether range is partitioned
Returns true if all the elements in the range [first,last) for which pred returns true precede those for which it returns false.

应用：

#include <iostream> // std::cout  #include <algorithm> // std::partition  #include <vector> // std::vector    bool IsOdd(int i) { return (i % 2) == 1; }    int main() {      std::vector<int> myvector;        // set some values:      for (int i = 1; i<10; ++i)           myvector.push_back(i); // 1 2 3 4 5 6 7 8 9        std::vector<int>::iterator bound;      bound = std::partition(myvector.begin(), myvector.end(), IsOdd);        // print out content:      std::cout << "odd elements:";      for (std::vector<int>::iterator it = myvector.begin(); it != bound; ++it)          std::cout << ' ' << *it;      std::cout << '\n';        std::cout << "even elements:";      for (std::vector<int>::iterator it = bound; it != myvector.end(); ++it)          std::cout << ' ' << *it;      std::cout << '\n';        std::cout << "Now myvector is: ";      for (auto it = myvector.begin(); it != myvector.end(); it++)      {          std::cout << ' ' << *it;      }      std::cout << std::endl;          std::cout << "Now let us use stable_partition:" << std::endl;      std::vector<int> myvector2;        // set some values:      for (int i = 1; i<10; ++i)          myvector2.push_back(i); // 1 2 3 4 5 6 7 8 9        std::vector<int>::iterator bound2;      bound2 = std::stable_partition(myvector2.begin(), myvector2.end(), IsOdd);        // print out content:      std::cout << "odd elements:";      for (std::vector<int>::iterator it = myvector2.begin(); it != bound2; ++it)          std::cout << ' ' << *it;      std::cout << '\n';        std::cout << "even elements:";      for (std::vector<int>::iterator it = bound2; it != myvector2.end(); ++it)          std::cout << ' ' << *it;      std::cout << '\n';        std::cout << "Now myvector is: ";      for (auto it = myvector2.begin(); it != myvector2.end(); it++)      {          std::cout << ' ' << *it;      }      std::cout << std::endl;        std::cout << "Now, let us use is_partitioned on myvector2:" << std::endl;      if (std::is_partitioned(myvector2.begin(), myvector2.end(), IsOdd))          std::cout << " (partitioned)\n";      else          std::cout << " (not partitioned)\n";        std::cout << "Now, let us use is_partitioned on en empty vector:" << std::endl;      std::vector<int> myvector3;      if (std::is_partitioned(myvector3.begin(), myvector3.end(), IsOdd))          std::cout << " (partitioned)\n";      else          std::cout << " (not partitioned)\n";          return 0;  }  //输出：  odd elements : 1 9 3 7 5  even elements : 6 4 8 2  Now myvector is : 1 9 3 7 5 6 4 8 2  Now let us use stable_partition :  odd elements : 1 3 5 7 9  even elements : 2 4 6 8  Now myvector is : 1 3 5 7 9 2 4 6 8  Now, let us use is_partitioned on myvector2 :  (partitioned)  Now, let us use  is_partitioned on en empty vector :  (partitioned)

从输出结果看，我们需要明确：
If the range is empty, the function returns true.

上面的几个算法，不管如何折腾，都是在一个vector进行的，结果也还是在一个vector中，于是C++11新增了这个：
partition_copy
原型：

template <class InputIterator, class OutputIterator1,   class OutputIterator2, class UnaryPredicate pred> pair<OutputIterator1,OutputIterator2> partition_copy (InputIterator first, InputIterator last, OutputIterator1 result_true, OutputIterator2 result_false, UnaryPredicate pred);

作用：
Copies the elements in the range [first,last) for which pred returns true into the range pointed by result_true, and those for which it does not into the range pointed by result_false.

应用：

#include <iostream> // std::cout  #include <algorithm> // std::partition_copy, std::count_if  #include <vector> // std::vector    bool IsOdd(int i) { return (i % 2) == 1; }    int main() {      std::vector<int> foo{ 1,2,3,4,5,6,7,8,9 };      std::vector<int> odd, even;        // resize vectors to proper size:      unsigned n = std::count_if(foo.begin(), foo.end(), IsOdd);      odd.resize(n); even.resize(foo.size() - n);        // partition:      std::partition_copy(foo.begin(), foo.end(), odd.begin(), even.begin(), IsOdd);        // print contents:      std::cout << "odd: ";  for (int& x : odd)  std::cout << ' ' << x; std::cout << '\n';      std::cout << "even: "; for (int& x : even) std::cout << ' ' << x; std::cout << '\n';        return 0;  }  //输出：  //odd: 1 3 5 7 9  //even : 2 4 6 8

接下来剩最后一个：
partition_point
从算法名字就能略知一二，于是直接上代码示例：

#include <iostream> // std::cout  #include <algorithm> // std::partition, std::partition_point  #include <vector> // std::vector    bool IsOdd(int i) { return (i % 2) == 1; }    int main() {      std::vector<int> foo{ 1,2,3,4,5,6,7,8,9 };      std::vector<int> foo2{ 1,2,3,4,5,6,7,8,9 };      std::vector<int> odd;      std::vector<int> odd2;        std::partition(foo.begin(), foo.end(), IsOdd);        auto it = std::partition_point(foo.begin(), foo.end(), IsOdd);      odd.assign(foo.begin(), it);        auto bound = std::partition(foo2.begin(), foo2.end(), IsOdd);      for (std::vector<int>::iterator it = foo2.begin(); it != bound; ++it)          odd2.push_back(*it);      //odd2.assign(foo.begin(), bound);        // print contents of odd:      std::cout << "odd:";      for (int& x : odd) std::cout << ' ' << x;      std::cout << '\n';        std::cout << "odd2:";      for (int& x : odd2) std::cout << ' ' << x;      std::cout << '\n';        return 0;  }

因此：
partition_point
Returns an iterator to the first element in the partitioned range [first,last) for which pred is not true, indicating its partition point.

个人觉得这个算法用处不大。
个人觉得主要应用于已经partition的range上还算有优势！