迭代器的模板参数:函数在被调用时推断类型？

Question

在cppreference.com的std::inplace_merge页面中，给出了一个使用inplace_merge进行合并排序的示例。我的问题与他们为迭代器类型实现合并排序和模板参数的方式有关。

当它在main函数中调用merge_sort时，不会传入任何参数来告知我们使用的是哪种迭代器。然而，我已经编译了这段代码，它运行得很好。为什么你不用告诉merge_sort我们用的是哪种迭代器呢？你怎么能这么做呢？

#include <vector>
#include <iostream>
#include <algorithm>

template<class Iter>
void merge_sort(Iter first, Iter last)
{
    if (last - first > 1) {
        Iter middle = first + (last - first) / 2;
        merge_sort(first, middle);
        merge_sort(middle, last);
        std::inplace_merge(first, middle, last);
    }
}

int main()
{
    std::vector<int> v{8, 2, -2, 0, 11, 11, 1, 7, 3};
    merge_sort(v.begin(), v.end());  // <----------------- ?
    for(auto n : v) {
        std::cout << n << ' ';
    }
    std::cout << '\n';
}

Answer 1

这是由于Template argument: deduction造成的

为了实例化函数模板，每个模板参数都必须是已知的，必须指定，但不是每个模板参数都必须指定。在可能的情况下，编译器将从函数参数中推断出缺少的模板参数。当尝试函数调用时，当获取函数模板的地址时，以及在某些其他上下文中，就会发生这种情况。