C++ 命名要求： RangeAdaptorObject （自 C++20 起）

 

C++

编译器支持

独立和宿主式

语言

标准库

标准库头文件

命名要求

特性测试宏 （C++20）

语言支持库

概念库 （C++20）

诊断库

内存管理库

元编程库 （C++11）

通用工具库

容器库

迭代器库

范围库 （C++20）

算法库

字符串库

文本处理库

数值库

日期和时间库

输入/输出库

文件系统库 （C++17）

并发支持库 （C++11）

执行控制库 （C++26）

技术规范

符号索引

外部库

 

C++ 命名要求

基本 DefaultConstructible MoveConstructible （C++11） CopyConstructible CopyAssignable MoveAssignable （C++11） Destructible 类型属性 ScalarType PODType TriviallyCopyable （C++11） TrivialType （C++11） StandardLayoutType （C++11）   ImplicitLifetimeType 库级别 BooleanTestable EqualityComparable LessThanComparable Swappable ValueSwappable （C++11） NullablePointer （C++11） Hash （C++11） Allocator FunctionObject Callable Predicate BinaryPredicate Compare

Container Container ReversibleContainer AllocatorAwareContainer SequenceContainer ContiguousContainer （C++17） AssociativeContainer UnorderedAssociativeContainer （C++11）   容器元素 DefaultInsertable （C++11） CopyInsertable （C++11） MoveInsertable （C++11） EmplaceConstructible （C++11） Erasable （C++11） Iterator LegacyIterator LegacyInputIterator LegacyOutputIterator LegacyForwardIterator LegacyBidirectionalIterator LegacyRandomAccessIterator LegacyContiguousIterator （C++17） ConstexprIterator （C++20） 流 I/O FormattedInputFunction UnformattedInputFunction FormattedOutputFunction UnformattedOutputFunction 格式化器 BasicFormatter （C++20） Formatter （C++20）

随机数 SeedSequence （C++11） RandomNumberEngine （C++11） RandomNumberDistribution （C++11） UniformRandomBitGenerator （C++11） RandomNumberEngineAdaptor （C++11） 并发 BasicLockable （C++11） Lockable （C++11） TimedLockable （C++11） SharedLockable （C++14） SharedTimedLockable （C++14） Mutex （C++11） TimedMutex （C++11） SharedMutex （C++17） SharedTimedMutex （C++14） 范围 RangeAdaptorObject （C++20） RangeAdaptorClosureObject （C++20） 多维视图 LayoutMapping （C++23） LayoutMappingPolicy （C++23） AccessorPolicy （C++23） 其他 CharTraits RegexTraits （C++11）   BitmaskType LiteralType （C++11） NumericType UnaryTypeTrait （C++11） BinaryTypeTrait （C++11） TransformationTrait （C++11） Clock （C++11） TrivialClock （C++11）

 

范围适配器对象 是自定义点对象，它接受 viewable_range 作为其首个实参，并返回 view。一些范围适配器对象是一元的，即它们仅接受一个 viewable_range 作为其唯一实参。其他范围适配器对象接受一个 viewable_range 和其他尾随实参。

如果一个范围适配器对象仅接受一个实参，那么它也是一个 RangeAdaptorClosureObject。

如果一个范围适配器对象接受多于一个实参，那么它也支持部分应用：设

• a 为这样一个范围适配器对象，且
• args... 为实参（通常适用于尾随实参），

表达式 a(args...) 具有以下属性

• 当且仅当对于 args... 中的每个实参 e，使得 E 为 decltype((e))， std::is_constructible_v<std::decay_t<E>, E> 为 true 时，它是有效的，
• 当调用有效时，其结果对象存储一个类型为 std::decay_t<E> 的子对象，该子对象使用 std::forward<E>(e) 直接非列表初始化，对于 args... 中的每个实参 e（换句话说，范围适配器对象按值绑定实参），
• 结果对象是一个 RangeAdaptorClosureObject，
• 调用 RangeAdaptorClosureObject 将绑定的实参（如果有）转发到关联的范围适配器对象。绑定的实参（如果有）被认为具有 RangeAdaptorClosureObject 的值类别和 cv 限定符。换句话说，a(args...)(r) 等价于 std::bind_back(a, args...)(r)（但前者也支持管道语法）。（自 C++23 起）

与其他自定义点对象类似，设

• a 为任何范围适配器对象的类型的 cv 非限定版本对象，
• args... 为满足 a 的类型的 operator() 约束的任何实参组，

对

• a(args...),
• std::as_const(a)(args...),
• std::move(a)(args...)，以及
• std::move(std::as_const(a))(args...)

的调用都是等价的。

这些表达式中每一个的结果对象要么是 view 对象，要么是 RangeAdaptorClosureObject。

注解

不支持对范围适配器对象类型的 volatile 限定或 const-volatile 限定版本使用 operator()。数组和函数在绑定时会被转换为指针。