Namensräume
Varianten
Aktionen

Deduktionshilfen für std::vector

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

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

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

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

Hinweis: Das Ausmaß, in dem die Bibliothek feststellt, dass ein Typ LegacyInputIterator nicht erfüllt, ist nicht spezifiziert, außer dass als Minimum ganzzahlige Typen nicht als Eingabeiteratoren qualifiziert sind. Ebenso ist das Ausmaß, in dem sie feststellt, dass ein Typ Allocator nicht erfüllt, nicht spezifiziert, außer dass als Minimum der Mitgliedstyp Alloc::value_type existieren muss und der Ausdruck std::declval<Alloc&>().allocate(std::size_t{}) gutartig formuliert 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 <vector>
 
int main()
{
    std::vector<int> v = {1, 2, 3, 4};
 
    // uses explicit deduction guide to deduce std::vector<int>
    std::vector x(v.begin(), v.end());
 
    // deduces std::vector<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::vector y{v.begin(), v.end()};
}