std::experimental::ranges::projected

来自cppreference.com
< cpp‎ | experimental‎ | ranges
 
 
技术规范
文件系统库 (文件系统 TS)
库基础 (库基础 TS)
库基础 2 (库基础 TS v2)
库基础 3 (库基础 TS v3)
并行扩展 (并行 TS)
并行扩展 2 (并行 TS v2)
并发扩展 (并发 TS)
并发扩展 2 (并发 TS v2)
概念 (概念 TS)
范围 (范围 TS)
反射 (反射 TS)
数学特殊函数 (特殊函数 TR)
 
 
迭代器库
迭代器概念
间接可调用概念
                                                  
                                                  
                                                  
常用算法要求
                                                  
概念工具
projected
迭代器工具及运算
迭代器特性
迭代器适配器
流迭代器
 
定义于头文件 <experimental/ranges/iterator>
template <ranges::Readable I, ranges::IndirectRegularUnaryInvocable<I> Proj>

struct projected {
    using value_type =
        std::remove_cv_t<
            std::remove_reference_t<ranges::indirect_result_of_t<Proj&(I)>>
        >;
    ranges::indirect_result_of_t<Proj&(I)> operator*() const;
};

template <ranges::WeaklyIncrementable I, class Proj>
struct difference_type<projected<I, Proj>> {
    using type = ranges::difference_type_t<I>;

};
(范围 TS)

类模板 projectedReadable类型 I 和函数 Proj 打包成新的可读 (Readable) 类型,其 reference 为应用 ProjIreference 类型的结果。它单独为简化制约规定而存在,故而其 operator*() 可以不实际定义。