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

Question

如果我没理解错的话，在标准库中，有这个std::sort()的定义:

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

假设我有一个想要排序的 vector :

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

or is it being automatically deduced...?

是的。

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