std::ranges::range_adaptor_closure
来自 cppreference.com
定义在头文件 <ranges> 中 |
||
template< class D > requires std::is_object_v<D> && std::same_as<D, std::remove_cv_t<D>> |
(自 C++23 起) | |
std::ranges::range_adaptor_closure
是一个用于定义 RangeAdaptorClosureObject 的辅助类模板。
设 t 为类型 T
的对象,该实现确保 t 是一个范围适配器闭包对象,如果满足所有要求:
- t 是一个一元函数对象,它接受一个
range
类型的参数。 -
T
只有一个公共基类 ranges::range_adaptor_closure<T>,并且T
没有类型为 ranges::range_adaptor_closure<U> 的任何其他类型U
的基类。 -
T
不满足range
。
[edit] 注释
特性测试 宏 | 值 | Std | 特性 |
---|---|---|---|
__cpp_lib_ranges |
202202L | (C++23) | std::ranges::range_adaptor_closure
|
[edit] 示例
运行此代码
#include <ranges> #include <string_view> // Define Slice as a range adaptor closure struct Slice : std::ranges::range_adaptor_closure<Slice> { std::size_t start = 0; std::size_t end = std::string_view::npos; constexpr std::string_view operator()(std::string_view sv) const { return sv.substr(start, end - start); } }; int main() { constexpr std::string_view str = "01234567"; constexpr Slice slicer{.start = 1, .end = 6}; // use slicer as a normal function object constexpr auto sv1 = slicer(str); static_assert(sv1 == "12345"); // use slicer as a range adaptor closure object constexpr auto sv2 = str | slicer; static_assert(sv2 == "12345"); // range adaptor closures can be composed constexpr auto slice_and_drop = slicer | std::views::drop(2); static_assert(std::string_view(str | slice_and_drop) == "345"); }