Namespaces
Variants

std::ranges:: range_adaptor_closure

From cppreference.net
C++
Ranges library
Range adaptors
定義先ヘッダ <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 は厳密に1つの公開基底クラス ranges :: range_adaptor_closure < T > を持ち、かつ T は他の型 U に対する ranges :: range_adaptor_closure < 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");
}