定义于头文件 <algorithm>
算法库提供大量用途的函数(例如查找、排序、计数、操作),它们在元素范围上操作。注意范围定义为 [first, last)
,其中 last
指代要查询或修改的最后元素的后一个元素。
定位已划分范围的划分点
std::partition_point
template< class ForwardIt, class UnaryPredicate > | (1) | (C++11 起) (C++20 前) |
template< class ForwardIt, class UnaryPredicate > | (C++20 起) |
检验(如同用 std::partition 的)划分范围 [first, last)
,并定位第一划分的结尾,即首个不满足 p
的元素,或若所有元素满足 p
则为 last
。
参数
first, last | - | 要检验的元素被划分范围 |
p | - | 对于在范围起始找到的元素则返回 true 的一元谓词。 对每个(可为 const 的) |
类型要求 | ||
- ForwardIt 必须满足遗留向前迭代器 (LegacyForwardIterator) 的要求。 | ||
- UnaryPredicate 必须满足谓词 (Predicate) 的要求。 |
返回值
[first, last)
内第一划分结尾后的迭代器,或若所有元素满足 p
则为 last
。
复杂度
给定 N = std::distance(first, last) ,进行 O(log N) 次谓词 p
的应用。
然而,对于非遗留随机访问迭代器 (LegacyRandomAccessIterator) ,迭代器自增次数为 O(N) 。
注意
此算法是 std::lower_bound 的更通用化的形式,能以 std::partition_point
用谓词 [&](auto const& e) { return e < value; } 表达它。
调用示例
#include <iostream>
#include <algorithm>
#include <functional>
#include <vector>
#include <iterator>
using namespace std;
struct Cell
{
int x;
int y;
Cell &operator +=(const Cell &cell)
{
x += cell.x;
y += cell.y;
return *this;
}
bool operator <(const Cell &cell) const
{
if (x == cell.x)
{
return y < cell.y;
}
else
{
return x < cell.x;
}
}
};
std::ostream &operator<<(std::ostream &os, const Cell &cell)
{
os << "{" << cell.x << "," << cell.y << "}";
return os;
}
int main()
{
std::cout.setf(std::ios_base::boolalpha);
auto func1 = [](Cell & cell, const Cell & t)
{
cell += t;
return cell;
};
Cell cell{99, 100};
Cell t{2, 3};
auto func2 = std::bind(func1, cell, t);
vector<Cell> cells(8);
std::generate(cells.begin(), cells.end(), func2);
std::cout << "cells : ";
std::copy(cells.begin(), cells.end(), std::ostream_iterator<Cell>(std::cout, " "));
std::cout << std::endl;
auto is_even = [](const Cell & cell)
{
return cell.x % 2 == 1 && cell.y % 2 == 1;
};
std::cout << "is_partitioned: " << std::is_partitioned(cells.begin(), cells.end(), is_even);
std::cout << std::endl << std::endl;
std::partition(cells.begin(), cells.end(), is_even);
std::cout << "cells : ";
std::copy(cells.begin(), cells.end(), std::ostream_iterator<Cell>(std::cout, " "));
std::cout << std::endl;
std::cout << "is_partitioned: " << std::is_partitioned(cells.begin(), cells.end(), is_even);
std::cout << std::endl << std::endl;
auto point = std::partition_point(cells.begin(), cells.end(), is_even);
std::cout << "Before partition : ";
std::copy(cells.begin(), point, std::ostream_iterator<Cell>(std::cout, " "));
std::cout << std::endl;
std::cout << "nAfter partition : ";
std::copy(point, cells.end(), std::ostream_iterator<Cell>(std::cout, " "));
std::cout << std::endl ;
return 0;
}