std::
is_permutation
函数模板 <algorithm>| equality (1) | template <class ForwardIterator1, class ForwardIterator2>
bool is_permutation (ForwardIterator1 first1, ForwardIterator1 last1,
ForwardIterator2 first2); |
| predicate(2) | template <class ForwardIterator1, class ForwardIterator2, class BinaryPredicate>
bool is_permutation (ForwardIterator1 first1, ForwardIterator1 last1,
ForwardIterator2 first2, BinaryPredicate pred); |
测试范围是否为另一个范围的置换
将[first1,last1)范围内的元素与从first2开始的范围内的元素进行比较， 如果两个范围内的所有元素都匹配，即使顺序不同，也返回true。
使用operator==(或版本(2)中的pred)比较元素。
这个函数模板的行为相当于:
template <class InputIterator1, class InputIterator2>
bool is_permutation (InputIterator1 first1, InputIterator1 last1,
InputIterator2 first2)
{
std::tie (first1,first2) = std::mismatch (first1,last1,first2);
if (first1==last1) return true;
InputIterator2 last2 = first2; std::advance (last2,std::distance(first1,last1));
for (InputIterator1 it1=first1; it1!=last1; ++it1) {
if (std::find(first1,it1,*it1)==it1) {
auto n = std::count (first2,last2,*it1);
if (n==0 || std::count (it1,last1,*it1)!=n) return false;
}
}
return true;
} |
☲ 参数
- first1, last1
- 指向第一个序列初始和最终位置的输入迭代器。使用的范围是[first1,last1)， 它包含first1和last1之间的所有元素，包括first1指向的元素，但不包括last1指向的元素。
- first2
- 指向第二个序列的初始位置的输入迭代器。函数最多可以访问[first1,last1)范围内的元素。 如果该序列较短，则会导致未定义的行为。
- pred
-
接受两个元素(每个序列一个元素，顺序相同)作为参数并返回可转换为bool的值的二元函数。
返回值指示元素在此函数当前环境中是否被认为匹配。
函数不能修改它的任何参数。
它可以是函数指针，也可以是函数对象。
☉ 返回值
如果[first1,last1)范围内的所有元素的比较值都等于从first2开始的范围的比较值， 则为True，否则为false。
☣ 示例
// is_permutation example
#include <iostream> // std::cout
#include <algorithm> // std::is_permutation
#include <array> // std::array
int main () {
std::array<int,5> foo = {1,2,3,4,5};
std::array<int,5> bar = {3,1,4,5,2};
if ( std::is_permutation (foo.begin(), foo.end(), bar.begin()) )
std::cout << "foo and bar contain the same elements.\n";
return 0;
} |
输出:
foo and bar contain the same elements.
foo and bar contain the same elements.
✥ 复杂度
如果两个序列相等(元素顺序相同)，则first1和last1之间的(distance)距离是线性的。 否则，最多二次方:最多进行N2次元素比较，直到确定结果(N是first1和last1之间的(distance)距离)。
⇄ 数据竞争
两个范围内的部分(或全部)对象被访问(可能每个对象被访问多次)。
☂ 异常安全性
如果任何元素比较(或pred)或迭代器上的任何操作抛出，则抛出。
注意，无效的参数会导致未定义的行为。
🍄 另请参阅
| equal | 测试两个范围内的元素是否相等(函数模板) |
| next_permutation | 转换范围到下一个排列(函数模板) |
| prev_permutation | 搜索子序列的范围(函数模板) |
| mismatch | 将范围转换为以前的排列(函数模板) |