迭代器的模板参数：函数在调用时推断类型？答案

【问题标题】：Template argument for iterators: function infers type when called?迭代器的模板参数：函数在调用时推断类型？
【发布时间】：2019-10-07 04:31:29
【问题描述】：

在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';
}

【问题讨论】：

这叫做模板参数推导。
您好，您不必在for (auto n : v) 中说明您需要哪种类型的n？魔法！
谢谢@L.F.，这就是我所需要的

标签： c++ templates iterator

【解决方案1】：

这是因为Template argument: deduction

为了实例化函数模板，每个模板参数必须知道，但不是必须指定每个模板参数。 如果可能，编译器会推断出缺少的模板参数从函数参数。这发生在函数调用尝试，当一个函数模板的地址被取走时，并且在其他一些上下文。

【讨论】：