std::projected
在标头 <iterator> 定义
|
||
(1) | ||
template< std::indirectly_readable I, std::indirectly_regular_unary_invocable<I> Proj > |
(C++20 起) (C++26 前) |
|
template< std::indirectly_readable I, std::indirectly_regular_unary_invocable<I> Proj > |
(C++26 起) | |
template< std::weakly_incrementable I, class Proj > struct incrementable_traits<std::projected<I, Proj>> |
(2) | (C++20 起) (C++26 前) |
template< class I, class Proj > struct /*projected-impl*/ |
(3) | (C++26 起) (仅用于阐述*) |
projected
将 indirectly_readable
类型 I
与可调用对象类型 Proj
组合到新的 indirectly_readable
类型中,其引用类型是应用 Proj
到 std::iter_reference_t<I> 的结果。I
为 weakly_incrementable
类型时亦为 weakly_incrementable
类型。projected
仅用于约束接受可调用对象与投影的算法,因而其 operator*()
没有定义。
模板形参
I | - | 间接可读类型 |
Proj | - | 应用到解引用的 I 上的投影
|
注解
间接层使得 I
与 Proj
不会成为 projected
的关联类。当一个 I
或 Proj
的关联类为不完整类类型时,间接层避免检查该类型的定义的尝试,而尝试会导致硬错误。
示例
#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 前是错误 }
参阅
(C++26) |
计算一个 indirectly_readable 类型投影后的值类型 (别名模板) |