std:: is_permutation

检查 [ first1 , last1 ) 是否为由 first2 起始范围的 排列 ：

• 对于重载 (1,2) ，第二个范围包含 std:: distance ( first1, last1 ) 个元素。
• 对于重载 (3,4) ，第二个范围是 [ first2 , last2 ) 。

如果 ForwardIt1 和 ForwardIt2 具有不同的 value types ，则程序行为未定义。

如果比较函数不是 等价关系 ，则行为未定义。

参数

返回值

当范围 [ first1 , last1 ) 是范围 [ first2 , last2 ) 的一个排列时返回 true ，否则返回 false 。

复杂度

给定 \(\scriptsize N\) N 为 std:: distance ( first1, last1 ) ：

可能的实现

template<class ForwardIt1, class ForwardIt2>
bool is_permutation(ForwardIt1 first, ForwardIt1 last,
                    ForwardIt2 d_first)
{
    // 跳过公共前缀
    std::tie(first, d_first) = std::mismatch(first, last, d_first);
    // 遍历剩余部分，统计每个元素
    // 在 [first, last) 区间内出现在 [d_first, d_last) 区间中的次数
    if (first != last)
    {
        ForwardIt2 d_last = std::next(d_first, std::distance(first, last));
        for (ForwardIt1 i = first; i != last; ++i)
        {
            if (i != std::find(first, i, *i))
                continue; // 此 *i 已被检查
            auto m = std::count(d_first, d_last, *i);
            if (m == 0 || std::count(i, last, *i) != m)
                return false;
        }
    }
    return true;
}

注意

std::is_permutation 可用于 测试 场景，即检验重排算法（如排序、洗牌、分区）的正确性。若 x 是原始区间， y 是经过 排列 的区间，则 std :: is_permutation ( x, y ) == true 表示 y 由 “相同” 元素组成，这些元素可能位于不同位置。

示例

#include <algorithm>
#include <iostream>
template<typename Os, typename V>
Os& operator<<(Os& os, const V& v)
{
    os << "{ ";
    for (const auto& e : v)
        os << e << ' ';
    return os << '}';
}
int main()
{
    static constexpr auto v1 = {1, 2, 3, 4, 5};
    static constexpr auto v2 = {3, 5, 4, 1, 2};
    static constexpr auto v3 = {3, 5, 4, 1, 1};
    std::cout << v2 << " is a permutation of " << v1 << ": " << std::boolalpha
              << std::is_permutation(v1.begin(), v1.end(), v2.begin()) << '\n'
              << v3 << " is a permutation of " << v1 << ": "
              << std::is_permutation(v1.begin(), v1.end(), v3.begin()) << '\n';
}

{ 3 5 4 1 2 } is a permutation of { 1 2 3 4 5 }: true
{ 3 5 4 1 1 } is a permutation of { 1 2 3 4 5 }: false

参见