Namespaces
Variants

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

From cppreference.net
C++
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)
std::basic_const_iterator
Member functions
basic_const_iterator::operator constant-iterator
Non-member functions
(C++23) (C++23) (C++23) (C++23)
(C++23)
(C++23)
(C++23)
Helper classes
(C++23)
template < /*非常量迭代器*/ CI >

requires /*常量迭代器*/ < CI > &&
std:: convertible_to < Iter const & , CI >

constexpr operator CI ( ) const & ;
(1) (C++23 起)
template < /*非常量迭代器*/ CI >

requires /*常量迭代器*/ < CI > &&
std:: convertible_to < Iter, CI >

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

返回一个转换后的常量迭代器，底层迭代器 current 可显式或隐式转换到该迭代器类型。

CI 满足仅用于阐述的概念 /*not-a-const-iterator*/ 当且仅当它不是 basic_const_iterator 的特化。

返回值

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

示例

运行此代码 
#include <iterator>
#include <ranges>
#include <vector>
void foo(std::vector<int>::const_iterator) {}
int main()
{
    auto v = std::vector<int>();
    {
        // 下方的 ranges::cbegin 返回 vector<int>::const_iterator
        auto i1 = std::ranges::cbegin(v);
        foo(i1); // 正确
    }
    auto t = v | std::views::take_while([](int const x) { return x < 100; });
    {
        // 下方的 ranges::cbegin 返回 basic_const_iterator<vector<int>::iterator>
        auto i2 = std::ranges::cbegin(t);
        foo(i2); // 在 P2836R1 之前会报错
    }
}

缺陷报告

以下行为变更缺陷报告被追溯应用于先前发布的C++标准。

缺陷报告 应用于 发布时的行为 正确行为
P2836R1 C++23 basic_const_iterator 未遵循其底层类型的可转换性 提供转换运算符