Namensräume
Varianten
Aktionen

Deduktionshilfen für std::list

Von cppreference.com
< cpp‎ | container‎ | list
 
 
 
 
Definiert in Header <list>
template< class InputIt,

          class Alloc = std::allocator<
              typename std::iterator_traits<InputIt>::value_type> >
list( InputIt, InputIt, Alloc = Alloc() )

    -> 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>> >
list( std::from_range_t, R&&, Alloc = Alloc() )

    -> list<ranges::range_value_t<R>, Alloc>;
(2) (seit C++23)
1) Diese Deduktionshilfe wird für list bereitgestellt, um die Deduktion aus einem Iterator-Bereich zu ermöglichen. Diese Überladung nimmt nur an der Überladungsauflösung teil, wenn InputIt LegacyInputIterator erfüllt und Alloc Allocator erfüllt.
2) Diese Deduktionshilfe wird für list bereitgestellt, um die Deduktion aus einem std::from_range_t-Tag und einem input_range zu ermöglichen.

Hinweis: Der Umfang, bis zu dem die Bibliothek feststellt, dass ein Typ LegacyInputIterator nicht erfüllt, ist nicht spezifiziert, außer dass als Minimum ganzzahlige Typen nicht als Eingabeiteratoren qualifizieren. Ebenso ist der Umfang, bis zu dem festgestellt wird, dass ein Typ Allocator nicht erfüllt, nicht spezifiziert, außer dass als Minimum der Member-Typ Alloc::value_type existieren muss und der Ausdruck std::declval<Alloc&>().allocate(std::size_t{}) gut geformt sein muss, wenn er als nicht ausgewerteter Operand behandelt wird.

[bearbeiten] Anmerkungen

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

[bearbeiten] Beispiel

#include <list>
#include <vector>
 
int main()
{
    std::vector<int> v = {1, 2, 3, 4};
 
    // uses explicit deduction guide to deduce std::list<int>
    std::list x(v.begin(), v.end());
 
    // deduces std::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::list y{v.begin(), v.end()};
}