std::ranges::cbegin
在头文件 <ranges> 中定义 |
||
在头文件 <iterator> 中定义 |
||
inline namespace /* 未指定 */ { inline constexpr /* 未指定 */ cbegin = /* 未指定 */; |
(自 C++20 起) (自定义点对象) |
|
调用签名 |
||
template< class T > requires /* 见下文 */ |
(自 C++20 起) | |
返回指向 const 限定参数的第一个元素的迭代器。 |
(直到 C++23) |
返回指向参数的第一个元素的常量迭代器。 |
(自 C++23 起) |
令
对 |
(直到 C++23) |
如果参数是左值或 ranges::enable_borrowed_range<std::remove_cv_t<T>> 为 true,则对
在所有其他情况下,对 |
(自 C++23 起) |
返回值类型在所有情况下都建模 std::input_or_output_iterator 和 常量迭代器
(自 C++23 起)。
内容 |
自定义点对象
名称 ranges::cbegin
表示一个自定义点对象,它是一个 const 函数对象,其类型为 字面量 半正则
类类型。为了说明目的,其类型的 cv 无限定版本表示为 __cbegin_fn
。
所有 __cbegin_fn
实例都相等。调用类型为 __cbegin_fn
的不同实例对相同参数的效果是等效的,无论表示该实例的表达式是左值还是右值,以及是否具有 const 限定符(但是,不强制要求调用 volatile 限定的实例)。因此,可以自由地复制 ranges::cbegin
,并且可以互换地使用其副本。
给定一组类型 Args...
,如果 std::declval<Args>()... 满足上述 ranges::cbegin
参数的要求,__cbegin_fn
建模
- std::invocable<__cbegin_fn, Args...>,
- std::invocable<const __cbegin_fn, Args...>,
- std::invocable<__cbegin_fn&, Args...>,以及
- std::invocable<const __cbegin_fn&, Args...>.
否则,__cbegin_fn
的任何函数调用运算符都不会参与重载解析。
[编辑] 注释
对于类型为 T 的左值范围 e,ranges::cbegin(e) 等效于
(直到 C++23) | |
|
(自 C++23 起) |
[edit] 示例
#include <cassert> #include <ranges> #include <vector> int main() { std::vector v{3, 1, 4}; auto vi = std::ranges::cbegin(v); assert(3 == *vi); ++vi; // OK, constant-iterator object is mutable assert(1 == *vi); // *vi = 13; // Error: constant-iterator points to an immutable element int a[]{3, 1, 4}; auto ai = std::ranges::cbegin(a); // cbegin works with C-arrays as well assert(3 == *ai and *(ai + 1) == 1); // *ai = 13; // Error: read-only variable is not assignable }
[edit] 另请参阅
(C++20) |
返回指向范围开头的迭代器 (定制点对象) |
(C++11)(C++14) |
返回指向容器或数组开头的迭代器 (函数模板) |