std::ranges::range_adaptor_closure

Определён в заголовочном файле `<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>

// 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");
}

© cppreference.com
Licensed under the Creative Commons Attribution-ShareAlike Unported License v3.0.
https://en.cppreference.com/cpp/ranges/range_adaptor_closure