使用C++模板函数求数组和结果异常，如何正确计算数组长度？

问题根源 #

你遇到的核心问题是数组作为函数参数时会退化为指针。在你的add函数中，T a[]的写法本质上等价于T* a，此时sizeof(a)获取的是指针的大小（64位系统中为8字节），而非数组的总字节数。这就导致你计算的len完全错误：

• 对于int x[]，sizeof(a)/sizeof(T) = 8/4 = 2，循环只执行2次，求和1+2=3；
• 对于double d[]，sizeof(a)/sizeof(T) = 8/8 = 1，循环只执行1次，求和1.2。

修复方案（模板前提下） #

利用C++模板的参数推导特性，直接让编译器推导数组的长度，避免手动计算。修改后的代码如下：

#include <iostream>
using namespace std;

template<class T, size_t N>
T add(const T (&a)[N]) {
    T sum = 0;
    for (size_t i = 0; i < N; ++i) {
        sum += a[i];
    }
    return sum;
}

int main() {
    int x[] = {1,2,3,4,5};
    double d[] = {1.2, 2.3, 4.5, 4.5, 5.6, 6.7};
    cout << "sum of x[] = " << add(x) << endl; // 输出15
    cout << "sum of d[] = " << add(d) << endl; // 输出23.7
}

方案说明 #

• 使用const T (&a)[N]作为函数参数：这是对数组的引用，避免了数组退化为指针的问题；
• 模板参数size_t N：编译器会自动推导数组的元素个数，无需手动计算长度；
• const修饰：保证函数不会修改原数组，提升代码安全性。

其他可选方案（C++11及以上） #

如果你愿意使用标准库容器，可以用std::array替代原生数组，结合模板同样能实现安全的求和：

#include <iostream>
#include <array>
using namespace std;

template<class T, size_t N>
T add(const array<T, N>& arr) {
    T sum = 0;
    for (const auto& elem : arr) {
        sum += elem;
    }
    return sum;
}

int main() {
    array<int, 5> x = {1,2,3,4,5};
    array<double, 6> d = {1.2, 2.3, 4.5, 4.5, 5.6, 6.7};
    cout << "sum of x[] = " << add(x) << endl;
    cout << "sum of d[] = " << add(d) << endl;
}

内容的提问来源于stack exchange，提问作者RhoYunSeok