C++ 函数模板格式

只是有一个关于类模板的问题：

对于以下代码，该函数运行完全正常，但我很困惑为什么/如何在不提供迭代器的类/类型的情况下运行填充函数（为什么不需要提供迭代器类型）：

#include <vector>
#include <iostream>
#include <typeinfo>

template<typename Iter>
void fill(Iter first, Iter limit, int value){
  while (first != limit) {
    *first = value;
    ++first;
  }
}
int main() {
  std::vector<int> vec1 {2, 4, 6, 1, 9};
  fill(vec1.begin(), vec1.end(), 7);
}

无论如何，我的实际问题如下：

我只是想做template <typename Iter, typename A>，所以我可以指定函数中值变量的数据类型（而不是必须在函数模板中显式命名 int）

然而，当我尝试fill<int>(...)按照这个思路，程序根本无法正确编译：

#include <vector>
#include <iostream>
#include <typeinfo>

template<typename Iter, typename A>
void fill(Iter first, Iter limit, A value){
  while (first != limit) {
    *first = value;
    ++first;
  }
}
int main() {
  std::vector<int> vec1 {2, 4, 6, 1, 9};
  fill<int>(vec1.begin(), vec1.end(), 7);
}

基本上我只是好奇如何更改模板以允许单个fill<datatype of value>(arg1,arg2...)函数仍然正确接受迭代器而无需显式命名它们。

Thanks!

edit: 最终使用::fill！谢谢大家提供的知识和信息！

你的实际问题

您将第二个函数模板称为错误的。如果您想指定特定的模板参数，则必须在您真正想要指定的参数之前指定每个参数。

e.g.

fill<std::vector<int>::iterator, int>(std::begin(vec), std::end(vec), 5);

即使这样你的代码也无法编译。

第二个原型无法编译的原因是 ADL 正在寻找另一个名为fill内std命名空间与您的原型具有相同的原型，并且无法决定是否使用您的版本或其中的版本std。要解决这个问题，只需调用fill像这样：

::fill(vec.begin(), vec.end(), 5);

这是明确调用fill在全局命名空间中。

你的第一个问题：

函数模板之所以被称为函数模板，是因为它实际上是一个模板，将用于编译器将要使用的实际函数，或者您将显式实例化的函数。

编译器计算出调用站点的参数类型，并根据该类型调用函数模板的正确实例化。

它类似于函数参数重载。

例如。这：

template<typename T>
auto fn(T arg){
    std::cout << arg << std::endl;
}

auto main() -> int{
    fn(1); // compiler sees you pass an int
    fn(1.0); // compiler sees you pass a double
}

与此相同：

auto fn(int i){
    std::cout << i << std::endl;
}

auto fn(double d){ // heh, double d
    std::cout << d << std::endl;
}

auto main() -> int{
    fn(1);
    fn(1.0);
}