Namespaces
Variants

std::experimental::ranges:: lexicographical_compare

From cppreference.net
template < InputIterator I1, Sentinel < I1 > S1, InputIterator I2, Sentinel < I2 > S2,

class Proj1 = ranges:: identity , class Proj2 = ranges:: identity ,
class Comp = ranges:: less <> >
requires IndirectStrictWeakOrder < Comp, projected < I1, Proj1 > , projected < I2, Proj2 >>
bool lexicographical_compare ( I1 first1, S1 last1, I2 first2, S2 last2,
Comp comp = Comp { } ,

Proj1 proj1 = Proj1 { } , Proj2 proj2 = Proj2 { } ) ;
(1) (ranges TS)
template < InputRange R1, InputRange R2,

class Proj1 = ranges:: identity , class Proj2 = ranges:: identity ,
class Comp = ranges:: less <> >
requires IndirectStrictWeakOrder < Comp, projected < ranges:: iterator_t < R1 > , Proj1 > ,
projected < ranges:: iterator_t < R2 > , Proj2 >>
bool lexicographical_compare ( R1 && r1, R2 && r2, Comp comp = Comp { } ,

Proj1 proj1 = Proj1 { } , Proj2 proj2 = Proj2 { } ) ;
(2) (ranges TS)
1) 첫 번째 범위 [ first1 , last1 ) 가 두 번째 범위 [ first2 , last2 ) 보다 사전순으로 작은지 확인합니다. 요소들은 각각 proj1 proj2 로 투영된 후 주어진 이항 비교 함수 comp 를 사용하여 비교됩니다.
2) (1) 과 동일하지만, r1 을 첫 번째 소스 범위로, r2 를 두 번째 소스 범위로 사용합니다. 마치 ranges:: begin ( r1 ) first1 으로, ranges:: end ( r1 ) last1 으로, ranges:: begin ( r2 ) first2 로, 그리고 ranges:: end ( r2 ) last2 로 사용하는 것과 같습니다.

사전식 비교(lexicographical comparison)는 다음과 같은 속성을 가진 연산입니다:

  • 두 범위는 요소별로 비교됩니다.
  • 첫 번째 불일치하는 요소가 어떤 범위가 사전식으로 더 작은지 또는 더 큰지 를 정의합니다.
  • 한 범위가 다른 범위의 접두사인 경우, 더 짧은 범위가 사전식으로 더 작습니다 .
  • 두 범위가 동등한 요소를 가지고 길이가 같은 경우, 범위는 사전식으로 동일합니다 .
  • 빈 범위는 사전식으로 모든 비어 있지 않은 범위보다 더 작습니다 .
  • 두 빈 범위는 사전식으로 동일합니다 .

목차

매개변수

first1, last1 - 검사할 첫 번째 원소 범위
r1 - 검사할 첫 번째 원소 범위
first2, last2 - 검사할 두 번째 원소 범위
r2 - 검사할 두 번째 원소 범위
comp - 투영된 원소들에 적용할 비교 함수
proj1 - 첫 번째 범위의 원소들에 적용할 투영
proj2 - 두 번째 범위의 원소들에 적용할 투영

반환값

true 첫 번째 범위가 두 번째 범위보다 사전순으로 작은 경우.

복잡도

최대 2·min(N1, N2) 번의 비교 연산이 수행되며, 여기서 N1 = last1 - first1 이고 N2 = last2 - first2 입니다.

가능한 구현

template<InputIterator I1, Sentinel<I1> S1, InputIterator I2, Sentinel<I2> S2,
         class Proj1 = ranges::identity, class Proj2 = ranges::identity,
         class Comp = ranges::less<>>
    requires IndirectStrictWeakOrder<Comp, projected<I1, Proj1>, projected<I2, Proj2>>
bool lexicographical_compare(I1 first1, S1 last1, I2 first2, S2 last2,
                             Comp comp = Comp{}, 
                             Proj1 proj1 = Proj1{}, Proj2 proj2 = Proj2{})
{
    for (; (first1 != last1) && (first2 != last2); (void) ++first1, (void) ++first2)
    {
        if (ranges::invoke(comp, ranges::invoke(proj1, *first1),
                                 ranges::invoke(proj2, *first2)))
            return true;
        if (ranges::invoke(comp, ranges::invoke(proj2, *first2),
                                 ranges::invoke(proj1, *first1)))
            return false;
    }
    return (first1 == last1) && (first2 != last2);
}
*참고: HTML 태그, 속성, ,
,  태그 내부의 텍스트, 그리고 C++ 관련 용어들은 번역하지 않고 원본 그대로 유지했습니다.*

예제

참고 항목

한 범위가 사전식으로 다른 범위보다 작으면 true 를 반환함
(함수 템플릿)
두 요소 집합이 동일한지 확인함
(함수 템플릿)