Namespaces
Variants

    std::ranges::cbegin

    来自 zh.cppreference.net
     
    C++
     
    范围库
    范围适配器
     
    定义于头文件 <ranges>
    定义于头文件 <iterator> 
    inline namespace /* unspecified */ {
    inline constexpr /* unspecified */ cbegin = /* unspecified */;
}
    		(自 C++20)
    (定制点对象)
    调用签名
    		 
    template< class T >
    requires /* see below */
constexpr /* see below */ auto cbegin( T&& t );
    		(自 C++20)

    返回指向 const 限定实参第一个元素的迭代器。

    		(至 C++23)

    返回指向实参第一个元素的常量迭代器。

    		(自 C++23)

    令 CT 为

    • const std::remove_reference_t<T>& 如果实参是左值（即 T 是左值引用类型），否则为
    • const T。

    对 ranges::cbegin 的调用 表达式等价于 ranges::begin(static_cast<CT&&>(t))。

    		(至 C++23)

    如果实参是左值或 ranges::enable_borrowed_range<std::remove_cv_t<T>> 是 true，则对 ranges::cbegin 的调用 表达式等价于：

    • std::const_iterator<decltype(U)>(U) 对于某个等价于 U 的表达式 ranges::begin(possibly-const-range(t)。

    在所有其他情况下，对 ranges::cbegin 的调用为非良构，当该调用出现在模板实例化的立即上下文中时可能导致替换失败。

    		(自 C++23)

    返回类型符合 std::input_or_output_iterator 和 constant-iterator(自 C++23) 的所有情况下。

    定制点对象

    名称 ranges::cbegin 表示一个 定制点对象 ，它是一个字面量 semiregular 类类型的常量 函数对象 。详细信息请参阅 定制点对象 。

    注释

    对于类型为 T 的左值范围 e ， ranges :: cbegin ( e ) 等价于

    ranges:: begin ( std:: as_const ( e ) ) 。

    		(C++23 前)
    (C++23 起)

    示例

    运行此代码 
    #include <cassert>
#include <ranges>
#include <vector>
int main()
{
    std::vector v{3, 1, 4};
    auto vi = std::ranges::cbegin(v);
    assert(3 == *vi);
    ++vi; // 正常：常量迭代器对象是可变的
    assert(1 == *vi);
    // *vi = 13; // 错误：常量迭代器指向不可变元素
    int a[]{3, 1, 4};
    auto ai = std::ranges::cbegin(a); // cbegin 同样适用于 C 风格数组
    assert(3 == *ai and *(ai + 1) == 1);
    // *ai = 13; // 错误：只读变量不可赋值
}

    参见

    (C++20)
    		返回指向范围起始位置的迭代器
    (定制点对象)
    (C++11) (C++14)
    		返回指向容器或数组起始位置的迭代器
    (函数模板)