C----证明数组名不等于&数组名,函数名等于&函数名

在很久我看到这么道题目，如下图：

这是一道很有意思的题目，不少考生看到这道题的第一眼，都认为是一道非常简单的题目，题干简短清晰，代码也没有 函数指针数组，qsort函数题目那么花里胡哨，所以，降低了警惕，抱着轻松心态去做，但这道题得分率却一点都不高，下面我来简单的证明下，若有不对的地方，请各位批评指出，我会做出改正。

首先，这道题的难度并不是很大，确实很简单，考细节颇多，细节分很容易丢。

我们都知道，数组名即为数组首元素的地址。

所以，假设我们定义一个一维数组Array----int Array[10];

那么就有，Array = &Array[0];

所以，我们可得以下代码

#include<stdio.h>


int main()
{
	int Array[10];
	printf("%p\n", Array);
	printf("%p\n", &Array[0]);
    return 0;
}

运行结果：

 所以，在内存中，Array == &Array[0]

但是，假设我有以下表达式：

Array  = &Array;

根据之前的说明，我们好像可以得到以下文字：

数组Array首元素的地址 等于 数组Array的地址

继续简化，可以得到：

数组Array首元素的地址 等于 数组Array最左边元素的地址

即：

数组Array首元素的地址 等于 数组Array首元素的地址

我们居然惊奇的发现，Array == &Array，但是，题目中是Array ！= &Array

这是为什么呢？

是题目错了吗？很显然并不是 。

当我们左右两边同时+1时，即：

Array+1,&Array+1

按理来说，以上表达式应该是指向同一个地址，但是，当我们运行程序时，居然的一个令人震惊的结果。

#include<stdio.h>

int main()
{
	int Array[10];
	printf("%p\n", Array+1);
	printf("%p\n", &Array+1);
    return 0;
}

运行结果：

我们居然可以发现，他们指向不同的地址，并不是我们想象中同一个地址。

他们之间居然相差了24个字节， 这说明了他们所跳的步长不一样，那这是因为什么呢？

我们都知道，Array代表数组首元素的地址，所以，Array可以替换成&Array[0]，这没有问题

但是，&Array，我们来解读下，它的意思是，得到数组Array的地址。

注意：我说的是得到数组Array的地址，并没有说某个元素的地址，所以，&Array得到是整个一维数组的地址。

那为什么Array得到的地址与&Array是一样的呢？

这是因为&Array，是得到数组Array的地址，那么得到的这个地址，是默认从内存空间中最左边开始取，所以，这里取得是第一个元素的地址，这就导致很多人误以为Array与&Array这个表达式是成立的，然而不是的，他们在读法与含义就不同

那么&Array到底跳跃了多少个长度呢

答案是：4*10*1 = 40（Byte），4代表元素的数据类型，10代表数组总长度，1代表数组数量。

我相信，大家如果明白了&Array跳跃计算方式，那么Array跳跃方式也就不需要我过多阐述。

这里给出方式：

而Array跳跃了，4*1*1 = 4（Byte），4代表元素的数据类型，1代表跳跃的元素个数（若+X，那么跳跃x个数量），1代表x个数。

那么，以上就是数组名与&数组名的爱恨情仇，我再来简单的说一下函数名与&函数名。

其实，在这道题中，最好的证明的是函数名与&函数名

因为，当我们定义一个函数时，编译器会为我们函数开辟相对应的栈空间，它是一个内存块，所以，不管是函数名还是&函数名，它都指向函数的起始位置，

就算令函数名+1与&函数名+1，他们都是相等且恒成立。

因为，它是一个内存块，你加了个1后，就是跳跃一个函数的内存字节数，那么这时候编译器就会给出错误，因为，你给一个函数名+1（&函数名+1）都会跳到一个未知内存，而不是属于函数的内存。

那么就有小明问了，既然它跳向一个未知的内存，那么程序不应该给出一个未定义吗？就像数组越界那样，得到一个随机值。

对于这种提问，我的答案是否定的，程序百分之百不会给出随机值，甚至都不能通过编译，我们来看一下错误。

#include<stdio.h>

void test()
{
	int a, b, c;
	int min;
	scanf_s("%d%d%d", &a, &b, &c);
	min = a;
	if (a > b)
	{
		min = b;
	}
	else if (a > c)
	{
		min = c;
	}
	printf("最小值：%d\n", min);



}
int main()
{
	printf("%p\n", test);
	printf("%p\n", &test);
	printf("%p\n", test+1);
	printf("%p\n", &test+1);
}

这里抛出了个错误，我们来看一下

 

那么，什么是E0852    表达式必须是指向完整对象类型的指针？

这里我简单说一下，我们都知道调用一个函数最简单的方式，函数名（实参1,实参2,...）;(也可以没有参数)，这是最原始最简单的函数调用，但这时候我定义了一个指针变量p，我想令p指向函数test，怎么定义呢？非常简单，void (*p)() = test;注意，*p左右两边括号不可省去，省去意思和含义就变了。那怎么调用？也很简单，(p)();或者(*p)();注意，"*"可以省去,在C语言中也只有指针变量在这里的时候，*可以省去，其他用法不可省，这么说不容易理解，下面给出代码演示

#include<stdio.h>
void test()
{
	printf("Hello world!\n");


}
int main()
{
	void(* p)() = test;
	(*p)();
	p();
	test();
	return 0;
}

那么有关这部分内容，就属于C语言---进阶指针内容了，有时间我会为大家出一篇文章做解释，这里大家简单了解即可。

那么，说回正文，每一个函数调用，其实在底层中都是转换为指针形式（为了追求效率），那么我就可以理解为，void (*test)();，那么,加+1，我就理解为下面表达式：

void (*test+1)();，我们可以发现，指针变量+1，我们在指针基础中明确规定，一个指针变量不可以+常数，所以，违反C语言规定，所以，连编译都通不过。

根据上面内容我们就可以得到函数名 = &函数名，这个结论是恒成立的。

总结：

我们用几千字简单的论证了两个结论：

数组名 ！= &数组名

函数名 == &函数名

难点是结论1,希望大家能好好理解，同时，也可以参考函数的指针证明，也去用指针证明数组

结论2不是很难，其实不用指针知识也可以很好论证，只是为了让大家更好理解。

好了，本篇博客到这结束了，再次感谢您能耐心看完，祝您生活愉快！暑假我还会继续更新Python技术博客。