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

Определён в заголовочном файле `<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< /execution-policy/ Ep, std::random_access_iterator I1, std::sized_sentinel_for<I1> S1, std::random_access_iterator I2, std::sized_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> ranges::mismatch_result<I1, I2> mismatch( Ep&& policy, I1 first1, S1 last1, I2 first2, S2 last2, Pred pred = {}, Proj1 proj1 = {}, Proj2 proj2 = {});	(3)	(начиная с C++26)
template< /execution-policy/ Ep, /sized-random-access-range/ R1, /sized-random-access-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> mismatch_result<ranges::borrowed_iterator_t<R1>, ranges::borrowed_iterator_t<R2>> mismatch( Ep&& policy, R1&& r1, R2&& r2, Pred pred = {}, Proj1 proj1 = {}, Proj2 proj2 = {} );	(4)	(начиная с C++26)
Вспомогательные типы
template< class I1, class I2 > using mismatch_result = ranges::in_in_result<I1, I2>;	(5)	(начиная с C++20)

Определение /*execution-policy*/ см. на этой странице; определение /*sized-random-access-range*/ см. на этой странице.

Возвращает пару итераторов, указывающих на первую пару элементов из двух целевых диапазонов. Элементы (спроецированные с помощью proj1 и proj2 соответственно) сравниваются с помощью бинарного предиката pred.

1) Целевые диапазоны — [first1, last1) и [first2, last2).

2) Целевые диапазоны — r1 и r2.

3,4) То же, что и (1,2), но выполнение производится согласно policy.

Описанные на этой странице сущности, подобные функциям, являются объектами-функциями алгоритмов (неофициально называемыми niebloids

При вызове любой из них нельзя указать явный список аргументов шаблона.

Ни одна из них не видна для поиска, зависящего от аргументов.

Если при обычном неквалифицированном поиске одна из них найдена как имя слева от оператора вызова функции, поиск, зависящий от аргументов, подавляется.

Параметры

first1, last1 - пара «итератор — сентинел», задающая первый целевой диапазон

r1 - первый целевой диапазон

first2, last2 - пара «итератор — сентинел», задающая второй целевой диапазон

r2 - второй целевой диапазон

pred - предикат, применяемый к (спроецированным) элементам

proj1 - проекция, применяемая к элементам первого целевого диапазона

proj2 - проекция, применяемая к элементам второго целевого диапазона

Возвращаемое значение

ranges::mismatch_result с итераторами на первые два несовпадающих элемента.

Если достигнута позиция за последним элементом одного из целевых диапазонов, возвращаемое значение содержит итератор за последним элементом этого диапазона и итератор, указывающий на соответствующую позицию другого диапазона.

Сложность

Пусть

\(\scriptsize N_1\)N₁ — это ranges::distance(first1, last1) или ranges::distance(r1), а

\(\scriptsize N_2\)N₂ — это ranges::distance(first2, last2) или ranges::distance(r2):

1,2) Не более \(\scriptsize \min(N_1,N_2)\)min(N₁,N₂) применений pred, proj1 и proj2.

3,4) \(\scriptsize \mathcal{O}(\min(N_1,N_2))\)𝓞(min(N₁,N₂)) применений pred, proj1 и proj2.

Исключения
3,4) Во время выполнения:

Если необходимые для распараллеливания временные ресурсы памяти недоступны, выбрасывается std::bad_alloc.

Если при доступе к объектам через аргумент алгоритма возникает необработанное исключение, поведение определяется политикой выполнения (для стандартных политик вызывается std::terminate).

Возможная реализация

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 R> constexpr auto get_end(R&& r) { return ranges::end(r); } template<ranges::forward_range R> constexpr auto get_end(R&& r) { return ranges::next(ranges::begin(r), ranges::end(r)); } 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), get_end(r1), ranges::begin(r2), get_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

См. также

mismatch
находит первую позицию, в которой два диапазона различаются
(шаблон функции)

ranges::equal

(C++20)
определяет, совпадают ли два набора элементов
(объект-функция алгоритма)

ranges::findranges::find_ifranges::find_if_not

(C++20)(C++20)(C++20)
находит первый элемент, удовлетворяющий заданным критериям
(объект-функция алгоритма)

ranges::lexicographical_compare

(C++20)
сравнивает два диапазона лексикографически
(объект-функция алгоритма)

ranges::search

(C++20)
ищет первое вхождение диапазона элементов
(объект-функция алгоритма)

© cppreference.com
Licensed under the Creative Commons Attribution-ShareAlike Unported License v3.0.
https://en.cppreference.com/cpp/algorithm/ranges/mismatch

first1, last1	-	пара «итератор — сентинел», задающая первый целевой диапазон
r1	-	первый целевой диапазон
first2, last2	-	пара «итератор — сентинел», задающая второй целевой диапазон
r2	-	второй целевой диапазон
pred	-	предикат, применяемый к (спроецированным) элементам
proj1	-	проекция, применяемая к элементам первого целевого диапазона
proj2	-	проекция, применяемая к элементам второго целевого диапазона

mismatch	находит первую позицию, в которой два диапазона различаются (шаблон функции)
ranges::equal (C++20)	определяет, совпадают ли два набора элементов (объект-функция алгоритма)
ranges::findranges::find_ifranges::find_if_not (C++20)(C++20)(C++20)	находит первый элемент, удовлетворяющий заданным критериям (объект-функция алгоритма)
ranges::lexicographical_compare (C++20)	сравнивает два диапазона лексикографически (объект-функция алгоритма)
ranges::search (C++20)	ищет первое вхождение диапазона элементов (объект-функция алгоритма)