イテレータを指定してコンテナの比較関数を取得する

Question

イテレータを指定すると、このイテレータが参照するコレクションに対して正しい比較関数を取得/使用できますか？

たとえば、のは、私は一般的なアルゴリズムを書いていると仮定しましょう：

今

template <class InIt, class T> 
void do_something(InIt b, InIt e, T v) { 
    // ... 
} 

、のは、私が[b..e)でvを見つけるように、簡単な何かをしたいとしましょう。 bとeがstd::vectorを超えるイテレータの場合は、単にif (*b == v) ...を使用します。しかし、bとeは、std::map以上のイテレータであるとします。この場合、I ははのキーと比較するだけで、マップに含まれている値のタイプ全体ではありません。

質問には、それらのイテレータがマップ内にある場合、キーを比較するだけのマップの比較関数を取得するにはどうすればよいですか？同時に、私は盲目的に私がmapで働いていると仮定したくありません。たとえば、イテレータがsetを指していたら、そのために定義された比較関数を使用したいと思います。set彼らがvectorまたはdequeを指していた場合、おそらく==を使用する必要があります。なぜなら、それらのコンテナには比較関数が定義されていないからです。

ああ、ほとんど忘れてしまった：多くの場合、コンテナに含まれている要素のoperator==ではなく、operator<に相当するものがあることに気がつきました。

Answer 1

イテレータから基になるコンテナタイプ（そのようなコンテナがあれば）にマップする標準的な方法はありません。いくつかの発見的手法を使用してどのコンテナを決定しようとするかもしれませんが、それは簡単ではなく、おそらく保証されないでしょう。例えば

、あなたは* VALUE_TYPE *これはstd::mapと種類Kを抽出した後にも及びTタイプかどうかを判断するためにメタ関数を使用しようとすることができることを示唆している、std::pair<const K, T>であるかどうかを判断するためにメタ関数を使用することができます反復子の種類は、,Yの特定の組み合わせに一致します。std::map<K,T,X,Y>::iteratorまたはstd::map<K,T,X,Y>::const_iteratorの種類が一致します。 に十分な可能性がマップの場合

はを決定イテレータがstd::mapを意味するが、あなたはそれを使用しても、抽出することができても、ことに注意しなければならないこと（すなわち、成功の高い確率で推測）比較器のタイプXは、に複製するのに十分ではない一般的なケースではコンパレータです。珍しい（と推奨されない）コンパレータは状態を持つことができますが、コンテナに直接アクセスすることなくコンパレータの特定の状態を知ることはできません。また、このタイプのヒューリスティックが役に立たない場合もあります。std::vector<>の実装の中には、イテレータの型が直接ポインタである場合があります。その場合、イテレータと配列を区別することはできません。std::vector<>同じ基本タイプの

Answer 2

イテレータはコンテナに接続する必要はないため、必ずしも接続されていないコンテナに関する詳細はわかりません。イテレータの抽象化は必須です。イテレータは、シーケンスがどこから来るかに関係なく、シーケンスを区切ります。コンテナについて知る必要がある場合は、コンテナを取るアルゴリズムを記述する必要があります。

Answer 3

残念なことに、イテレータは、それらを含むコンテナについては常に知っているとは限りません（標準コンテナにはまったくない場合もあります）。 iterator_traitsでもvalue_typeに関する情報しかありませんが、具体的にどのように比較するかは分かりません。

代わりに、標準ライブラリからインスピレーションを引き出しましょう。すべての関連コンテナ（mapなど）は、std::findを使用するのではなく、独自のfindメソッドを持っています。 の場合はそのようなコンテナにstd::findを使用する必要があります。あなたはfind_ifを使用します。

あなたの解決策のように聞こえるのは、関連するコンテナの場合、エントリを比較する方法を示す述語を受け入れるdo_something_ifが必要であるということです。