Namespaces
Variants

std::basic_const_iterator<Iter>:: operator constant-iterator

From cppreference.net
Iterator library
Iterator concepts
Iterator primitives
Algorithm concepts and utilities
Indirect callable concepts
Common algorithm requirements
(C++20)
(C++20)
(C++20)
Utilities
(C++20)
Iterator adaptors
Range access
(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 < /*not-a-const-iterator*/ CI >

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

constexpr operator CI ( ) const & ;
(1) (depuis C++23)
template < /*not-a-const-iterator*/ CI >

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

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

Retourne l'itérateur constant converti vers lequel un itérateur sous-jacent current peut être explicitement ou implicitement convertible.

CI satisfait le concept d'exposition uniquement /*not-a-const-iterator*/ si et seulement si ce n'est pas une spécialisation de basic_const_iterator .

Valeur de retour

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

Exemple

#include <iterator>
#include <ranges>
#include <vector>
void foo(std::vector<int>::const_iterator) {}
int main()
{
    auto v = std::vector<int>();
    {
        // ranges::cbegin ci-dessous retourne vector<int>::const_iterator
        auto i1 = std::ranges::cbegin(v);
        foo(i1); // correct
    }
    auto t = v | std::views::take_while([](int const x) { return x < 100; });
    {
        // ranges::cbegin ci-dessous retourne basic_const_iterator<vector<int>::iterator>
        auto i2 = std::ranges::cbegin(t);
        foo(i2); // erreur jusqu'à P2836R1
    }
}

Rapports de défauts

Les rapports de défauts modifiant le comportement suivants ont été appliqués rétroactivement aux normes C++ précédemment publiées.

DR Appliqué à Comportement publié Comportement corrigé
P2836R1 C++23 basic_const_iterator ne respecte pas la convertibilité de son type sous-jacent opérateur de conversion fourni