станда :: карты: почему карта принимает компаратор в качестве параметра шаблона

Question

типа

Map из STL имеет следующий вид:

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

В качестве одного из параметров шаблона мы могли бы пройти Compare предикат, почему карта принимает этот предикат в качестве параметра шаблона а не как объект в конструкторе?

Он может иметь более гибкий интерфейс с чем-то вроде boost::function< bool, const T&, const T& > в конструкторе.
Ofcourse Я understend, что, когда STL был разработан импульс не существует, но конструкторы могли бы создать что-то похожее на повышающего функции ::.

Я верю, что у него есть некоторые глубокие причины.

EDITED
Извините за фиктивный вопрос, карта есть же вешать :)
Мой вопрос не имеет смысла после ваших ответов.

Answer 1

У карты такой конструктор. Из раздела 23.3.1 стандарта C++:

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

Answer 2

Потому что boost::function является полиморфным, он не может быть встроен. Конструкция STL нацелена на максимальный потенциал для компилятора, чтобы сделать вложение кода, что легко по расширенным шаблонам; вы также можете легко принять решение использовать boost::function для сравнения с std::map, если вам нужно, чтобы он был полиморфным.

Answer 3

Шаблон аргумент является тип предиката, а не значение. Значение может содержать в качестве аргумента конструктору. Вы можете указать любое значение, соответствующее типу. Как указано, тип по умолчанию - std::less<Key>, который имеет только одно значение, но вы должны указать свой собственный тип для аргумента Compare, включая boost::function, а затем использовать различные значения для управления поведением ваших объектов карты.

Answer 4

Использование объекта сравнения создает затраты времени выполнения - объект должен быть сохранен, а сравнение должно выполняться с помощью указателя. Используя класс, сравнение может упростить до одного выражения, например, при использовании ключей int. Цель стандартной библиотеки была не менее эффективной, чем то, что хороший программист на C++ генерировал бы самостоятельно.