5. find

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

履歴 編集

function
<map>

std::map::find

iterator find(const key_type& x);             // (1)

template <class K>
iterator find(const K& x);                    // (2) C++14

const_iterator find(const key_type& x) const; // (3)

template <class K>
const_iterator find(const K& x) const;        // (4) C++14

概要

xと等価なキーの要素を検索する。

  • (1), (3) : クラスのテンプレートパラメータkey_type型のキーを受け取って検索する。
  • (2), (4) : key_typeと比較可能なK型のキーを受け取って検索する。

テンプレートパラメータ制約

  • (2), (4) : key_compare::is_transparentが妥当な式であること

戻り値

  • (1), (3) : xと等価なキーの要素が見つかった場合は、見つかった要素へのイテレータを返す。そうでない場合は、 end() を返す。
  • (2), (4) : key_compare型の関数オブジェクトをc、コンテナ内の各要素が持つキーをkとして、キーが等価か判定する式!c(k, x) && !c(x, k)がtrueとなる要素へのイテレータを返す。そのような要素がない場合は、end() を返す。

計算量

size について対数時間。

備考

  • (2), (4) :
    • is_transparentは、標準ライブラリのstd::less、std::greaterといった関数オブジェクトの、voidに対する特殊化で定義される。それ以外のテンプレートパラメータでis_transparentが定義されないのは、互換性のためである。
    • これらのオーバーロードは、map<string, int>のようなコンテナに対し、検索操作で文字列リテラルを渡した際に、キー型の一時オブジェクトが生成されるコストを減らすためにある。

例

#include <iostream>
#include <map>
#include <string>

int main()
{
  // (1)
  {
    std::map<std::string, int> m = {
      {"Alice", 3},
      {"Bob",   1},
      {"Carol", 4}
    };

    decltype(m)::iterator it = m.find("Bob");
    if (it != m.end()) { // 見つかった
      std::cout << it->second << std::endl;
    }
  }

  // (2)
  {
    std::map<std::string, int, std::less<>> m = {
      {"Alice", 3},
      {"Bob",   1},
      {"Carol", 4}
    };

    // std::lessのvoidに対する特殊化を使用することで、
    // 文字列リテラルをfind()関数の引数として渡した際に、
    // std::string型の一時オブジェクトが生成されない。
    decltype(m)::iterator it = m.find("Bob");
    if (it != m.end()) { // 見つかった
      std::cout << it->second << std::endl;
    }
  }
}

出力

1
1

関連項目

名前 説明
map::count 指定したキーにマッチする要素の数を返す
map::lower_bound 与えられた値より小さくない要素へのイテレータを返す
map::upper_bound 特定の値よりも大きい最初の要素へのイテレータを返す

参照