Namespaces
Variants

std::ranges:: is_sorted

From cppreference.net
Algorithm library
Constrained algorithms and algorithms on ranges (C++20)
Constrained algorithms, e.g. ranges::copy , ranges::sort , ...
Execution policies (C++17)
Non-modifying sequence operations
Batch operations
(C++17)
Search operations
Modifying sequence operations
Copy operations
(C++11)
(C++11)
Swap operations
Transformation operations
Generation operations
Removing operations
Order-changing operations
(until C++17) (C++11)
(C++20) (C++20)
Sampling operations
(C++17)

Sorting and related operations
Partitioning operations
Sorting operations
Binary search operations
(on partitioned ranges)
Set operations (on sorted ranges)
Merge operations (on sorted ranges)
Heap operations
Minimum/maximum operations
Lexicographical comparison operations
Permutation operations
C library
Numeric operations
Operations on uninitialized memory
Constrained algorithms
All names in this menu belong to namespace std::ranges
Non-modifying sequence operations
Modifying sequence operations
Partitioning operations
Sorting operations
Binary search operations (on sorted ranges)
Set operations (on sorted ranges)
Heap operations
Minimum/maximum operations
Permutation operations
Fold operations
Operations on uninitialized storage
Return types
Definiert im Header <algorithm>
Aufrufsignatur
template < std:: forward_iterator I, std:: sentinel_for < I > S,

class Proj = std:: identity ,
std:: indirect_strict_weak_order < std :: projected < I, Proj >>
Comp = ranges:: less >
constexpr bool

is_sorted ( I first, S last, Comp comp = { } , Proj proj = { } ) ;
(1) (seit C++20)
template < ranges:: forward_range R, class Proj = std:: identity ,

std:: indirect_strict_weak_order <
std :: projected < ranges:: iterator_t < R > , Proj >>
Comp = ranges:: less >
constexpr bool

is_sorted ( R && r, Comp comp = { } , Proj proj = { } ) ;
(2) (seit C++20)

Prüft, ob die Elemente im Bereich [ first , last ) in nicht-absteigender Reihenfolge sortiert sind.

Eine Sequenz ist bezüglich eines Komparators comp sortiert, wenn für jeden Iterator it , der auf die Sequenz zeigt, und jede nicht-negative Ganzzahl n , sodass it + n ein gültiger Iterator ist, der auf ein Element der Sequenz zeigt, std:: invoke ( comp, std:: invoke ( proj, * ( it + n ) ) , std:: invoke ( proj, * it ) ) zu false ausgewertet wird.

1) Elemente werden mit der gegebenen binären Vergleichsfunktion comp verglichen.
2) Gleich wie (1) , verwendet jedoch r als Quellbereich, als ob ranges:: begin ( r ) als first und ranges:: end ( r ) als last verwendet würde.

Die auf dieser Seite beschriebenen funktionsähnlichen Entitäten sind Algorithm Function Objects (informell bekannt als Niebloids ), das heißt:

Inhaltsverzeichnis

Parameter

first, last - das Iterator-Sentinel-Paar, das den Bereich der Elemente definiert, der auf Sortierung geprüft werden soll
r - der Bereich der Elemente, der auf Sortierung geprüft werden soll
comp - Vergleichsfunktion, die auf die projizierten Elemente angewendet wird
proj - Projektion, die auf die Elemente angewendet wird

Rückgabewert

true wenn die Elemente im Bereich gemäß comp sortiert sind.

Komplexität

Linear in der Entfernung zwischen first und last .

Mögliche Implementierung

struct is_sorted_fn
{
    template<std::forward_iterator I, std::sentinel_for<I> S,
             class Proj = std::identity,
             std::indirect_strict_weak_order<std::projected<I, Proj>>
                 Comp = ranges::less>
    constexpr bool operator()(I first, S last, Comp comp = {}, Proj proj = {}) const
    {
        return ranges::is_sorted_until(first, last, comp, proj) == last;
    }
    template<ranges::forward_range R, class Proj = std::identity,
             std::indirect_strict_weak_order<
                 std::projected<ranges::iterator_t<R>, Proj>>
                     Comp = ranges::less>
    constexpr bool operator()(R&& r, Comp comp = {}, Proj proj = {}) const
    {
        return (*this)(ranges::begin(r), ranges::end(r), std::ref(comp), std::ref(proj));
    }
};
inline constexpr is_sorted_fn is_sorted;

Hinweise

ranges::is_sorted gibt true für leere Bereiche und Bereiche der Länge eins zurück.

Beispiel

#include <algorithm>
#include <array>
#include <functional>
#include <iostream>
#include <iterator>
int main()
{
    namespace ranges = std::ranges;
    std::array digits {3, 1, 4, 1, 5};
    ranges::copy(digits, std::ostream_iterator<int>(std::cout, " "));
    ranges::is_sorted(digits)
        ? std::cout << ": sortiert\n"
        : std::cout << ": nicht sortiert\n";
    ranges::sort(digits);
    ranges::copy(digits, std::ostream_iterator<int>(std::cout, " "));
    ranges::is_sorted(ranges::begin(digits), ranges::end(digits))
        ? std::cout << ": sortiert\n"
        : std::cout << ": nicht sortiert\n";
    ranges::reverse(digits);
    ranges::copy(digits, std::ostream_iterator<int>(std::cout, " "));
    ranges::is_sorted(digits, ranges::greater {})
        ? std::cout << ": sortiert (mit 'greater')\n"
        : std::cout << ": nicht sortiert\n";
}

Ausgabe:

3 1 4 1 5 : nicht sortiert
1 1 3 4 5 : sortiert
5 4 3 1 1 : sortiert (mit 'greater')

Siehe auch

findet den größten sortierten Teilbereich
(Algorithmus-Funktionsobjekt)
(C++11)
prüft, ob ein Bereich in aufsteigender Reihenfolge sortiert ist
(Funktions-Template)