在模板中奇怪地使用std:：accumulate

Question

我在旧版本的C Cookbook中看到了这段代码，这让我很困惑。这似乎是编译，但我不知道为什么代码会这样写。

T（）是什么意思？这是std:：accumulate的init参数——开始求和的值。我编写了一个版本，其中我将double（）替换为T（）（以“硬连线”模板），然后它进行编译。double（）是什么意思？

#include <iostream>
#include <numeric> // accumulate
#include <vector>

template<class T, class Iter_T>
void computeAccum(Iter_T first, Iter_T last, T& accum)
{
    accum = std::accumulate(first, last, T()); // Why is init argument equal to T()?
}

int main()
{
    std::vector<double> vd;
    vd.push_back(1.11);
    vd.push_back(2.22);
    vd.push_back(4.44);
    vd.push_back(3.33);
    double sum1;
    std::cout << "Here is the vector:" << std::endl;
    std::vector<double> ::iterator it;
    for (it = vd.begin(); it != vd.end(); ++it) {
        std::cout << *it << std::endl;
    }

    computeAccum2(vd.begin(), vd.end(), sum1);
    std::cout << "Answer: " << sum1 << std::endl;
}

Answer 1

基本上是零初始化。考虑这个例子来澄清

#include <bits/stdc++.h> 
using namespace std;

int main(){
    cout<<"Int: "<<int()<<endl;
    cout<<"Float: "<<float()<<endl;
    cout<<"String: "<<string();
}

输出：

Int: 0
Float: 0
String: 

Answer 2

这个累加器的变体有三个参数，范围中的第一个和最后一个元素，以及开始时的初始值（下面这个特定的原型是C20的，尽管早期的原型是相似的，只是少了CONSTEXR善）：

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

它允许你积累到已经开始的东西。因此，如果将值3和4累加起来，初始值为22，最终值将为28。这样做的原因是，您可能希望积累一组特定的数据，然后再积累更多的数据。通过使用初始起始值，可以在单个项目中进行多次累加。

在这种情况下，T（）只是模板类型的默认构造的初始元素，基本上是您使用的任何类型的“零”值。