std::projected

来自cppreference.com
< cpp‎ | iterator
 
 
迭代器库
迭代器概念
迭代器原语
算法概念与工具
间接可调用概念
常用算法要求
(C++20)
(C++20)
(C++20)
工具
projected
(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)
 
在标头 <iterator> 定义
(1)
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; // 不定义

};
(C++20 起)
(C++26 前)
template< std::indirectly_readable I,

          std::indirectly_regular_unary_invocable<I> Proj >

using projected = /*projected-impl*/<I, Proj>::/*__type*/; // 见 (3)
(C++26 起)
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 起)
(C++26 前)
template< class I, class Proj >

struct /*projected-impl*/
{
    struct /*__type*/
    {
        using value_type = std::remove_cvref_t<std::indirect_result_t<Proj&, I>>;
        using difference_type = std::iter_difference_t<I>; // 条件性存在

        std::indirect_result_t<Proj&, I> operator*() const; // 不定义
    };

};
(3) (C++26 起)
(仅用于阐述*)
1) (C++26 前)别名 (C++26 起)模板 projectedindirectly_readable 类型 I 与可调用对象类型 Proj 组合到新的 indirectly_readable 类型中,其引用类型是应用 Projstd::iter_reference_t<I> 的结果。
2) std::incrementable_traits 的此特化使 std::projected<I, Proj>Iweakly_incrementable 类型时亦为 weakly_incrementable 类型。
3) 用于避免不期待的实参依赖查找的间接层。成员类型 difference_type 仅若 I 实现 weakly_incrementable 才存在。

projected 仅用于约束接受可调用对象与投影的算法,因而其 operator*() 没有定义。

模板形参

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

注解

间接层使得 IProj 不会成为 projected 的关联类。当一个 IProj 的关联类为不完整类类型时,间接层避免检查该类型的定义的尝试,而尝试会导致硬错误。

示例

#include <algorithm>
#include <cassert>
#include <functional>
#include <iterator>
 
template<class T>
struct Holder
{
    T t;
};
 
struct Incomplete;
 
using P = Holder<Incomplete>*;
 
static_assert(std::equality_comparable<P>); // OK
static_assert(std::indirectly_comparable<P*, P*, std::equal_to<>>); // C++26 前是错误
static_assert(std::sortable<P*>); // C++26 前是错误
 
int main()
{
    P a[10] = {}; // 十个空指针
    assert(std::count(a, a + 10, nullptr) == 10); // OK
    assert(std::ranges::count(a, a + 10, nullptr) == 10); // C++26 前是错误
}

参阅

计算一个 indirectly_readable 类型投影后的值类型
(别名模板)