4. find_first_of

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

履歴 編集

function template
<algorithm>

std::find_first_of

namespace std {
  template <class ForwardIterator1, class ForwardIterator2>
  ForwardIterator1
    find_first_of(ForwardIterator1 first1,
                  ForwardIterator1 last1,
                  ForwardIterator2 first2,
                  ForwardIterator2 last2); // (1) C++03

  template <class InputIterator, class ForwardIterator>
  InputIterator
    find_first_of(InputIterator first1,
                  InputIterator last1,
                  ForwardIterator first2,
                  ForwardIterator last2);  // (1) C++11

  template <class InputIterator, class ForwardIterator>
  constexpr InputIterator
    find_first_of(InputIterator first1,
                  InputIterator last1,
                  ForwardIterator first2,
                  ForwardIterator last2);  // (1) C++20

  template <class ForwardIterator1, class ForwardIterator2, class BinaryPredicate>
  ForwardIterator1
    find_first_of(ForwardIterator1 first1,
                  ForwardIterator1 last1,
                  ForwardIterator2 first2,
                  ForwardIterator2 last2,
                  BinaryPredicate pred);   // (2) C++03

  template <class InputIterator, class ForwardIterator, class BinaryPredicate>
  InputIterator
    find_first_of(InputIterator first1,
                  InputIterator last1,
                  ForwardIterator first2,
                  ForwardIterator last2,
                  BinaryPredicate pred);   // (2) C++11

  template <class InputIterator, class ForwardIterator, class BinaryPredicate>
  constexpr InputIterator
    find_first_of(InputIterator first1,
                  InputIterator last1,
                  ForwardIterator first2,
                  ForwardIterator last2,
                  BinaryPredicate pred);   // (2) C++20

  template <class ExecutionPolicy, class ForwardIterator1, class ForwardIterator2>
  ForwardIterator1
    find_first_of(ExecutionPolicy&& exec,
                  ForwardIterator1 first1,
                  ForwardIterator1 last1,
                  ForwardIterator2 first2,
                  ForwardIterator2 last2); // (3) C++17

  template <class ExecutionPolicy, class ForwardIterator1,
            class ForwardIterator2, class BinaryPredicate>
  ForwardIterator1
    find_first_of(ExecutionPolicy&& exec,
                  ForwardIterator1 first1,
                  ForwardIterator1 last1,
                  ForwardIterator2 first2,
                  ForwardIterator2 last2,
                  BinaryPredicate pred);   // (4) C++17
}

概要

ある集合の1つとマッチする最初の要素を検索する。

戻り値

[first1,last1 - (last2 - first2)) 内のイテレータ i があるとき、[first2,last2) 内のイテレータ j について、どれかが *i == *j もしくは pred(*i,*j) であるような最初のイテレータを返す。

そのようなイテレータが見つからない、もしくは [first2,last2) が空である場合は last1 を返す。

計算量

最大で (last1 - first1) * (last2 - first2) 回の、対応する比較もしくは述語が適用される。

例

#include <algorithm>
#include <iostream>
#include <vector>
#include <list>

int main() {
  std::vector<int> v = { 1,3,7,4,2 };
  std::list<int> ls = { 2,4,6,8 };

  // 2,4,6,8 のどれかと一致する最初の要素を返す
  std::vector<int>::iterator it = std::find_first_of(v.begin(), v.end(), ls.begin(), ls.end());
  if (it == v.end()) {
    std::cout << "not found" << std::endl;
  } else {
    std::cout << "found: index==" << std::distance(v.begin(), it) << ", value==" << *it << std::endl;
  }
}

出力

found: index==3, value==4

実装例

template <class InputIterator, class ForwardIterator>
InputIterator find_first_of(InputIterator first1, InputIterator last1,
                            ForwardIterator first2, ForwardIterator last2) {
  for ( ; first1 != last1; ++first1)
    for (ForwardIterator it = first2; it != last2; ++it)
      if (*first1 == *it) return first1;
  return last1;
}

template <class InputIterator, class ForwardIterator, class BinaryPredicate>
InputIterator find_first_of(InputIterator first1, InputIterator last1,
                            ForwardIterator first2, ForwardIterator last2, BinaryPredicate pred) {
  for ( ; first1 != last1; ++first1)
    for (ForwardIterator it = first2; it != last2; ++it)
      if (pred(*first1, *it)) return first1;
  return last1;
}

参照