std :: map design:为什么map接受比较器作为模板参数

Question

STL的地图类型有下一个类型:

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

作为模板参数之一,我们可以传递Compare谓词,为什么map接受这个谓词作为模板参数而不是构造函数中的对象？

它可以boost::function< bool, const T&, const T& >在构造函数中具有更灵活的界面.
当然,我强调,当STL被设计时,boost不存在,但设计师可以在boost :: function上创建类似的东西.

我相信它有一些深层次的原因.

编辑
抱歉对于虚拟问题,地图有相同的可能性:)
我的问题没有意义后你的答案.

Answer 1

template参数是谓词的类型,而不是值.该值可以作为构造函数的参数提供.您可以指定与该类型匹配的任何值.如上所述,默认类型是std::less<Key>,它几乎只有一个值,但您应该能够为Compare参数指定自己的类型,包括boost::function,然后使用各种值来控制地图对象的行为.

Answer 2

Map DOES有这样的构造函数.从C++标准的第23.3.1节:

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