这个问题是关于采用静态已知大小的数组的函数。
以下面的最小程序为例:
#include <iostream>
template<size_t N>
void arrfun_a(int a[N])
{
for(size_t i = 0; i < N; ++i)
std::cout << a[i]++ << " ";
}
int main()
{
int a[] = { 1, 2, 3, 4, 5 };
arrfun_a<5>(a);
std::cout << std::endl;
arrfun_a<5>(a);
return 0;
}
运行时打印预期结果:
2 3 4 5 6
3 4 5 6 7
但是,当我试图让我的编译器 (VS 2010) 推断出 5
时,它无法从“int [5]”推断出“int [n]”的模板参数
。
一些研究导致了更新的 arrfun_b
,其中模板参数推导有效:
template<size_t n>
void arrfun_b(int (&a)[n])
{
for(size_t i = 0; i < n; ++i)
std::cout << ++(a[i]) << std::endl;
}
无论调用arrfun_a
还是调用arrfun_b
,程序的结果都是一样的。
到目前为止,我发现的唯一区别是模板参数推导是否有效,以及是否可以使用非 5 的 N 调用函数...
最佳答案
编译器默默地将函数参数的类型 int a[N]
更改为 int *a
并因此丢失了数组的大小。 int(&a)[5]
是对大小为 5 的数组的真正引用,不能传递任何其他大小的数组。
关于c++ - int a[5]和int(&a)[5]在模板参数推导上的区别,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/10505259/