std::basic_const_iterator::operator constant-iterator - cppreference.com (original) (raw)

template< /*not-a-const-iterator*/ CI > requires /*constant-iterator*/<CI> && std::convertible_to<Iter const&, CI> constexpr operator CI() const &; (1) (since C++23)
template< /*not-a-const-iterator*/ CI > requires /*constant-iterator*/<CI> && std::convertible_to<Iter, CI> constexpr operator 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

#include #include #include   void foo(std::vector::const_iterator) {}   int main() { auto v = std::vector(); { // ranges::cbegin below returns vector::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::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