std::ranges::take_view<V>::begin
来自cppreference.com
constexpr auto begin() requires (!/*simple-view*/<V>); |
(1) | (C++20 起) |
constexpr auto begin() const requires ranges::range<const V>; |
(2) | (C++20 起) |
返回指向 take_view
首元素的迭代器。
重载 (1) 仅若 V
是简单视图(即若 V
与 const V
均为视图且拥有相同迭代器与哨位类型)才参与重载决议。
参数
(无)
返回值
结果依赖于可能为 const 限定的底层视图类型 Base
,即对于 (1) 为 V
或对于 (2) 为 const V
。
令 base_
为底层视图,count_
为底层计数器(若 take_view
默认初始化则等于 0)。
底层视图类型满足…… | random_access_range
| ||
---|---|---|---|
是 | 否 | ||
sized_range
|
是 | ranges::begin(base_) | std::counted_iterator(ranges::begin(base_), ranges::range_difference_t<Base_>(this->size())) |
否 | std::counted_iterator(ranges::begin(base_), count_) |
示例
运行此代码
#include <concepts> #include <forward_list> #include <iostream> #include <ranges> #include <string_view> #include <type_traits> using namespace std::literals; int main() { { static constexpr auto v = {"∀x"sv, "∃y"sv, "ε"sv, "δ"sv}; auto view = std::ranges::take_view(v, 8); auto iter = view.begin(); std::cout << *iter << '\n'; static_assert( std::ranges::sized_range<decltype(v)> and std::ranges::random_access_range<decltype(v)> and std::is_same_v<decltype(iter), decltype(std::ranges::begin(v))> ); } { std::forward_list v = {"Ax"sv, "Ey"sv, "p"sv, "q"sv}; auto view = std::ranges::take_view(v, 8); auto iter = view.begin(); std::cout << *iter << '\n'; static_assert( not std::ranges::sized_range<decltype(v)> and not std::ranges::random_access_range<decltype(v)> and std::is_same_v<decltype(iter), std::counted_iterator< std::forward_list<std::string_view>::iterator>> ); } }
输出:
∀x Ax
缺陷报告
下列更改行为的缺陷报告追溯地应用于以前出版的 C++ 标准。
缺陷报告 | 应用于 | 出版时的行为 | 正确行为 |
---|---|---|---|
P2393R1 | C++20 | 有符号与无符号整数类间的隐式转换可能失败 | 使之为显式 |
参阅
返回 指向末尾的迭代器或哨位 (公开成员函数) | |
(C++20) |
对到范围结尾距离进行跟踪的迭代器适配器 (类模板) |
(C++20) |
比较哨位与 take_view::begin 返回的迭代器 (函数) |