如果通过模板函数中的常量引用传递数组，则数组不会衰减为指针
如果通过模板函数中的常量引用传递数组，则数组不会衰减为指针
提问于 2011-08-24 22:31:39
这个问题来自于这个问题：
c++ pass array to function question
但由于操作员接受了答案，我猜现在没有人会读它了。
我在g++上尝试了这段代码。在传递给此函数时，数组似乎不会衰减为指针(该函数返回正确的结果)：
#include <iostream>
template <typename T>
std::size_t size_of_array (T const & array)
{
return sizeof (array) / sizeof (*array);
}
int main ()
{
int a [5];
std::cout << size_of_array (a) << '\n';
}另一位用户(锐齿)说，他在VC++ 10上有同样的行为，内联关闭。
有人能解释一下吗？谢谢。
回答 2
Stack Overflow用户
回答已采纳
发布于 2011-08-24 22:36:51
数组衰减不是偶然发生的--只有在没有数组衰减的情况下程序无法编译时才会发生。当您通过引用传递数组时，根本不需要衰减。
注意，函数模板也可以在不划分难看的sizeof表达式的情况下编写：
template <typename T, std::size_t N>
std::size_t size_of_array(T (&array)[N])
{
return N;
}当客户端调用size_of_array时，模板机制会自动推导出T和N。
Stack Overflow用户
发布于 2011-08-24 22:35:18
您还没有编写接受指针的函数，您编写它是为了接受传递给它的argement类型的const引用。仅当您尝试将数组的值赋给指针时，才会发生指针衰减。
页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持
原文链接：
https://stackoverflow.com/questions/7177221
复制相关文章
相似问题
腾讯云开发者
