Namespaces
Variants

    std::ranges::range_adaptor_closure

    来自 zh.cppreference.net
     
    C++
     
    范围库
    范围适配器
     
    定义于头文件 <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。

    注释

    功能测试 宏 值 标准 功能
    __cpp_lib_ranges 202202L (C++23) std::ranges::range_adaptor_closure

    示例

    运行此代码 
    #include <ranges>
#include <string_view>
// 将 Slice 定义为范围适配器闭包
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};
    // 将 slicer 作为普通函数对象使用
    constexpr auto sv1 = slicer(str);
    static_assert(sv1 == "12345");
    // 将 slicer 作为范围适配器闭包对象使用
    constexpr auto sv2 = str | slicer;
    static_assert(sv2 == "12345");
    // 范围适配器闭包可以组合
    constexpr auto slice_and_drop = slicer | std::views::drop(2);
    static_assert(std::string_view(str | slice_and_drop) == "345");
}