数组做形参的异常问题

今天纠结了一个很基础的问题，也是之前基础不扎实的原因，我们说，如果你的函数形参是数组名，那么系统会将它当作一个指针变量，注意：这里是系统会把它当作一个指针变量，而不是说它就是一个指针变量，于是我这莽夫写出了如下代码：

#include<stdio.h>
int main()
{
	void f(int[], int);
	int a[3] = { 1,2,3 };
	f(a, 3);
	return 0;
}
void f(int *a, int n)
{
	for (int i = 0; i < n; i++)
		printf("%d ", a[i]);
}

结果提示：LNK2019 无法解析的外部符号 “void __cdecl f(int * const,int)” (?f@@YAXQAHH@Z)，该符号在函数 _main 中被引用

为什么出错呢？
答：就是红字捣的鬼，主函数中我的声明是这样的void f(int[], int)，形参1我声明的是数组类型，那么你在定义函数时形参也要写成数组类型，也就是
void f(int a[], int n),但我为什么会定义成指针类型呢，我认为既然在函数中数组名会自动退化成指针，那还那么麻烦的将形参写成数组形式干啥，直接写成指针不就行了，但我忽略了函数声明与函数定义需一致的原则，才会出这种低级错误。

反思

正确的关于数组做形参的说法应该是这样，在保持函数声明和定义的参数类型一直的前提下，若函数形参是数组形式，那么系统，注意是系统它会将这个数组当作一个指针来用，但并非说他就完全是一个指针，不是说此时我可以不管声明中的形参是数组类型还是指针类型而将函数定义中的形参在数组类型和指针类型之间随意切换，一切的一切都要与声明中的形参类型相符，但是，确实有那么一种情况感觉可以看作数组和指针是相等的，请看如下代码

#include<stdio.h>
int main()
{
	void f(int *, int);
	int a[3] = { 1,2,3 };
	f(a, 3);
	return 0;
}
void f(int *a, int n)
{
	for (int i = 0; i < n; i++)
		printf("%d ", a[i]);
}

结果：1 2 3

#include<stdio.h>
int main()
{
	void f(int [], int);
	int a[3] = { 1,2,3 };
	int *p = a;
	f(p, 3);
	return 0;
}
void f(int a[], int n)
{
	for (int i = 0; i < n; i++)
		printf("%d ", a[i]);
}

结果：1 2 3

第一段代码中f函数声明形参1是指针类型，但是实参确是数组名，但由于数组名就是首元素地址，所以传个地址给a当然没有一点问题，这里数组和指针是“相等”的。
第二段代码中f函数声明形参1是个数组类型，但是实参确是指针，在函数调用时形参自动退化为指针，刚好接收形参传来的指针，所以也没问题，也可以看作数组和指针是“相等”的。

总结下来一句话：函数形参必须和声明时一致，所说的数组和指针“相等”仅仅存在于当主函数调用函数时的实参可以写数组名也可以写指针。