std::common_iterator<I,S>::operator++
来自cppreference.com
< cpp | iterator | common iterator
constexpr common_iterator& operator++(); |
(1) | (C++20 起) |
constexpr decltype(auto) operator++( int ); |
(2) | (C++20 起) |
辅助类型 |
||
class /*postfix_proxy*/ { // 仅用于阐释 std::iter_value_t<I> keep_; |
(3) | (C++20 起) |
自增底层迭代器。
若底层 std::variant 成员对象 var
不保有 I
类型对象,即 std::holds_alternative<I>(var) 等于 false 则行为未定义。
令 it
代表 var
所保有的 I
类型迭代器,即 std::get<I>(var) 。
1) 前自增一。等价于 ++it; return *this; 。
2) 后自增一:
- 等价于 auto tmp = *this; ++*this; return tmp; ,若 I 实现
forward_iterator
, - 否则等价于 return it++; ,若变量定义 auto&& ref = *it++; 为良构,或者
std::constructible_from<std::iter_value_t<I>, std::iter_reference_t<I>> 或 std::move_constructible<std::iter_value_t<I>> 为 false ,
- 否则等价于 postfix_proxy p(**this); ++*this; return p; ,其中
postfix_proxy
为仅用于阐释的辅助类型 (3) 。
参数
(无)
返回值
1) *this 。
2) 前述的更改前的 *this 的副本,或后自增底层迭代器的结果,或保有当前元素的值的代理。
示例
运行此代码
#include <algorithm> #include <iostream> #include <iterator> #include <initializer_list> int main() { const auto il = {1, 2, 3, 4, 5, 6}; using CI = std::common_iterator< std::counted_iterator<std::initializer_list<int>::iterator>, std::default_sentinel_t >; for ( CI first { std::counted_iterator{ std::begin(il), std::ssize(il) - 2 } }, last { std::default_sentinel }; first != last; ) { std::cout << *first; std::cout << (++first != last ? ", " : "\n"); } }
输出:
1, 2, 3, 4
缺陷报告
下列更改行为的缺陷报告追溯地应用于以前出版的 C++ 标准。
DR | 应用于 | 出版时的行为 | 正确行为 |
---|---|---|---|
P2259R1 | C++20 | 后自增在更多场合舍弃其结果 | 用代理类保有结果 |
LWG 3546 | C++20 | 代理对象的初始化有时非良构 | 调整了场合与定义 |
LWG 3574 | C++20 | variant 为完全 constexpr (P2231R1) 但 common_iterator 不是
|
亦使之为 constexpr |
LWG 3595 | C++20 | 代理类型的函数缺少 constexpr 与 noexcept | 已添加 |
参阅
计算两个迭代器适配器间的距离 (函数模板) |