std::mergeable

来自cppreference.com
< cpp‎ | iterator
 
 
迭代器库
迭代器概念
迭代器原语
算法概念与工具
间接可调用概念
常用算法要求
(C++20)
mergeable
(C++20)
(C++20)
工具
迭代器适配器
流迭代器
迭代器定制点
迭代器操作
(C++11)
(C++11)
范围访问
(C++11)(C++14)
(C++11)(C++14)
(C++17)(C++20)
(C++14)(C++14)
(C++14)(C++14)
(C++17)
(C++17)
 
在标头 <iterator> 定义
template< class I1, class I2, class Out, class R = ranges::less,

          class P1 = std::identity, class P2 = std::identity >
concept mergeable =
    std::input_iterator<I1> &&
    std::input_iterator<I2> &&
    std::weakly_incrementable<Out> &&
    std::indirectly_copyable<I1, Out> &&
    std::indirectly_copyable<I2, Out> &&
    std::indirect_strict_weak_order<R,
                                    std::projected<I1, P1>,

                                    std::projected<I2, P2>>;
(C++20 起)

mergeable 概念指定按照 R 所施加的严格弱序归并二个输入范围到单个输出范围的算法的要求。

语义要求

mergeable 仅若其所蕴含的所有概念均被实现才得以实现。

参阅

归并两个有序范围
(niebloid)
计算两个集合的并集
(niebloid)
计算两个集合的交集
(niebloid)
计算两个集合的差集
(niebloid)
计算两个集合的对称差
(niebloid)