std::greater{}与std::greater<int>()有什么区别？

嘿，这个问题问到点子上了！这两种写法的核心差异其实是C++11引入的**类模板参数推导（CTAD）**带来的灵活性变化，我给你一步步讲清楚：

1. 类型推导方式完全不同 #

• std::greater<int>()是显式指定模板参数：你直接告诉编译器，这个比较器的模板参数是int，所以它的operator()只会接受int类型的参数进行比较。如果容器里的元素不是int，会触发隐式类型转换（可能带来意外结果）。
• std::greater{}是自动推导模板参数：编译器会根据std::nth_element的上下文（也就是容器v的元素类型）自动推导std::greater的模板参数。比如v是std::vector<double>，就会推导成std::greater<double>；如果是自定义类型MyClass，就推导成std::greater<MyClass>，完全适配当前场景。

2. 灵活性与维护成本差异明显 #

• 用std::greater<int>()的话，一旦容器元素类型修改（比如从int改成long long或者自定义类型），你必须手动修改模板参数，否则要么编译报错，要么出现隐式转换导致的逻辑错误。
• std::greater{}则完全不用操心类型匹配的问题，代码更通用，减少硬编码的类型依赖，后续维护起来更省心。

3. 实际场景的效果差异 #

举个直观的例子，能帮你快速理解：

std::vector<double> v = {3.0, 2.999999, 1.5};

// 自动推导为std::greater<double>，严格按double原生值比较
std::nth_element(v.begin(), v.begin()+1, v.end(), std::greater{});
// 此时第二个元素是第二大的double值：2.999999

// 显式指定int，会把double转成int后比较（3.0→3，2.999999→2）
std::nth_element(v.begin(), v.begin()+1, v.end(), std::greater<int>());
// 转int后的值是3、2、1，第二大是2，对应原元素2.999999？不对，再换个更极端的：
std::vector<double> v2 = {3.0, 2.999999999, 3.000000001};
// 用std::greater{}：第二大元素是3.0
// 用std::greater<int>()：三个元素转int都是3，比较时视为相等，nth_element返回的第二元素顺序不确定

这个例子能看出，显式指定类型可能会丢失精度或者改变比较逻辑，而自动推导则严格遵循元素原生类型的比较规则。

4. 兼容性问题 #

• std::greater{}依赖C11及以后的CTAD特性，如果你的项目需要兼容C03或更早的标准，只能使用std::greater<int>()这种显式指定模板参数的写法。
• 但现在绝大多数项目都已经基于C++11+开发了，所以std::greater{}是更推荐的写法。

总结 #

如果你的代码环境支持C++11及以上，优先用std::greater{}——它更灵活、通用，能减少类型错误；只有在需要强制指定比较类型（比如故意要进行类型转换）或者兼容旧标准时，再考虑std::greater<int>()这种显式写法。

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