iter_move(std::common_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::common_iterator& i )

    noexcept(noexcept(ranges::iter_move(std::declval<const I&>()))

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

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

函数体等价于 return std::ranges::​iter_move(std::get<I>(i.var));

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

如果 i.var 并未保有一个 I 对象(即迭代器),那么行为未定义。

目录

[编辑] 参数

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 (int o{}; auto const& s : v)
        std::cout << (o++ ? ", " : "") << std::quoted(s);
    std::cout << " }\n";
}
 
int main()
{
    std::vector<std::string> p{"Andromeda", "Cassiopeia", "Phoenix"}, q;
    print("p", p);
    print("q", q);
 
    using CTI = std::counted_iterator<std::vector<std::string>::iterator>;
    using CI = std::common_iterator<CTI, std::default_sentinel_t>;
    CI last{std::default_sentinel};
 
    for (CI first{{p.begin(), 2}}; first != last; ++first)
        q.emplace_back(/* ADL */ iter_move(first));
 
    print("p", p);
    print("q", q);
}

可能的输出:

p[3] { "Andromeda", "Cassiopeia", "Phoenix" }
q[0] {  }
p[3] { "", "", "Phoenix" }
q[2] { "Andromeda", "Cassiopeia" }

[编辑] 缺陷报告

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

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

[编辑] 参阅

(C++20)
转换解引用迭代器的结果为其关联的右值引用类型
(定制点对象) [编辑]
(C++20)
将解引用底层迭代器的结果转换为其关联的右值引用类型
(函数) [编辑]
(C++11)
转换实参为亡值
(函数模板) [编辑]
若移动构造函数不抛出则转换实参为亡值
(函数模板) [编辑]
(C++11)
转发一个函数实参,并使用模板实参保留它的值类别
(函数模板) [编辑]
将范围中元素移到新位置
(算法函数对象) [编辑]
从后往前将范围中元素移到新位置
(算法函数对象) [编辑]