对std：：accumple的第三个参数有很好的理由吗？

Question

template <typename FwdIter> inline
auto accumulate(FwdIter begin, FwdIter end) -> std::iterator_traits<FwdIter>::value_type
{
    return std::accumulate(begin, end, std::iterator_traits<FwdIter>::value_type());
}

我可能忽略了什么。为什么这不是std::acculture的现有重载？它的作用是如此明显，不能被忽视；有人有很好的理由使第三个参数成为强制性的。

（另请参见理解std：：accumput--我理解为什么您想要提供初始值的能力，我只是不理解为什么它是强制性的）

Answer 1

以便可以推导模板参数。

该声明是

template< class InputIt, class T >
T accumulate( InputIt first, InputIt last, T init );

而从中推导返回值的唯一参数是init。因为它不必是迭代器的值类型。