std::stable_partition() 和 std::partition() 有什么区别？

Question

stable_partition(vect.begin(), vect.end(), [](int x) { return x % 2 == 0; });

partition(vect.begin(), vect.end(), [](int x) {
  return x % 2 == 0;
});

上面的代码是为了解释两者之间的区别。

Answer 1

“稳定”意味着等效元素的顺序不会改变：

来自cppreference.com 的std::stable_partition ：

重新排序范围 [first, last) 中的元素，使得谓词p为其返回true所有元素位于谓词p为其返回false的元素之前。 元素的相对顺序被保留。

Answer 2

解决这个问题的最好方法可能是举个例子。 让我在这里抄袭cppreference 中的示例：

#include <iostream>
#include <algorithm>
#include <vector>

int main()
{
    std::vector<int> v{0, 0, 3, 0, 2, 4, 5, 0, 7};
    std::stable_partition(v.begin(), v.end(), [](int n){return n>0;});
    for (int n : v) {
        std::cout << n << ' ';
    }
    std::cout << '\n';
}

运行这个会得到： 3 2 4 5 7 0 0 0 0 。 3, 2, 4, 5, 7 等价于由> 0谓词定义的关系，并且正如预期的那样，它们没有重新排序。

但是，如果将stable_partition替换为同一示例的partition ，则会得到： 7 5 3 4 2 0 0 0 0 。 这次不能保证保持等效元素的顺序，显然它不是。

Answer 3

如其他答案中所述， std::stable_partition保留谓词为其返回true和false的组中元素的相对顺序。

但这需要付出代价： std::stable_partition具有更高的时间/空间复杂度。 如果可以分配额外的存储空间，则可以在O(n)时间内实现std::stable_partition 。 然而，就地稳定分区不能在O(n)时间内实现。 它可以在O(n log n)时间内完成。 可以在此处找到一个简单的分而治之算法的示例。

std::stable_partition C++ 参考读取：

复杂性（ std::stable_partition ）

给定N = last - first ，

如果有足够的额外内存，正好N应用谓词和O(N)交换。 如果内存不足，最多N log N交换。

还要注意std::stable_partition需要双向迭代器，而std::partition可以对前向迭代器进行操作。 但是，在双向迭代器上效率更高：

复杂性（ std::partition ）

鉴于N = std::distance(first,last) ，

谓词的N应用。 至多N/2互换如果ForwardIt满足的要求LegacyBidirectionalIterator ，和至多N互换否则。

如果分区后元素的相对顺序不重要，请使用std::partition 。