std::ranges::range_adaptor_closure
ja.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は、1つの range 引数を取る単項関数オブジェクトである。Tは基底クラスとしてranges::range_adaptor_closure<T>をただ1つもち、かつ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"); }