命名空间
变体
操作

std::ranges::range_adaptor_closure

来自 cppreference.com
< cpp‎ | ranges
 
 
范围库
范围适配器
范围适配器闭包对象
range_adaptor_closure
(C++23)    
 
定义在头文件 <ranges>
template< class D >

    requires std::is_object_v<D> && std::same_as<D, std::remove_cv_t<D>>

class range_adaptor_closure {};
(自 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");
}