std::flat_set

 

C++

Compiler-Unterstützung

Freestanding und gehostet

Sprache

Standardbibliothek

Header der Standardbibliothek

Benannte Anforderungen

Feature-Test-Makros (C++20)

Bibliothek für Sprachunterstützung

Konzepte-Bibliothek (C++20)

Diagnostik-Bibliothek

Speicherverwaltungsbibliothek

Metaprogrammierungsbibliothek (C++11)

Allgemeine Dienstprogramme-Bibliothek

Container-Bibliothek

Iterator-Bibliothek

Ranges-Bibliothek (C++20)

Algorithmen-Bibliothek

Bibliothek für Zeichenketten

Textverarbeitungsbibliothek

Numerik-Bibliothek

Datums- und Zeitbibliothek

Ein-/Ausgabe-Bibliothek

Dateisystembibliothek (C++17)

Unterstützung für nebenläufige Programmierung (C++11)

Ausführungssteuerungsbibliothek (C++26)

Technische Spezifikationen

Symbolverzeichnis

Externe Bibliotheken

 

Container-Bibliothek

Sequenz

array (C++11)

vector

vector<bool>

inplace_vector (C++26)

hive (C++26)

deque

forward_list (C++11)

list

Assoziativ

setzt

multiset

map

multimap

Ungeordnete assoziative

unordered_set (C++11)

unordered_multiset (C++11)

unordered_map (C++11)

unordered_multimap (C++11)

Adapter

stack

queue

priority_queue

flat_set (C++23)

flat_multiset (C++23)

flat_map (C++23)

flat_multimap (C++23)

Ansichten

span (C++20)

mdspan (C++23)

Tabellen

Iterator-Invalidierung

Mitgliedsfunktionstabelle

Nicht-Mitgliedsfunktionstabelle

 

std::flat_set

Membertypen

Memberfunktionen

flat_set::flat_set flat_set::operator= Iteratoren flat_set::beginflat_set::cbegin flat_set::endflat_set::cend flat_set::rbeginflat_set::crbegin flat_set::rendflat_set::crend Kapazität flat_set::size flat_set::max_size flat_set::empty Observer flat_set::key_comp flat_set::value_comp      Modifizierer flat_set::clear flat_set::insert flat_set::insert_range flat_set::emplace flat_set::emplace_hint flat_set::erase flat_set::swap flat_set::extract flat_set::replace Suche flat_set::count flat_set::find flat_set::contains flat_set::equal_range flat_set::lower_bound flat_set::upper_bound Nicht-Member-Funktionen operator==operator<=> swap(std::flat_set) erase_if(std::flat_set)

Hilfsklassen

uses_allocator<std::flat_set>

Tags

sorted_unique      sorted_unique_t

Deduction Guides

 

Definiert in Header <flat_set>
template<     class Key,     class Compare = std::less<Key>,     class KeyContainer = std::vector<Key> > class flat_set;		(seit C++23)

Das flat_set ist ein Container-Adapter, der die Funktionalität eines assoziativen Containers bietet, der eine sortierte Menge von eindeutigen Objekten vom Typ Key speichert. Die Sortierung erfolgt mithilfe der Vergleichsfunktion Compare.

Die Klassenvorlage flat_set fungiert als Wrapper für den zugrunde liegenden sortierten Container, der als Objekt vom Typ KeyContainer übergeben wird.

Überall dort, wo die Standardbibliothek die Compare-Anforderungen verwendet, wird die Eindeutigkeit mithilfe der Äquivalenzrelation bestimmt. Informell gesagt, werden zwei Objekte a und b als äquivalent betrachtet, wenn keines kleiner als das andere ist: !comp(a, b) && !comp(b, a).

std::flat_set erfüllt die Anforderungen von Container, ReversibleContainer, optionalen Containeranforderungen und alle Anforderungen von AssociativeContainer (einschließlich logarithmischer Suchkomplexität), außer dass

• Anforderungen im Zusammenhang mit Knoten nicht zutreffen,
• die Anforderungen an die Iterator-Invalidierung unterschiedlich sind,
• die Komplexität von Einfüge- und Löschvorgängen linear ist.

Ein flat set unterstützt die meisten Operationen von AssociativeContainer, die eindeutige Schlüssel verwenden.

Alle Member-Funktionen von std::flat_set sind constexpr: Es ist möglich, std::flat_set-Objekte in der Auswertung eines konstanten Ausdrucks zu erstellen und zu verwenden. std::flat_set-Objekte können jedoch im Allgemeinen nicht constexpr sein, da jeder dynamisch zugewiesene Speicher im selben konstanten Ausdruck freigegeben werden muss.

(seit C++26)

Template-Parameter

Key	-	Der Typ der gespeicherten Elemente. Das Programm ist ill-formed, wenn Key nicht denselben Typ hat wie KeyContainer::value_type.
Compare	-	Ein Compare-Typ, der eine strikte schwache Ordnung bereitstellt.
KeyContainer	-	Der Typ des zugrunde liegenden SequenceContainer zum Speichern der Elemente. Die Iteratoren eines solchen Containers sollten LegacyRandomAccessIterator erfüllen oder random_access_iterator modellieren. Die Standardcontainer std::vector und std::deque erfüllen diese Anforderungen.

Member-Typen

Typ	Definition
container_type	KeyContainer
key_type	Key
value_type	Key
key_compare	Compare
value_compare	Compare
Referenz	value_type&
const_reference	const value_type&
size_type	typename KeyContainer::size_type
difference_type	typename KeyContainer::difference_type
iterator	implementierungsabhängiger LegacyRandomAccessIterator, ConstexprIterator(seit C++26) und random_access_iterator zu value_type
const_iterator	Implementierungsdefinierter LegacyRandomAccessIterator, ConstexprIterator(seit C++26) und random_access_iterator zu const value_type
reverse_iterator	std::reverse_iterator<iterator>
const_reverse_iterator	std::reverse_iterator<const_iterator>

Member-Objekte

Mitglied	Beschreibung
container_type c (privat)	der angepasste Container ((exposition-only member object*)
key_compare compare (privat)	das Vergleichsfunktions-Objekt ((exposition-only member object*)

Member-Funktionen

(Konstruktor)	konstruiert das flat_set (public member function)
(Destruktor) (implizit deklariert)	zerstört jedes Element des Container-Adapters (öffentliche Memberfunktion)
operator=	weist Werte dem Container-Adapter zu (public member function)
Iteratoren
begincbegin	gibt einen Iterator zum Anfang zurück (public member function)
endcend	gibt einen Iterator zum Ende zurück (public member function)
rbegincrbegin	gibt einen Reverse-Iterator zum Anfang zurück (public member function)
rendcrend	gibt einen Reverse-Iterator zum Ende zurück (public member function)
Kapazität
empty	prüft, ob der Container-Adapter leer ist (public member function)
size	Gibt die Anzahl der Elemente zurück (public member function)
max_size	Gibt die maximal mögliche Anzahl von Elementen zurück (public member function)
Modifizierer
emplace	konstruiert Elemente direkt (in-place) (public member function)
emplace_hint	konstruiert Elemente "in place" unter Verwendung eines Hinweises (public member function)
insert	fügt Elemente ein (public member function)
insert_range	fügt einen Bereich von Elementen ein (public member function)
extract	extrahiert den zugrunde liegenden Container (public member function)
replace	ersetzt den zugrunde liegenden Container (public member function)
erase	entfernt Elemente (public member function)
swap	tauscht die Inhalte (public member function)
clear	leert den Inhalt (public member function)
Suche
find	sucht ein Element mit einem bestimmten Schlüssel (public member function)
zählt	gibt die Anzahl der Elemente zurück, die einem bestimmten Schlüssel entsprechen (public member function)
contains	prüft, ob der Container ein Element mit einem bestimmten Schlüssel enthält (public member function)
lower_bound	gibt einen Iterator zum ersten Element zurück, das *nicht kleiner* als der gegebene Schlüssel ist (public member function)
upper_bound	gibt einen Iterator zum ersten Element zurück, das *größer* als der gegebene Schlüssel ist (public member function)
equal_range	gibt den Bereich von Elementen zurück, die einem bestimmten Schlüssel entsprechen (public member function)
Observer
key_comp	gibt die Funktion zurück, die Schlüssel vergleicht (public member function)
value_comp	gibt die Funktion zurück, die Schlüssel in Objekten vom Typ value_type vergleicht (public member function)

Nicht-Member-Funktionen

operator==operator<=> (C++23)	vergleicht die Werte von zwei flat_sets lexikographisch (function template)
std::swap(std::flat_set) (C++23)	spezialisiert den Algorithmus std::swap (function template)
erase_if(std::flat_set) (C++23)	entfernt alle Elemente, die bestimmte Kriterien erfüllen (function template)

Hilfsklassen

std::uses_allocator<std::flat_set> (C++23)

spezialisiert das std::uses_allocator Typ-Trait (Klassenvorlagenspezialisierung)

Tags

sorted_uniquesorted_unique_t (C++23)

zeigt an, dass Elemente eines Bereichs sortiert und eindeutig sind (Tag)

Hinweise

Die Member-Typen iterator und const_iterator können Aliase für denselben Typ sein. Das bedeutet, dass die Definition eines Paares von Funktionsüberladungen, die die beiden Typen als Parametertypen verwenden, die Ein-Definitionen-Regel (ODR) verletzen kann. Da iterator in const_iterator konvertierbar ist, funktioniert stattdessen eine einzelne Funktion mit einem const_iterator als Parametertyp.

Einige Vorteile von flat_set gegenüber anderen Standard-Container-Adaptern sind:

• Potenziell schnellere Suche (obwohl Suchoperationen logarithmische Komplexität haben).
• Viel schnellere Iteration: Random-Access-Iteratoren anstelle von Bidirektionalen Iteratoren.
• Weniger Speicherverbrauch für kleine Objekte (und für große Objekte, wenn KeyContainer::shrink_to_fit() verfügbar ist).
• Bessere Cache-Leistung (abhängig von KeyContainer werden Schlüssel in einem oder mehreren zusammenhängenden Speicherblöcken gespeichert).

Einige Nachteile von flat_set sind:

• Nicht-stabile Iteratoren (Iteratoren werden beim Einfügen und Löschen von Elementen ungültig).
• Typwerte, die nicht kopierbar und nicht verschiebbar sind, können nicht gespeichert werden.
• Schwächere Exception-Sicherheit (Kopier-/Verschiebekonstruktoren können beim Verschieben von Werten beim Löschen und Einfügen auslösen).
• Langsamere (d.h. lineare) Einfüge- und Löschvorgänge, insbesondere für nicht verschiebbare Typen.

Feature-Test-Makro	Wert	Std	Feature
__cpp_lib_flat_set	202207L	(C++23)	std::flat_set und std::flat_multiset
__cpp_lib_constexpr_containers	202502L	(C++26)	constexpr std::flat_set

Siehe auch

flat_multiset (C++23)	passt einen Container an, um eine Sammlung von Schlüsseln, sortiert nach Schlüsseln, bereitzustellen (Klassenvorlage)
setzt	Sammlung eindeutiger Schlüssel, sortiert nach Schlüsseln (Klassenvorlage)
unordered_set (C++11)	Sammlung eindeutiger Schlüssel, gehasht nach Schlüsseln (Klassenvorlage)