std::ranges::in_fun_result(C++20)

namespace std::ranges {
  // (1)
  template<class I, class F>
  struct in_fun_result {
    [[no_unique_address]] I in;
    [[no_unique_address]] F fun;

    template<class I2, class F2>
      requires convertible_to<const I&, I2> && convertible_to<const F&, F2>
    constexpr operator in_fun_result<I2, F2>() const & {
      return {in, fun};
    }

    template<class I2, class F2>
      requires convertible_to<I, I2> && convertible_to<F, F2>
    constexpr operator in_fun_result<I2, F2>() && {
      return {std::move(in), std::move(fun)};
    }
  };

  // (2)
  template<class I, class F>
  using for_each_result = in_fun_result<I, F>;

  // (3)
  template<class I, class F>
  using for_each_n_result = in_fun_result<I, F>;
}

概要

(1): イテレータと関数オブジェクトを格納する型
(2): ranges::for_eachで使用するエイリアス
(3): ranges::for_each_nで使用するエイリアス

この型は、関数が範囲と関数オブジェクトを受け取る場合に、処理した範囲の末尾と渡した関数オブジェクトを返すために使用される。

標準アルゴリズム関数ではこの型を直接返す代わりに、関数毎にエイリアスを定義している。

メンバ変数

名前	説明	対応バージョン
`[[no_unique_address]] I in`	処理した範囲の末尾	C++20
`[[no_unique_address]] F fun`	渡された関数オブジェクト	C++20

メンバ関数

名前	説明	対応バージョン
`operator in_fun_result<I2, F2>`	変換演算子	C++20

変換演算子は、各テンプレートパラメーターが変換できる場合のみオーバーロード解決に参加する。

例

#include <cassert>
#include <array>
#include <algorithm>

int main() {
  std::array v = { 3, 1, 4 };

  const std::ranges::in_fun_result result = std::ranges::for_each(v, [](int& x) { ++x; });

  assert(result.in == v.end());

  // funは、渡した関数オブジェクト
  int x = 10;
  result.fun(x);

  // 渡した関数オブジェクトの効果で1増えている
  assert(x == 11);
}

std::ranges::in_fun_result(C++20)

概要

メンバ変数

メンバ関数

例

出力

バージョン

言語

処理系

参照