iterator find(const key_type& x); // (1) C++23
template <class K>
iterator find(const K& x); // (2) C++23
const_iterator find(const key_type& x) const; // (3) C++23
template <class K>
const_iterator find(const K& x) const; // (4) C++23
概要
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
が定義されないのは、互換性のためである。- これらのオーバーロードは、
flat_multiset<string>
のようなコンテナに対し、検索操作で文字列リテラルを渡した際に、キー型の一時オブジェクトが生成されるコストを減らすためにある。
例
#include <flat_set>
#include <iostream>
#include <string>
int main()
{
// (1)
{
std::flat_multiset<std::string> fs = {"Alice", "Bob", "Carol"};
decltype(fs)::iterator it = fs.find("Bob");
if (it != fs.end()) { // 見つかった
std::cout << *it << std::endl;
}
}
// (2)
{
std::flat_multiset<std::string, std::less<>> fs = {"Alice", "Bob", "Carol"};
// std::lessのvoidに対する特殊化を使用することで、
// 文字列リテラルをfind()関数の引数として渡した際に、
// std::string型の一時オブジェクトが生成されない。
decltype(fs)::iterator it = fs.find("Bob");
if (it != fs.end()) { // 見つかった
std::cout << *it << std::endl;
}
}
}
30
std::flat_multiset<std::string, std::less<>> fs = {"Alice", "Bob", "Carol"};
#include <flat_set>
#include <iostream>
#include <string>
int main()
{
// (1)
{
std::flat_multiset<std::string> fs = {"Alice", "Bob", "Carol"};
decltype(fs)::iterator it = fs.find("Bob");
if (it != fs.end()) { // 見つかった
std::cout << *it << std::endl;
}
}
// (2)
{
出力
Bob
Bob
バージョン
言語
- C++23
処理系
- Clang: ??
- GCC: ??
- ICC: ??
- Visual C++: ??