4. find

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

履歴 編集

function template
<algorithm>

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

namespace std::ranges {
  template <input_iterator I,
            sentinel_for<I> S,
            class T,
            class Proj = identity>
    requires indirect_binary_predicate<ranges::equal_to, projected<I, Proj>, const T*>
  constexpr I
    find(I first,
         S last,
         const T& value,
         Proj proj = {}); // (1) C++20

  template <input_range R,
            class T,
            class Proj = identity>
    requires indirect_binary_predicate<ranges::equal_to, projected<iterator_t<R>, Proj>, const T*>
  constexpr borrowed_iterator_t<R>
    find(R&& r,
         const T& value,
         Proj proj = {}); // (2) C++20
}

概要

指定された値を検索する。

戻り値

[first,last) あるいは r 内のイテレータ i について、invoke(proj, *i) == value であるような最初のイテレータを返す。そのようなイテレータが見つからなかった場合は last を返す。

計算量

最大で last - first 回比較を行う

例

#include <algorithm>
#include <iostream>
#include <array>

int main() {
  constexpr std::array v = { 3, 1, 4 };
  constexpr auto result = std::ranges::find(v, 1);
  if (result == v.end()) {
    std::cout << "not found" << std::endl;
  } else {
    std::cout << "found: " << *result << std::endl;
  }
}

出力

found: 1

実装例

struct find_impl {
  template<input_iterator I, sentinel_for<I> S, class T, class Proj = identity>
    requires indirect_binary_predicate<ranges::equal_to, projected<I, Proj>, const T*>
  constexpr I operator()(I first, S last, const T& value, Proj proj = {}) const {
    for ( ; first != last; ++first)
      if (*first == value) return first;
    return last;
  }

  template<input_range R, class T, class Proj = identity>
    requires indirect_binary_predicate<ranges::equal_to, projected<iterator_t<R>, Proj>, const T*>
  constexpr borrowed_iterator_t<R> operator()(R&& r, const T& value, Proj proj = {}) const {
    return (*this)(begin(r), end(r), value, ref(proj));
  }
};

inline constexpr find_impl find;

バージョン

言語

  • C++20

処理系

参照