Namespaces
Variants

std::ranges::mismatch, std::ranges::mismatch_result

cppreference.net에서
 
 
알고리즘 라이브러리
제약된 알고리즘 및 범위에 대한 알고리즘 (C++20)
제약된 알고리즘, 예: ranges::copy, ranges::sort, ...
정렬 및 관련 연산
분할 연산
(C++11)    

정렬 연산
이진 탐색 연산
(분할된 범위에 대해)
집합 연산 (정렬된 범위에 대해)
병합 연산 (정렬된 범위에 대해)
힙 연산
최소/최대 연산
(C++11)
(C++17)
사전식 비교 연산
순열 연산


 
제약된 알고리즘
이 메뉴의 모든 이름은 네임스페이스에 속합니다 std::ranges
비수정 시퀀스 연산
수정 시퀀스 연산
분할 연산
정렬 연산
이진 탐색 연산 (정렬된 범위에 대해)
       
       
집합 연산 (정렬된 범위에 대해)
힙 연산
최소/최대 연산
       
       
순열 연산
폴드 연산
수치 연산
(C++23)            
초기화되지 않은 저장소에 대한 연산
반환 타입
 
헤더에 정의됨 <algorithm>
호출 시그니처
template< std::input_iterator I1, std::sentinel_for<I1> S1,
          std::input_iterator I2, std::sentinel_for<I2> S2,
          class Pred = ranges::equal_to,
          class Proj1 = std::identity, class Proj2 = std::identity >
requires std::indirectly_comparable<I1, I2, Pred, Proj1, Proj2>
constexpr mismatch_result<I1, I2>
    mismatch( I1 first1, S1 last1, I2 first2, S2 last2,
              Pred pred = {}, Proj1 proj1 = {}, Proj2 proj2 = {} );
(1) (C++20부터)
template< ranges::input_range R1, ranges::input_range R2,
          class Pred = ranges::equal_to,
          class Proj1 = std::identity, class Proj2 = std::identity >
requires std::indirectly_comparable<
             ranges::iterator_t<R1>, ranges::iterator_t<R2>, Pred, Proj1, Proj2>
constexpr mismatch_result<ranges::borrowed_iterator_t<R1>,
                          ranges::borrowed_iterator_t<R2>>
    mismatch( R1&& r1, R2&& r2, Pred pred = {},
              Proj1 proj1 = {}, Proj2 proj2 = {} );
(2) (C++20부터)
헬퍼 타입
template< class I1, class I2 >
using mismatch_result = ranges::in_in_result<I1, I2>;
(3) (C++20부터)

두 범위에서 투영된 요소 중 첫 번째로 일치하지 않는 쌍을 반환합니다. 하나의 범위는 [first1, last1) 또는 r1으로 정의되고 다른 범위는 [first2, last2) 또는 r2으로 정의됩니다.

1) 요소는 주어진 이진 술어 p를 사용하여 비교됩니다.
2) (1)과 동일하지만, r을 소스 범위로 사용하며, ranges::begin(r)을 first으로, ranges::end(r)을 last으로 사용하는 것과 같습니다.

이 페이지에서 설명하는 함수형 개체는 알고리즘 함수 객체입니다 (비공식적으로 niebloid라고 함). 즉:

  • 명시적 템플릿 인수 목록은 이들 중 하나를 호출할 때 지정할 수 없습니다.
  • 이들 중 어느 것도 인수 종속 조회에 표시되지 않습니다.
  • 이들 중 하나가 함수 호출 연산자의 왼쪽에 있는 이름으로 일반 비한정 조회에 의해 발견되면, 인수 종속 조회가 억제됩니다.

매개변수

first1, last1 - 비교할 첫 번째 요소들의 범위 를 정의하는 반복자-감시자 쌍
r1 - 비교할 첫 번째 요소 범위
first2, last2 - 비교할 두 번째 요소들의 범위 를 정의하는 반복자-감시자 쌍
r2 - 비교할 두 번째 요소 범위
pred - 투영된 요소들에 적용할 조건자
proj1 - 첫 번째 요소 범위에 적용할 투영
proj2 - 두 번째 요소 범위에 적용할 투영

반환값

ranges::mismatch_result 첫 번째로 일치하지 않는 두 요소에 대한 반복자.

비교가 last1 또는 last2 에 도달할 때까지 불일치가 발견되지 않으면, 객체는 끝 반복자와 다른 범위의 해당 반복자를 보유합니다.

복잡도

최대 std:: min ( last1 - first1, last2 - first2 ) 번의 술어 및 해당 프로젝션 적용.

가능한 구현

struct mismatch_fn
{
    template<std::input_iterator I1, std::sentinel_for<I1> S1,
             std::input_iterator I2, std::sentinel_for<I2> S2,
             class Pred = ranges::equal_to,
             class Proj1 = std::identity, class Proj2 = std::identity>
    requires std::indirectly_comparable<I1, I2, Pred, Proj1, Proj2>
    constexpr std::mismatch_result<I1, I2>
        operator()(I1 first1, S1 last1, I2 first2, S2 last2,
                   Pred pred = {}, Proj1 proj1 = {}, Proj2 proj2 = {}) const
    {
        for (; first1 != last1 && first2 != last2; ++first1, (void)++first2)
            if (not std::invoke(pred, std::invoke(proj1, *first1),
                                      std::invoke(proj2, *first2)))
                break;
        return {first1, first2};
    }
    template<ranges::input_range R1, ranges::input_range R2,
             class Pred = ranges::equal_to,
             class Proj1 = std::identity, class Proj2 = std::identity>
    requires std::indirectly_comparable<ranges::iterator_t<R1>, ranges::iterator_t<R2>,
                                        Pred, Proj1, Proj2>
    constexpr ranges::mismatch_result<ranges::borrowed_iterator_t<R1>,
                                      ranges::borrowed_iterator_t<R2>>
        operator()(R1&& r1, R2&& r2, Pred pred = {},
                   Proj1 proj1 = {}, Proj2 proj2 = {}) const
    {
        return (*this)(ranges::begin(r1), ranges::end(r1),
                       ranges::begin(r2), ranges::end(r2),
                       std::ref(pred), std::ref(proj1), std::ref(proj2));
    }
};
inline constexpr mismatch_fn mismatch;

예제

이 프로그램은 주어진 문자열의 맨 처음과 맨 끝에서 동시에 발견되는 가장 긴 부분 문자열을 역순으로(겹칠 수 있음) 결정합니다.

#include <algorithm>
#include <iostream>
#include <ranges>
#include <string_view>
[[nodiscard]]
constexpr std::string_view mirror_ends(const std::string_view in)
{
    const auto end = std::ranges::mismatch(in, in | std::views::reverse).in1;
    return {in.cbegin(), end};
}
int main()
{
    std::cout << mirror_ends("abXYZba") << '\n'
              << mirror_ends("abca") << '\n'
              << mirror_ends("ABBA") << '\n'
              << mirror_ends("level") << '\n';
    using namespace std::literals::string_view_literals;
    static_assert("123"sv == mirror_ends("123!@#321"));
    static_assert("radar"sv == mirror_ends("radar"));
}

출력:

ab
a
ABBA
level

같이 보기

두 요소 집합이 동일한지 판별합니다
(알고리즘 함수 객체)
특정 기준을 만족하는 첫 번째 요소를 찾습니다
(알고리즘 함수 객체)
두 범위를 사전식으로 비교합니다
(알고리즘 함수 객체)
요소 범위의 첫 번째 발생을 검색합니다
(알고리즘 함수 객체)
두 범위가 다른 첫 번째 위치를 찾습니다
(함수 템플릿)