std::ranges::range_adaptor_closure
С ru.cppreference.net
| Определён в заголовке <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"); }