C++ Algorithm is_sorted_until()

C++ Algorithm is_sorted_until() function is used to find first unsorted element in the range. It means it returns an iterator to the first element in the range [first, last) which does not follow an ascending order.

The elements are compared using operator < for the first version, and comp for the second version.

Syntax

Parameter

first: An forward iterator pointing to the first element in the range to be checked.

last: An random access iterator pointing to the past last element in the range to be checked.

comp: A user-defined binary predicate function that accepts two arguments and returns true if the two arguments are in order and false otherwise. It follows the strict weak ordering to order the elements.

Return value

It returns an iterator to the first element if the range is unsorted and returns last if the entire range is sorted.

Complexity

The Complexity is linear between first and last: calls comp for each element until a mismatch is found.

Data races

The object in the range [first, last) are accessed.

Exceptions

This function throws an exception if either comp, or an operation on iterator throws an exception.

Please note that invalid parameters cause an undefined behavior.

Example 1

Let's see the simple example to demonstrate the use of is_sorted_until():

Output:

Before: is it sorted? false
After: is it sorted? true

Example 2

Let's see another simple example:

Output:

First unsorted element = C
Entire vector is sorted.

Example 3

Let's see another simple example:

Output:

First unsorted element = 3

Example 4

Let's see another simple example:

Output:

foo: 2 3 4 1 (3 elements sorted)
foo: 2 3 1 4 (2 elements sorted)
foo: 2 1 4 3 (1 elements sorted)
foo: 2 1 3 4 (1 elements sorted)
foo: 1 4 3 2 (2 elements sorted)
foo: 1 4 2 3 (2 elements sorted)
foo: 1 3 4 2 (3 elements sorted)
foo: 1 3 2 4 (2 elements sorted)
foo: 1 2 4 3 (3 elements sorted)
foo: 1 2 3 4 (4 elements sorted)
the range is sorted!