关于将数组长度传入函数的一些探讨

最新推荐文章于 2023-04-23 22:39:58 发布

谢符宝

最新推荐文章于 2023-04-23 22:39:58 发布

阅读量879

点赞数 2

本文链接：https://blog.csdn.net/xiefubao/article/details/18361763

版权

清明时节雨纷纷，似乎又应验这句老话，反正西安是这样的。

由于清明放假，晚上就剩下自己一个人在宿舍了。没有太多不同，最突出的感觉只是多了份宁静和平和。看了些关于万进制高精度的打印资料，突然又联想起了前几天一直思考的关于将数组长度传入函数的问题，总结了一下。

把数组传入函数是个很常见的语言现象。同时将数组长度传入函数，这似乎是个根本算不上问题的问题。但是随着考虑的侧重点的偏移，也许会有更多的收获。

最常见的做法就是将函数多加一个整型参数，在调用时就将数组长度通过值传递直接传入函数了。例：void function(double *array,int length).毋庸置疑，这是最简单和普遍的做法。但是，数组作为一个特殊内置类型的数据结构似乎被特权化了。能不能只用一个形参就将数组的足够多信息（即首地址和长度）传入进函数呢？可能最先想到的是，先将首地址传入，然后调用sizeof()操作符进行长度计算。好像是个办法，但只有编译后才能真正见分晓。

#include

using namespace std;

void function(double *p)

{

cout<<sizeof(p)<<endl;//尝试输出首地址为p的双精度数组的长度。

}

int main()

{

double array[10];

cout<<sizeof(array)<<endl;//尝试输出首地址为array的双精度数组的长度。

function(array);

return 0;

}

double型数据的长度8个字符，长度为10的double数组在内存中占用空间就为80个字节。如果结果正确，应该会输出两个80。可惜只输出个4。问题其实就出在自动转型上面。在主main中，array虽然同时相当于一个double地址的功能，但是更重要的是它是个数组名，它携带着数组长度的信息。但是当进栈传入到函数时，用个double指针p接受只不过是将首地址赋给了p。所以操作符sizeof(p)显示4，也就理所应当了。因为各类型的指针本身在内存中所占用的空间都是4个字节。

sizeof()操作符用不上后，记得当时自己尝试了用数组名引用。希望将p牢牢等效于array，下面是修改后的代码（由于array是个地址常量，所以在引用传递时要加上const防止非法权限扩张）。

#include

using namespace std;

void function(double *const & p)

{

cout<<sizeof(p)<<endl;//尝试输出首地址为p的双精度数组的长度。

}

int main()

{

double array[10];

cout<<sizeof(array)<<endl;//尝试输出首地址为array的双精度数组的长度。

function(array);

return 0;

}

但是输出的结果依然是80和4，不是想象中的两个80。又尝试将形参类型改为double (&p)[],

但是未通过编译，显示error：parameter ‘p’ includes reference to array of unknow bound ‘double[]’.编译器要p的长度（shit，数组引用长度缺省状态下自动传不进去！！！）。这种形参本身就是不合法的。

尝试将形参改为了double (&p)[10]（卧槽，设置这样没实用意义的形参，几乎是在苦苦哀求GNU GCC编译器显示想要的结果了。。。）。哀求算是有回报了，结果显示了想要的80，可是哪个函数愿意把形参设置为double (&p)[10]而来摧残自己的实用性呢？

但是尝试到这里还是有收获的，起码通过double p[],double p[10],double (&p)[],和double(&p)[10]这四种情况，我们可以看到，当形参为数组变量时，实参数组变量与形参数组变量没有长度上的适配要求，只不过代价就是传过去的只是单纯的一个数组首地址。然而，换做形参数组引用时，编译器便要求做长度匹配（如果是double (&p)[5],这时便会出现调用编译错误），给你的好处就是，在函数中数组引用p完全等效于主main中的array。