のstd ::マップデザイン：マップは、STLから

Question

地図タイプは次の型を持つテンプレートパラメータとしてコンパレータを受け入れる理由：私たちはCompare述語を渡すことができますテンプレートパラメータの一つとして

std::map< Key, Data, Compare, Alloc > 

は、なぜマップテンプレートパラメータとしてこの述語を受け入れますコンストラクタ内のオブジェクトとしてではありませんか？

コンストラクタでboost::function< bool, const T&, const T& >のようなものとより柔軟なインターフェイスを持つことができます。
もちろん私はSTLの設計時にブーストは存在しませんが、設計者はboost :: functionと同様のものを作成することができるということを強調しています。

私はそれにはいくつかの深い理由があると信じています。ダミーの質問には申し訳ありません

EDITED
、マップは同じ働かを持っている:)
私の質問は、あなたの答えの後に意味を持っていません。

Answer 1

地図DOESにはこのようなコンストラクタがあります。 C++標準のセクション23.3.1から：

explicit map(const Compare& comp = Compare(), 
const Allocator& = Allocator()); 

Answer 2

boost::functionは多型であるため、インライン化できません。 STLの設計は、コンパイラが拡張されたテンプレートで簡単なコードのインライン展開を行う最大の可能性を目指しています。また、多形化が必要な場合はboost::functionを使用してstd::mapとの比較を簡単に行うことができます。

Answer 3

テンプレート引数は述語ではなく、値のタイプです。値は、コンストラクタの引数としてに指定できます。タイプに一致する任意の値を指定できます。指定されているように、デフォルトのタイプはstd::less<Key>ですが、ほとんど値が1つのみですが、boost::functionなどのCompare引数に独自のタイプを指定してから、さまざまな値を使用してマップオブジェクトの動作を制御する必要があります。

Answer 4

比較オブジェクトを使用すると、実行時コストが発生します。オブジェクトを格納する必要があり、比較はポインタを使用して行う必要があります。クラスを使用することで、例えばintキーを使用する場合など、比較を単一の式に単純化することができます。標準ライブラリの目的は、優れたC++プログラマが独自に生成するものよりも効率的であることでした。