std::experimental::ranges::equal

< cpp‎ | experimental‎ | ranges
 
 
技术规范
文件系统库 (文件系统 TS)
库基础 (库基础 TS)
库基础 2 (库基础 TS v2)
库基础 3 (库基础 TS v3)
并行扩展 (并行 TS)
并行扩展 2 (并行 TS v2)
并发扩展 (并发 TS)
概念 (概念 TS)
范围 (范围 TS)
数学特殊函数 (特殊函数 TR)
 
 
 
template< InputIterator I1, Sentinel<I1> S1, InputIterator I2, Sentinel<I2> S2,

          class Pred = ranges::equal_to<>,
          class Proj1 = ranges::identity, class Proj2 = ranges::identity >
  requires IndirectlyComparable<I1, I2, Pred, Proj1, Proj2>
bool equal(I1 first1, S1 last1, I2 first2, S2 last2, Pred pred = Pred{},

           Proj1 proj1 = Proj1{}, Proj2 proj2 = Proj2{});
(1) (范围 TS)
template< InputRange R1, InputRange R2, class Pred = ranges::equal_to<>,

          class Proj1 = ranges::identity, class Proj2 = ranges::identity >
  requires IndirectlyComparable<ranges::iterator_t<R1>, ranges::iterator_t<R2>,
                                Pred, Proj1, Proj2>
bool equal(R1&& r1, R2&& r2, Pred pred = Pred{},

           Proj1 proj1 = Proj1{}, Proj2 proj2 = Proj2{});
(2) (范围 TS)
template< InputIterator I1, Sentinel<I1> S1, class I2,

          class Pred = ranges::equal_to<>,
          class Proj1 = ranges::identity, class Proj2 = ranges::identity >
  requires InputIterator<std::decay_t<I2>> && !Range<I2> &&
           IndirectlyComparable<I1, std::decay_t<I2>, Pred, Proj1, Proj2>
bool equal(I1 first1, S1 last1, I2&& first2_, Pred pred = Pred{},

           Proj1 proj1 = Proj1{}, Proj2 proj2 = Proj2{});
(3) (范围 TS)
(弃用)
template< InputRange R1, class I2, class Pred = ranges::equal_to<>,

          class Proj1 = ranges::identity, class Proj2 = ranges::identity >
  requires InputIterator<std::decay_t<I2>> && !Range<I2> &&
           IndirectlyComparable<ranges::iterator_t<R1>, std::decay_t<I2>, Pred, Proj1, Proj2>
bool equal(R1&& r1, I2&& first2_, Pred pred = Pred{},

           Proj1 proj1 = Proj1{}, Proj2 proj2 = Proj2{});
(4) (范围 TS)
(弃用)
1) 若范围 [first1, last1) 等于 [first2, last2) 则返回 true ,否则返回 false
2)(1) ,但以 r1 为第一源范围并以 r2 为第二源范围,如同以 ranges::begin(r1)first1 ,以 ranges::end(r1)last1 ,以 ranges::begin(r2)first2 并以 ranges::end(r2)last2
3)(1) ,除了在穷尽第一范围或检测到首个不匹配时认为第二范围结束。等价于 return last1 == ranges::mismatch(first1, last1, std::forward<I2>(first2_), comp, proj1, proj2).in1();
4)(3) ,但以 r1 为第一源范围,如同以 ranges::begin(r1)first1 并以 ranges::end(r1)last1

若二个范围有相同数量的元素,且对于范围 [first1,last1) 中的每个迭代器 iranges::invoke(pred, ranges::invoke(proj1, *i), ranges::invoke(proj2, *(first2 + (i - first1))))true ,则认为二个范围相等。

尽管声明描述如上,算法声明的模板形参的实际数量和顺序是未指定的。从而若在调用算法时使用显式模板实参,则程序很可能不可移植。

参数

first1, last1 - 第一元素范围
r1 - 第一元素范围
first2, last2 - 第二元素范围
r2 - 第二元素范围
first2_ - 第二元素范围的起始
pred - 应用到投影后元素的谓词
proj1 - 应用到第一范围中元素的投影
proj2 - 应用到第二范围中元素的投影

返回值

若二个范围相等则为 true ,否则返回 false

注意

不应该用 ranges::equal 比较来自 std::unordered_setstd::unordered_multisetstd::unordered_mapstd::unordered_multimap 的迭代器所组成的范围,因为即使二个容器存储相同的元素,在容器中存储元素的顺序也可能不同。

比较整个容器是否相等时,通常更偏好使用对应容器的 operator==

复杂度

1-2) 若满足 SizedSentinel<S1, I1> && SizedSentinel<S2, I2>last1 - first1 != last2 - first2 ,则不应用谓词和投影。否则至多应用 min(last1 - first1, last2 - first2) 次谓词及各一次投影。
3-4) 至多应用 last1 - first1 次谓词及各一次投影。

可能的实现

namespace detail 
{
    template< InputIterator I1, SizedSentinel<I1> S1,
              InputIterator I2, SizedSentinel<I1> S2 >
    bool check_size(I1& first1, S1& last1, I2& first2, S2& last2)
    {
        return last1 - first1 != last2 - first2;
    }
 
    template< InputIterator I1, Sentinel<I1> S1, InputIterator I2, Sentinel<I1> S2 >
    bool check_size(I1& first1, S1& last1, I2& first2, S2& last2)
    {
        return false;
    }
}
 
template< InputIterator I1, Sentinel<I1> S1, InputIterator I2, Sentinel<I2> S2,
          class Pred = ranges::equal_to<>, 
          class Proj1 = ranges::identity, class Proj2 = ranges::identity >
  requires IndirectlyComparable<I1, I2, Pred, Proj1, Proj2>
bool equal(I1 first1, S1 last1, I2 first2, S2 last2, Pred pred = Pred{},
           Proj1 proj1 = Proj1{}, Proj2 proj2 = Proj2{}) 
{
    if(detail::check_size(first1, last1, first2, last2)) return false;
    for(; first1 != last1 && first2 != last2; (void) ++first1, (void)++first2) {
        if(!ranges::invoke(pred, ranges::invoke(proj1, *first1), 
                                 ranges::invoke(proj2, *first2))) {
            return false;
        }
    }
    return first1 == last1 && first2 == last2;
}

示例

参阅

确定两个元素集合是否是相同的
(函数模板)
寻找首个满足特定判别标准的元素
(函数模板)
当一个范围按字典顺序小于另一个范围时,返回 true
(函数模板)
寻找两个范围出现不同的首个位置
(函数模板)
搜索一个元素范围
(函数模板)