std::basic_const_iterator<Iter>::operator constant-iterator
From cppreference.com
< cpp | iterator | basic const iterator
template</*not-a-const-iterator*/ CI > requires /*constant-iterator*/<CI>&& | (1) | (since C++23) |
template</*not-a-const-iterator*/ CI > requires /*constant-iterator*/<CI>&& | (2) | (since C++23) |
Returns the converted constant iterator to which an underlying iterator current can be explicitly or implicitly convertible.
CI satisfies the exposition-only concept /*not-a-const-iterator*/ if and only if it's not a specialization of basic_const_iterator
.
[edit]Return value
1)
current
2)std::move(
current
)[edit]Example
Run this code
#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_iteratorauto i1 = std::ranges::cbegin(v); foo(i1);// okay} auto t = v | std::views::take_while([](intconst 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}}
[edit]Defect reports
The following behavior-changing defect reports were applied retroactively to previously published C++ standards.
DR | Applied to | Behavior as published | Correct behavior |
---|---|---|---|
P2836R1 | C++23 | basic_const_iterator doesn't follow its underlying type's convertibility | conversion operator provided |