为什么 std::sort 不要求用户指定模板类型？

Question

如果我理解正确，在标准库中，存在std::sort()的定义：

template< class RandomIt > 
constexpr void sort( RandomIt first, RandomIt last );

假设我有一个想要排序的向量：

std::vector<int> data {9, 7, 5, 3, 1};

如果是这样，那我为什么只能写：

std::sort(data.begin(), data.end());

而不是要求：

std::sort<std::vector<int>::iterator>(data.begin(), data.end());

如果可能的话，有人可以提供一个通用的解释吗？ 我想我肯定已经看到不止一个这样的例子，其中模板类型几乎似乎是自动推导出来的……或者它是被自动推导出来的……？

Answer 1

还是自动推导...？

是的。

当模板参数用于 function 参数时，模板参数可以从传递给 function 的参数推导出来。因此，在这种情况下， RandomIt是从 arguments data.begin()和data.end()推导出来的。