27、指针和数组分析（下）

1、问题

数组名可以当做指针来使用，那么指针是否可以当做数组名来使用？

2、下标形式 VS 指针形式

a[n] = *(a+n) = *(n+a) = n[a]

#include <stdio.h>

int main()
{
	int a[5] = { 0 };
	int* p = a;
	int i = 0;

	for (int i = 0; i < 5; i++)
	{
		p[i] = i + 1;
	}

	for (int i = 0; i < 5; i++)
	{
		printf("a[%d] = %d\n", i, *(a + i));
	}
	printf("\n");

	for (int i = 0; i < 5; i++)
	{
		i[a] = i + 10;
	}

	for (int i = 0; i < 5; i++)
	{
		printf("p[%d] = %d\n", i, p[i]);
	}
	printf("\n");

	return 0;
}

通过这个程序，可以初步解答开始提出的问题，只要一个指针指向了这个数组，这个指针可以当做数组名来使用。

重点：数组名只不过在某些情况当做指针使用，但数组名不是指针。

3、a 和 &a 的区别

• a为数组首元素的地址
• &a为整个数组的地址
• a和&a的区别在于指针运算

a + 1 ⇒（unsigned int）a + sizeof(*a)
&a+1 ⇒（unsigned int）&a + sizeof(a)

4、经典的笔试题

#include <stdio.h>

int main()
{
	int a[5] = { 1,2,3,4,5 };
	int* p1 = (int*)(&a + 1);		
	int* p2 = (int*)((int)a + 1);		
	int* p3 = (int*)(a + 1);		

	printf("%d,%d,%d\n", p1[-1], p2[0], p3[1]);		//负数可以作为下标使用
	
	return 0;
}
//A、数组下标不能是负数，程序无法运行
//B、p1[-1]将输出随机数，p2[0]输出2，p3[1]输出3
//C、p1[-1]将输出乱码，p2[0]和p3[1]输出2

其实p1[-1], p3[1]这两个的答案还是很容易算的，区别在于a+1和&a+1有什么区别？问题在于是如何算 p2[0]。

分析：
小端系统低地址放在低位，在里面存放的01、00…02等都是内存中一个字节的16进制缩写。

int* p2 = (int*)((int)a + 1);这里的意思就是把一个指针变量强制转换成一个整型值，相当于内存地址加1.

对于 int* p2 = (int*)((int)a + 1)，p2指向的是图中红框的4个字节的首地址
因为02是高地址，所以写成0x02000000，转化为10进制为33554432
从这里我们可以推断，每个地址内部都存放一个字节的内容。

如果是大端系统，低地址放在高位，00 00 00 01 00 00 00 02…
所以就为0x00 01 00 00,转化为10进制就为65536

很多人看完后会觉得数组怎么会有负数，可以这样理解，*(p-1)

5、数组参数

• 数组作为函数参数时，编译器将其编译成对应的指针

void f(int a[]);   = void f(int* a)
void f(int a[5]);  = void f(int* a)

程序：

#include <stdio.h>
void func1(char a[5])
{
	printf("sizeof(a) = %d\n", sizeof(a));
	*a = 'a';
	a = NULL;
}

void func2(char b[])
{
	printf("sizeof(b) = %d\n", sizeof(b));
	*b = 'b';
	b = NULL;
}
int main()
{
	char array[10] = { 0 };
	func1(array);
	printf("array[0] = %c\n", array[0]);

	func2(array);
	printf("array[0] = %c\n", array[0]);

	return 0;	
}

其实这个程序还是有点东西的，首先主函数里面定义char array[10] ，但是在func1（）里面的参数为char a[5]，如果参数代表数组，那么a = NULL；这句语句就会报错，因为数组名不能作为左值使用。但是事实上程序可以编译和运行通过，于是，我们推断，函数的数组参数不代表数组，而代表指针，证明方式可以通过程序中的sizeof(a) = 4和sizeof(b) = 4来论证。

其次，这里还涉及到传值调用和传址调用的区别，下面其实就是一个传值调用，所以对我源程序根本没有影响

但是 *a = ‘a’ 这句是传址调用，会把第一个值改成 ‘a’
所以编译器里面不存在数组参数是数组，数组参数本质就是指针，会退化为指针。