Namespaces
Variants

    std::experimental::ranges:: equal

    From ko.cppreference.net
    C++
    Experimental
    Ranges
    Algorithms library
    Non-modifying sequence operations
    Modifying sequence operations
    Partitioning operations
    Sorting operations
    Binary search operations
    Set operations (on sorted ranges)
    Heap operations
    Minimum/maximum operations
    Permutations
    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) (ranges 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) (ranges 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) (ranges 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 ) 내의 모든 반복자 i 에 대해 ranges:: 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_set , std::unordered_multiset , std::unordered_map , 또는 std::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;
}

    예제

    이 섹션은 불완전합니다
    이유: 예시가 없음

    참고 항목

    		 두 요소 집합이 같은지 판단합니다
    (함수 템플릿 & 알고리즘 함수 객체)
    (C++20)
    		특정 기준을 만족하는 첫 번째 요소를 찾습니다
    (함수 템플릿)
    		반환합니다 true 만약 한 범위가 다른
    (함수 템플릿)보다 사전 순으로 작은 경우
    		두 범위가 다른 첫 번째 위치를 찾습니다
    (함수 템플릿)
    		요소의 범위를 검색합니다
    (함수 템플릿)