C++中的std::is_partitioned

在C++11中，标准库引入了许多新的类型和函数，其中包括std::is_partitioned。这个函数的作用是判断一个序列是否被划分为了两个部分，其中一部分满足指定条件，另一部分则不满足。

函数原型

先来看一下std::is_partitioned的函数原型：

template<class InputIt, class UnaryPredicate>
bool is_partitioned(InputIt first, InputIt last, UnaryPredicate p);

这个函数接受三个参数，第一个参数是迭代器，指向要判断的序列的第一个元素；第二个参数是迭代器，指向要判断的序列的末尾元素的下一个位置；第三个参数是一个可调用对象，用来判断序列中的每个元素是否符合某个条件。

使用示例

下面我们来看一个例子，假设我们有一个整数序列，我们要判断它是否被分成了两部分，其中一部分为奇数，另一部分为偶数。

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

int main()
{
    std::vector<int> nums{1, 2, 3, 4, 5, 6, 7, 8, 9, 10};

    bool is_odd_even_partitioned = std::is_partitioned(nums.begin(), nums.end(), [](int num){
        return num % 2 == 1;
    });

    std::cout << std::boolalpha;
    std::cout << "Is the sequence partitioned into odd & even?: " << is_odd_even_partitioned << std::endl;

    return 0;
}

输出结果：

Is the sequence partitioned into odd & even?: true

这个例子中，我们使用Lambda函数来判断一个数是否为奇数，用std::is_partitioned来判断序列是否被划分为奇数和偶数两个部分。

再看另一个例子，假设我们有一个由五个字符串组成的序列，我们要判断它是否被划分为两个部分，其中一部分的字符串长度大于3，另一部分的字符串长度小于等于3。

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

int main()
{
    std::vector<std::string> words{"apple", "banana", "cat", "dog", "elephant"};

    bool is_partitioned_by_length = std::is_partitioned(words.begin(), words.end(), [](const std::string &word){
        return word.length() > 3;
    });

    std::cout << std::boolalpha;
    std::cout << "Is the sequence partitioned by length?: " << is_partitioned_by_length << std::endl;

    return 0;
}

输出结果：

Is the sequence partitioned by length?: false

这个例子中，我们使用Lambda函数来判断一个字符串长度是否大于3，用std::is_partitioned来判断序列是否被划分为长度大于3和长度小于等于3两个部分。

注意事项

需要注意的是，std::is_partitioned判断的是整个序列是否被划分为两个部分，而不是只判断前一部分或后一部分是否满足条件。如果我们想要判断前一部分是否满足条件，可以直接使用std::partition_point来查找第一个不满足条件的元素的位置，如果这个位置和序列的开始位置重合，说明前一部分都满足条件。