C++中nth_element、sort与set的仿函数传参差异原因问询

哇，这个问题问到点子上了——这其实是C++里模板参数类型要求和函数参数值要求的核心区别，咱们掰开揉碎了说：

先把你给出的两个模板签名再拎出来对比，就能一眼看到本质：

一、nth_element & sort：需要的是「比较器对象」，不是「类型」 #

先看算法的函数模板签名：

template< class RandomIt, class Compare > 
void nth_element ( RandomIt first, RandomIt nth, RandomIt last, Compare comp );

template< class RandomAccessIterator, class Compare > 
void sort (RandomAccessIterator first, RandomAccessIterator last, Compare comp);

这里的Compare是函数模板的类型参数，但注意最后那个Compare comp——这是函数的形参，是一个值（对象）参数。也就是说：

• 编译器会根据你传入的comp推导出Compare的具体类型
• 函数运行时需要调用这个comp对象的operator()来做元素比较
• 你直接传cmp（结构体类型名），这不是一个可调用的对象，编译器当然会报错：它不知道怎么把一个类型转换成能调用的东西
• 而cmp()是创建了一个cmp类型的临时对象，cmp2_item是你提前实例化好的对象，都是Compare类型的有效值，所以能正常运行

举个直观的例子：

// ❌ 错误：传了类型，不是可调用对象
sort(v.begin(), v.end(), cmp);
// ✅ 正确：临时对象
sort(v.begin(), v.end(), cmp());
// ✅ 正确：命名实例
cmp my_cmp;
sort(v.begin(), v.end(), my_cmp);

二、set：需要的是「比较器类型」，不是「对象」 #

再看set的类模板签名：

template <class T, class Compare = less<T>, class Alloc = allocator<T>> 
class set;

这里的Compare是类模板的类型参数——set作为容器，需要知道用「什么类型的比较器」来组织内部的元素（比如排序、查找时用的规则）。也就是说：

• 你必须传递一个类型给Compare，这个类型要满足仿函数的要求（重载了operator()）
• set会在内部默认构造一个该类型的对象，用来做元素比较
• 你传cmp（结构体类型）完全符合要求，编译器会生成一个用cmp作为比较器的set实例
• 但如果你传cmp2_item（一个具体的对象），这不是一个类型，编译器直接懵了：模板参数要的是类型，你给我个对象干啥？所以报错

同样举例子：

// ✅ 正确：传类型，内部默认构造cmp对象
set<int, cmp> s;
// ❌ 错误：传了对象，不是类型
set<int, cmp2_item> s;

三、补个小细节：想给set传自定义实例怎么办？ #

如果你不想用set内部默认构造的比较器对象，而是想用自己提前初始化好的cmp2_item，也不是不行——但不是在模板参数里传，而是在构造函数里传：

// 模板参数还是传类型，构造函数传自定义实例
cmp cmp2_item;
set<int, cmp> s(cmp2_item);

这样set就会用你传入的cmp2_item作为比较器，而不是默认构造新的。

• 对于nth_element/sort这类算法函数：它们的比较器参数是「函数的形参」，需要传入比较器对象（临时或命名实例）
• 对于set这类容器类：它们的Compare是「类模板的类型参数」，需要传入比较器类型，容器内部会处理对象的创建（或者你可以通过构造函数传入自定义实例）

内容的提问来源于stack exchange，提问作者sww