介绍boost::algorithm::is_partitioned()

boost::algorithm::is_partitioned() 是 C++ 库 Boost.Algorithm 中的一个函数，用于检查给定范围内的元素是否被分为两个区域，满足特定谓词条件。该函数的语法如下：

template<typename Range, typename Predicate>
bool is_partitioned(const Range& range, Predicate pred);

其中，Range 可以是任何支持迭代器的类型，如 std::vector, std::list 等，Predicate 是一个用于确定给定元素是否属于第一个区域的一元谓词，它具有如下语法：

bool Predicate(const typename Range::value_type&);

如果 range 范围内的元素被谓词 pred 分为两个区域，返回 true，否则返回 false。

Boost.Algorithm 库提供了另外一个名为 partition() 的算法，它可用于将 range 范围内的元素分为两部分，一个部分满足谓词 pred，另一个部分则不满足。

以下是一些使用 boost::algorithm::is_partitioned() 的示例：

#include <iostream>
#include <vector>
#include <boost/algorithm/cxx11/is_partitioned.hpp>

bool is_even(int x) {
    return (x % 2 == 0);
}

int main() {
    std::vector<int> vec = { 1, 3, 5, 8, 10, 12 };

    // 检查 vec 范围内的元素是否被分为两个区域，使得其中一个区域中
    // 的元素满足 is_even() 谓词，另一个区域则不满足。
    bool is_partitioned = boost::algorithm::is_partitioned(vec, is_even);

    if (is_partitioned) {
        std::cout << "Yes, vec range is partitioned!" << std::endl;
    } else {
        std::cout << "No, vec range is not partitioned!" << std::endl;
    }

    return 0;
}

上述代码会输出：

Yes, vec range is partitioned!

因为 vec 范围内的元素被分为两个区域，其中一个区域中的元素满足 is_even() 谓词，另一个区域则不满足。