std::projected

< cpp‎ | iterator
 
C++
 
迭代器库
迭代器概念
迭代器原语
算法概念与工具
间接可调用概念
常用算法要求
工具
projected
迭代器适配器
流迭代器
迭代器定制点
(C++20)
(C++20)
迭代器操作
(C++11)
(C++11)
范围访问
(C++11)(C++14)
(C++11)(C++14)
(C++17)(C++20)
(C++14)(C++14)
(C++14)(C++14)
(C++17)
(C++17)
 
定义于头文件 <iterator>
template< std::indirectly_readable I,

          std::indirectly_regular_unary_invocable<I> Proj >
struct projected {
    using value_type = std::remove_cvref_t<std::indirect_result_t<Proj&, I>>;
    std::indirect_result_t<Proj&, I> operator*() const; // 不定义

};
 (1) (C++20 起)
template< std::weakly_incrementable I, class Proj >

struct incrementable_traits<std::projected<I, Proj>> {
    using difference_type = std::iter_difference_t<I>;

};
 (2) (C++20 起)
1) 类模板 projected 组合 indirectly_readable 类型 I 与可调用对象类型 Proj 到新的 indirectly_readable 类型中，其引用类型是应用 Proj 到 std::iter_reference_t<I> 的结果。
2) std::incrementable_traits 的此特化使 std::projected<I, Proj> 在 I 为 weakly_incrementable 类型时亦为 weakly_incrementable 类型。

projected 仅用于制约接受可调用对象与投影的算法，从而其 operator*() 不被定义。

模板形参

I - 间接可读类型
Proj - 应用到解引用的 I 的投影