通过引用传递数组到C ++中的模板函数

Question

下面的代码对我来说很好用。

#include <iostream>
using namespace std;

template<class T>
T sum_array(T (&a)[10], int size)
{
    T result=0;
    for(int i=0; i<size; i++)
    {
        result = a[i] + result;
    }
    return result;
}

int main()
{
    int a[10] = {0,1,2,3,4,5,6,7,8,9};
    cout<<sum_array(a, 10)<<endl;
    double d[10] = {1.1,1.1,1.1,1.1,1.1,1.1,1.1,1.1,1.1,1.1};
    cout<<sum_array(d, 10)<<endl;
    cin.get();
}

但是，如果尝试通过删除函数如下所示的数组大小使我的函数更通用，则会出现错误，提示没有函数模板实例。

template<class T>
T sum_array(T (&a)[], int size)
{
    T result=0;
    for(int i=0; i<size; i++)
    {
        result = a[i] + result;
    }
    return result;
}

同时，如果我删除了如下所示的引用，它也可以正常工作。

template<class T>
T sum_array(T a[], int size)
{
    T result=0;
    for(int i=0; i<size; i++)
    {
        result = a[i] + result;
    }
    return result;
}

我对模板比较陌生，能否请您解释以上行为。

Answer 1

在功能参数中， []（内部无维）只是指针的替代语法，因为数组在传递给函数时会衰减为指针，除非它们通过引用传递。

这意味着您的工作通用模板（带有的模板T a[]）与完全相同T a*。如果无论如何在运行时传递大小，一切都很好，您可以使用它（它可以用于未声明为数组的其他事物，例如的返回值std::string::c_str()）。

但是，如果您想对临时模板进行泛化但仍将其限制为实际数组，则可以执行以下操作：

template<class T, size_t N>
T sum_array(T (&a)[N], int size)
{
    T result=0;
    for(int i=0; i<size; i++)
    {
        result = a[i] + result;
    }
    return result;
}

这样，只能传递一个真正的数组，但是将推导其类型T和长度N。根据您的用例，size在这种情况下您可能会删除参数。