std::ranges::cbegin
Defined in header <ranges>
|
||
inline namespace /*unspecified*/ { inline constexpr /*unspecified*/ cbegin = /*unspecified*/; |
(since C++20) (customization point object) |
|
Call signature |
||
template< class T > requires /* see below */ |
||
Returns an iterator to the first element of the const-qualified argument.
Let CT
be
- const std::remove_reference_t<T>& if the argument is a lvalue (i.e.
T
is an lvalue reference type), - const T otherwise,
a call to ranges::begin
is expression-equivalent to ranges::begin(static_cast<CT&&>(t)).
The return type models std::input_or_output_iterator in both cases.
Expression-equivalent
Expression e is expression-equivalent to expression f, if e and f have the same effects, either are both potentially-throwing or are both not potentially-throwing (i.e. noexcept(e) == noexcept(f)), and either are both constant subexpressions or are both not constant subexpressions.
Customization point objects
The name ranges::cbegin
denotes a customization point object, which is a const function object of a literal semiregular class type (denoted, for exposition purposes, as cbegin_ftor
). All instances of cbegin_ftor
are equal. Thus, ranges::cbegin
can be copied freely and its copies can be used interchangeably.
Given a set of types Args...
, if std::declval<Args>()... meet the requirements for arguments to ranges::cbegin
above, cbegin_ftor
will satisfy std::invocable<const cbegin_ftor&, Args...>. Otherwise, no function call operator of cbegin_ftor
participates in overload resolution.
Example
#include <iostream> #include <ranges> #include <vector> int main() { std::vector<int> v = { 3, 1, 4 }; auto vi = std::ranges::cbegin(v); std::cout << *vi << '\n'; // *vi = 42; // Error: read-only variable is not assignable int a[] = { -5, 10, 15 }; auto ai = std::ranges::cbegin(a); std::cout << *ai << '\n'; // *ai = 42; // Error: read-only variable is not assignable }
Output:
3 -5
See also
(C++20) |
returns an iterator to the beginning of a range (customization point object) |
(C++11)(C++14) |
returns an iterator to the beginning of a container or array (function template) |