c++ - 没有指定模板参数但仍然有效

Question

这是 STL make_heap 的函数声明，它期望随机访问迭代器作为参数

template <class RandomAccessIterator>
    void make_heap (RandomAccessIterator first, RandomAccessIterator last); 

但是当我们调用它时:

 std::make_heap (v.begin(),v.end());

我们不指定模板参数。为什么会这样……？

C++ 是否会自动检测我们在函数调用中传递的数据类型...？

这是隐式类型转换 ...吗？

Answer 1

根据函数参数确定模板参数的过程称为模板参数推导。

来自 C++ 标准

14.8.2 模板参数推导

1 When a function template specialization is referenced, all of the template arguments shall have values. The values can be explicitly specified or, in some cases, be deduced from the use or obtained from default template-arguments.

[示例:

void f(Array<dcomplex>& cv, Array<int>& ci) {
sort(cv); // calls sort(Array<dcomplex>&)
sort(ci); // calls sort(Array<int>&)
}