c++ stl函数模板类型推导答案

【问题标题】：c++ stl functions template type deductionc++ stl函数模板类型推导
【发布时间】：2017-06-22 11:28:26
【问题描述】：

我一直在四处寻找，并为 std::algorithm 编写一些基本示例，出于某种原因，我从来没有觉得它们像这样工作很奇怪：

#include <vector>
#include <algorithm>
int main(){
  std::vector<int> vec;
  vec.resize( 100 );

  std::generate( std::begin( vec ), std::end( vec ), std::rand );   
  auto element = std::max_element( std::begin( vec ), std::end( vec ) );
}

为什么不需要这样的模板参数：

std::generate<std::vector<int>::iterator>( ... 
std::max_element<std::vector<int>::iterator>( ...

【问题讨论】：

你的标题已经有了答案...std::being(vec)是std::vector<int>::iterator，所以不需要再告诉编译器
我不确定你在问什么。您是在问为什么不需要为 generate() 和 max_element 显式定义迭代器？ std::begin 和 std::end 返回迭代器，向量的类型包含在 vec 中。

标签： c++ templates stl

【解决方案1】：

看看std::generate可能的实现：

template<class ForwardIt, class Generator>
void generate(ForwardIt first, ForwardIt last, Generator g)
{
    while (first != last) {
        *first++ = g();
    }
}

这里ForwardIt类型是编译器从first和last参数推导出来的。

然后，std::begin 和 std::end 函数都返回容器的迭代器。在您的情况下，这些是 std::vector 迭代器。

因此，ForwardIt 被推断为 std::vector 迭代器的一种类型，您不必显式指定它。

同样的逻辑也适用于其他算法。

【讨论】：

@Zlatomir 感谢您以更好的措辞提供答案）

【解决方案2】：

std::begin 和 std::end 返回迭代器，因此您无需明确告诉编译器。此外，当您将向量作为参数传递给这两个函数时，编译器将知道模板参数。

【讨论】：