iter_move(std::counted_iterator)

来自cppreference.com


 
 
迭代器库
迭代器概念
迭代器原语
算法概念与工具
间接可调用概念
常用算法要求
(C++20)
(C++20)
(C++20)
工具
(C++20)
迭代器适配器
范围访问
(C++11)(C++14)
(C++14)(C++14)  
(C++11)(C++14)
(C++14)(C++14)  
(C++17)(C++20)
(C++17)
(C++17)
 
 
friend constexpr decltype(auto) iter_move( const std::counted_iterator& i )

    noexcept(noexcept(ranges::iter_move(i.base())))

        requires std::input_iterator<I>;
(C++20 起)

将解引用底层迭代器的结果转型为它关联的右值引用类型。

函数体等价于 return ranges::iter_move(i.base());

此函数对常规的无限定有限定查找不可见,而只能在 std::counted_iterator<I> 为实参的关联类时由实参依赖查找找到。

如果 i.count()0,那么行为未定义。

参数

i - 源迭代器适配器

返回值

右值引用或纯右值临时量。

复杂度

常数。

示例

#include <iomanip>
#include <iostream>
#include <iterator>
#include <string>
#include <vector>
 
void print(auto const& rem, auto const& v)
{
    std::cout << rem << '[' << size(v) << "] {";
    for (char comma[]{0, ' ', 0}; auto const& s : v)
        std::cout << comma << std::quoted(s), *comma = ',';
    std::cout << "}\n";
}
 
int main()
{
    std::vector<std::string> p{"Alpha", "Bravo", "Charlie"}, q;
    print("p", p);
    print("q", q);
 
    using RI = std::counted_iterator<std::vector<std::string>::iterator>;
 
    for (RI iter{p.begin(), 2}; iter != std::default_sentinel; ++iter)
        q.emplace_back(/* ADL */ iter_move(iter));
 
    print("p", p);
    print("q", q);
}

可能的输出:

p[3] {"Alpha", "Bravo", "Charlie"}
q[0] {}
p[3] {"", "", "Charlie"}
q[2] {"Alpha", "Bravo"}

缺陷报告

下列更改行为的缺陷报告追溯地应用于以前出版的 C++ 标准。

缺陷报告 应用于 出版时的行为 正确行为
LWG 3953 C++20 返回类型是 std::iter_rvalue_reference_t<I> 改为 decltype(auto)

参阅

(C++20)
将解引用迭代器的结果转换为其关联的右值引用类型
(定制点对象)
(C++20)
交换两个底层迭代器所指向的对象
(函数模板)
(C++11)
获得右值引用
(函数模板)
若移动构造函数不抛出则获得右值引用
(函数模板)
(C++11)
转发一个函数实参
(函数模板)
将某一范围的元素移动到一个新的位置
(niebloid)
按从后往前的顺序移动某一范围的元素到新的位置
(niebloid)