最終更新日時(UTC):
が更新

履歴 編集

function template
<algorithm>

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

namespace std::ranges {
  // (1)
  template<class I>
  struct in_found_result {
    [[no_unique_address]] I in;
    bool found;

    template<class I2>
      requires convertible_to<const I&, I2>
    constexpr operator in_found_result<I2>() const & {
      return {in, found};
    }
    template<class I2>
      requires convertible_to<I, I2>
    constexpr operator in_found_result<I2>() && {
      return {std::move(in), found};
    }
  };

  // (2)
  template<class I>
  using next_permutation_result = in_found_result<I>;

  // (3)
  template<class I>
  using prev_permutation_result = in_found_result<I>;
}

概要

この型は、関数が範囲を受け取り、何かを発見したかどうかを返す場合に、処理した範囲の末尾と結果を返すために使用される。

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

メンバ変数

名前 説明 対応バージョン
[[no_unique_address]] I in 処理した範囲の末尾 C++20
bool found 何かを発見したかを表すフラグ C++20

メンバ関数

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

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

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

int main ()
{
  std::array<int, 3> v = {1, 2, 3};

  const std::ranges::in_found_result result = std::ranges::next_permutation(v);

  assert(result.in == v.end());
  assert(result.found == true);
}

出力

バージョン

言語

  • C++20

処理系

参照