c – 为什么STL设置比较器仅通过模板指定？

对于许多用途,默认的比较选择,即使用std :: less< T>.它使用< b效果很好.此比较不执行任何动态分派,这将允许在不影响类型的情况下选择顺序,因为动态分派可能会导致性能下降.添加动态调度肯定会在界面定义时导致性能下降,我认为它仍然是真的,不太可能完全消失. 如果你想在不影响类型的情况下选择顺序,你可以使用std :: function< bool(T const&,T const&)> (或std :: function< bool(T,T)>如果T碰巧是一种便宜的复制类型,如内置类型).在这种情况下,您需要将比较对象指定为构造函数参数.例如：

std::set<int,std::function<bool(int,int)>> values{std::less<int>()};

请注意,上面的代码使用curlies,否则它将是一个函数声明而不是一个对象定义.另请注意,分配std：set< int,std :: function< bool(int,int)>>到具有不同比较功能的另一个不起作用：代码将编译但是赋值将创建一个错误排序的集合.例如：

#include <functional>
#include <iostream>
#include <set>

int main() {
    std::set<int,int)>> values1{std::less<int>()};
    values1.insert(1);
    values1.insert(2);
    values1.insert(3);
    std::set<int,int)>> values2{std::greater<int>()};
    values2 = values1;
    for (auto v: values2) {
        std::cout << v << 'n';
    }
}

这将按升序打印值,尽管它应按降序打印.