Deduktionshilfen für std::forward_list

 

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::forward_list

Memberfunktionen
forward_list::forward_list forward_list::~forward_list forward_list::operator= forward_list::assign forward_list::assign_range (C++23)   forward_list::get_allocator Elementzugriff forward_list::front Iteratoren forward_list::before_beginforward_list::cbefore_begin forward_list::beginforward_list::cbegin forward_list::endforward_list::cend Kapazität forward_list::empty forward_list::max_size	Modifizierer forward_list::clear forward_list::emplace_front forward_list::push_front forward_list::insert_after forward_list::emplace_after forward_list::erase_after forward_list::insert_range_after (C++23) forward_list::prepend_range (C++23) forward_list::pop_front forward_list::resize forward_list::swap Operationen forward_list::merge forward_list::splice_after forward_list::removeforward_list::remove_if forward_list::reverse forward_list::unique forward_list::sort
Nicht-Member-Funktionen
operator==operator<=> (C++20) swap(std::forward_list) erase(std::forward_list)erase_if(std::forward_list) (C++20)(C++20)	operator!=operator<operator>operator<=operator>= (bis C++20)(bis C++20)(bis C++20)(bis C++20)(bis C++20)
Ableitungsregeln (C++17)

 

Definiert in Header <forward_list>
template< class InputIt,           class Alloc = std::allocator<               typename std::iterator_traits<InputIt>::value_type> > forward_list( InputIt, InputIt, Alloc = Alloc() )     -> forward_list<typename std::iterator_traits<InputIt>::value_type, Alloc>;	(1)	(seit C++17)
template< ranges::input_range R,           class Alloc = std::allocator<ranges::range_value_t<R>> > forward_list( std::from_range_t, R&&, Alloc = Alloc() )     -> forward_list<ranges::range_value_t<R>, Alloc>;	(2)	(seit C++23)

1) Diese Deduktionshilfe ist für forward_list vorgesehen, um die Deduktion aus einem Iterator-Bereich zu ermöglichen. Diese Überladung nimmt nur an der Auflösung überladener Funktionen teil, wenn InputIt LegacyInputIterator erfüllt und Alloc Allocator erfüllt.

2) Diese Deduktionshilfe ist für forward_list vorgesehen, um die Deduktion aus einem std::from_range_t-Tag und einem input_range zu ermöglichen.

Hinweis: Inwieweit die Bibliothek feststellt, dass ein Typ LegacyInputIterator nicht erfüllt, ist nicht spezifiziert, außer dass ganzzahlige Typen als minimale Eingabeiteratoren nicht in Frage kommen. Ebenso ist nicht spezifiziert, inwieweit die Bibliothek feststellt, dass ein Typ Allocator nicht erfüllt, außer dass als Minimum der Mitgliedstyp Alloc::value_type existieren muss und der Ausdruck std::declval<Alloc&>().allocate(std::size_t{}) gut gebildet ist, wenn er als nicht ausgewerteter Operand behandelt wird.

Anmerkungen

Feature-Test-Makro	Wert	Std	Feature
__cpp_lib_containers_ranges	202202L	(C++23)	Bereichsbezogene Konstruktion und Einfügung; Überladung (2)

Beispiel

Führen Sie diesen Code aus

#include <forward_list>
#include <vector>
 
int main()
{
    std::vector<int> v = {1, 2, 3, 4};
 
    // uses explicit deduction guide to deduce std::forward_list<int>
    std::forward_list x(v.begin(), v.end());
 
    // deduces std::forward_list<std::vector<int>::iterator>
    // first phase of overload resolution for list-initialization selects the candidate
    // synthesized from the initializer-list constructor; second phase is not performed
    // and deduction guide has no effect
    std::forward_list y{v.begin(), v.end()};
}