Namensräume
Varianten
Aktionen

std::basic_const_iterator<Iter>::operator konstanter_iterator

Von cppreference.com
 
 
Iterator-Bibliothek
Iterator-Konzepte
Iterator-Primitive
Algorithmus-Konzepte und Hilfsprogramme
Indirekte aufrufbare Konzepte
Gemeinsame Algorithmus-Anforderungen
(C++20)
(C++20)
(C++20)
Dienstprogramme
(C++20)
Iterator-Adapter
Bereichszugriff
(C++11)(C++14)
(C++14)(C++14)  
(C++11)(C++14)
(C++14)(C++14)  
(C++17)(C++20)
(C++17)
(C++17)
 
 
template< /*nicht-konstanter-iterator*/ CI >

  requires /*konstanter-iterator*/<CI> &&
      std::convertible_to<Iter const&, CI>

constexpr operator CI() const &;
(1) (seit C++23)
template< /*nicht-konstanter-iterator*/ CI >

  requires /*konstanter-iterator*/<CI> &&
      std::convertible_to<Iter, CI>

constexpr operator CI() &&;
(2) (seit C++23)

Gibt den konvertierten konstanten Iterator zurück, in den ein zugrundeliegender Iterator current explizit oder implizit konvertierbar ist.

CI erfüllt das Exposition-Only-Konzept /*nicht-konstanter-iterator*/ genau dann, wenn es sich nicht um eine Spezialisierung von basic_const_iterator handelt.

[bearbeiten] Rückgabewert

1) current
2) std::move(current)

[bearbeiten] Beispiel

#include <iterator>
#include <ranges>
#include <vector>
 
void foo(std::vector<int>::const_iterator) {}
 
int main()
{
    auto v = std::vector<int>();
    {
        // ranges::cbegin below returns vector<int>::const_iterator
        auto i1 = std::ranges::cbegin(v);
        foo(i1); // okay
    }
 
    auto t = v | std::views::take_while([](int const x) { return x < 100; });
    {
        // ranges::cbegin below returns basic_const_iterator<vector<int>::iterator>
        auto i2 = std::ranges::cbegin(t);
        foo(i2); // error until P2836R1
    }
}

[bearbeiten] Fehlerberichte

Die folgenden Verhaltensändernden Fehlerberichte wurden rückwirkend auf zuvor veröffentlichte C++-Standards angewendet.

DR angewendet auf Verhalten wie veröffentlicht Korrigiertes Verhalten
P2836R1 C++23 basic_const_iterator folgt nicht der Konvertierbarkeit seines zugrundeliegenden Typs Konvertierungsoperator bereitgestellt