std::prev_permutation

来自cppreference.com
< cpp‎ | algorithm
 
 
算法库
受约束算法及范围上的算法 (C++20)
受约束算法: std::ranges::copy, std::ranges::sort, ...
执行策略 (C++17)
不修改序列的操作
(C++11)(C++11)(C++11)
(C++17)
修改序列的操作
Partitioning operations
划分操作
排序操作
(C++11)
二分搜索操作
集合操作(在已排序范围上)
堆操作
(C++11)
最小/最大操作
(C++11)
(C++17)

排列
prev_permutation
数值运算
未初始化存储上的操作
(C++17)
(C++17)
(C++17)
C 库
 
在标头 <algorithm> 定义
(1)
template< class BidirIt >
bool prev_permutation( BidirIt first, BidirIt last);
(C++20 前)
template< class BidirIt >
constexpr bool prev_permutation( BidirIt first, BidirIt last);
(C++20 起)
(2)
template< class BidirIt, class Compare >
bool prev_permutation( BidirIt first, BidirIt last, Compare comp);
(C++20 前)
template< class BidirIt, class Compare >
constexpr bool prev_permutation( BidirIt first, BidirIt last, Compare comp);
(C++20 起)

变换范围 [first, last) 为来自于相对于 operator<comp 的字典序的所有排列集合的上个排列。若这种排列存在则返回 true ,否则变换范围为末排列(如同用 std::sort(first, last); std::reverse(first, last); )并返回 false

参数

first, last - 要重排的元素范围
comp - 比较函数对象(即满足比较 (Compare) 要求的对象),如果首个参数小于 第二个,那么返回 ​true

比较函数的签名应等价于如下:

 bool cmp(const Type1 &a, const Type2 &b);

虽然签名不必有 const &,函数也不能修改传递给它的对象,而且必须接受(可有 const 限定的)类型 Type1Type2 的值,与值类别无关(从而不允许 Type1 &,也不允许 Type1,除非 Type1 的移动等价于复制 (C++11 起))。
类型 Type1Type2 必须使得 BidirIt 类型的对象能在解引用后隐式转换到这两个类型。 ​

类型要求
-
BidirIt 必须符合值可交换 (ValueSwappable) 老式双向迭代器 (LegacyBidirectionalIterator) 的要求。

返回值

若新排列按字典序前趋旧排列则为 true 。若抵达首个排列并重置范围为最末排列则为 false

异常

任何从迭代器操作或元素交换抛出的异常。

复杂度

至多 (last-first)/2 次交换。

典型实现在排列的整个序列上,平均每次调用使用约 3 次比较和 1.5 次交换。

注解

实现(例如 MSVC STL )可能在迭代器类型满足老式连续迭代器 (LegacyContiguousIterator) ,并且交换其值类型不调用非平凡的特殊成员函数或 ADL 所找到的 swap 时启用向量化。

可能的实现

template<class BidirIt>
bool prev_permutation(BidirIt first, BidirIt last)
{
    if (first == last) return false;
    BidirIt i = last;
    if (first == --i) return false;
 
    while (1) {
        BidirIt i1, i2;
 
        i1 = i;
        if (*i1 < *--i) {
            i2 = last;
            while (!(*--i2 < *i))
                ;
            std::iter_swap(i, i2);
            std::reverse(i1, last);
            return true;
        }
        if (i == first) {
            std::reverse(first, last);
            return false;
        }
    }
}

示例

下列代码以逆序打印字符串 "abc" 的所有六个排列

#include <algorithm>
#include <string>
#include <iostream>
#include <functional>
int main()
{
    std::string s="abc";
    std::sort(s.begin(), s.end(), std::greater<char>());
    do {
        std::cout << s << ' ';
    } while(std::prev_permutation(s.begin(), s.end()));
    std::cout << '\n';
}

输出:

cba cab bca bac acb abc

参阅

判断一个序列是否为另一个序列的排列
(函数模板)
产生某个元素范围的按字典顺序的下一个较大的排列
(函数模板)
产生某个元素范围的按字典序下一个较小的排列
(niebloid)