C语言中数组退化的一种情况——作为函数参数

一、问题引入

假设我需要建立一个数据结构来存放多项式的值，多项式的每一项有两个信息：幂（Exponent）、系数（Coeficient）。我们自然而然地会想到顺序存储结构，我们可以用一个数组，以下标表示幂，以数组每个成员的值表示系数。但是当多项式的最高次幂很大，其中大部分幂的系数为零时，这种数据结构就不合理了。因此我们想到如下的结构数组：

typedef struct 
{
	int expon;
	int coef;
}poly;

假设我们有两个这样的结构数组用以表示多项式，当我们要计算两个多项式相加之后的多项式时，首先肯定是要遍历两个结构数组。当结构数组的长度未知或是不易直接看出时，我们首先想到的是用sizeof（）来求数组的长度。

int length_P1 = sizeof(P1)/sizeof(poly);
int length_P2 = sizeof(P2)/sizeof(poly);

有了这步操作，自然而然地想到以一个函数把计算长度的过程封装起来。

int Get_len(poly tmp[])
{
	return sizeof(tmp)/sizeof(poly);
}

至于这个函数有没有用呢，我们测试一下：

printf("%d %d\n",Get_len(P1),Get_len(P2));

结果代码跑出来的结果是两个零，这显然不是结构数组的长度。

那么问题出在哪儿呢？
我们用printf打印一下每一步的值

int Get_len(poly tmp[])
{
	printf("sizeof(tmp) is %d\n",sizeof(tmp));
	return sizeof(tmp)/sizeof(poly);
}
int main(void)
{
	printf("%d\n",sizeof(P1));
	printf("%d\n",sizeof(poly));
	printf("%d\n",Get_len(P1));
}

结果就一目了然了。

二、结论

数组名作为函数的形参时会退化为指针