第三节——从深层剖析指针(让你不再害怕指针)

1.数组名的理解

1.1问题导入

#include <stdio.h>

 int main()
 {
   int arr[10] = { 1,2,3,4,5,6,7,8,9,10 };
   printf("&arr[0] = %p\n", &arr[0]);
   printf("arr     = %p\n", arr);
   return 0;
 }

可以发现数组名和数组首元素的地址打印出的结果⼀模⼀样，数组名就是数组首元素(第⼀个元素)的地址。

既然数组名是数组首元素的地址，那下面的代码怎么理解呢？

#include <stdio.h>

int main()
{
   int arr[10] = { 1,2,3,4,5,6,7,8,9,10 };
   printf("%d\n", sizeof(arr));
   return 0;
}

如果数组名就是数组首元素的地址，那么sizeof计算应为4字节才对，
为何打印出来是40呢？
两个例外：sizeof(数组名)和&数组名。

---

1.2特例：sizeof、&数组名

• sizeof(数组名)，sizeof中单独放数组名，这里的数组名表示整个数组，计算的是整个数组的大小，单位是字节。

• &数组名，这里的数组名表示整个数组，取出的是整个数组的地址（整个数组的地址和数组首元素的地址是有区别的）除此之外，任何地方使用数组名，数组名都表示首元素的地址。

那arr和&arr有啥区别呢？

#include <stdio.h>

int main()
{
   int arr[10] = { 1,2,3,4,5,6,7,8,9,10 };
   printf("&arr[0]   = %p\n", &arr[0]);
   printf("&arr[0]+1 = %p\n", &arr[0]+1);
   printf("arr       = %p\n", arr);
   printf("arr+1     = %p\n", arr+1);
   printf("&arr      = %p\n", &arr);
   printf("&arr+1    = %p\n", &arr+1);
   return 0;
}

在x86环境下输出结果

我们发现==&arr[0]和&arr[0]+1相差4个字节==，arr和arr+1相差4个字节，是因为&arr[0]和arr都是首元素的地址，+1就是跳过⼀个元素(对应4个字节)。
但是&arr和&arr+1相差40个字节，这就是因为&arr是数组的地址，+1操作是跳过整个数组的。

因此，只有sizeof(数组名)和&数组名是需要特别记忆的。

---

2.指针访问数组、一维数组传参本质、二级指针

2.1指针访问数组

其实arr[i]也可以写成i[arr]，但不推荐这种写法(仅作了解)

---

2.2一维数组传参本质

2.2.1问题导入

我们之前都是在函数外部计算数组的元素个数，那我们可以把数组传给⼀个函数后，函数内部求数组的元素个数吗？

#include <stdio.h>

void test(int arr[])
{
    int sz2 = sizeof(arr)/sizeof(arr[0]);
    printf("sz2 = %d\n", sz2);
}

int main()
{
    int arr[10] = {1,2,3,4,5,6,7,8,9,10};
    int sz1 = sizeof(arr)/sizeof(arr[0]);
    printf("sz1 = %d\n", sz1);
    test(arr);
    return 0;
}

可以发现在函数内部是没有正确获得数组的元素个数。
在函数内部我们写sizeof(arr) 计算的是⼀个地址的大小（单位字节）而不是数组的大小（单位字节）。正是因为函数的参数部分是本质是指针，所以在函数内部是没办法求的数组元素个数的。

总结：⼀维数组传参，形参的部分可以写成数组的形式，也可以写成指针的形式。

---

2.3二级指针

指针变量也是变量，是变量就有地址，那指针变量的地址存放在哪⾥？
这就是⼆级指针。

---

3.冒泡排序

排序的算法有：
1.冒泡排序
2.插入排序
3.选择排序
4.快速排序
…

假设有10个乱序数字，需要将其排列成升序

如此重复下去，我们发现需要总共需要9趟(一个元素与向右的元素进行比较，直到比较结束，称为一趟)。

---

代码实现

冒泡排序
void print(int arr[], int sz)
{
	int i = 0;
	for (i = 0;i < sz;i++)
	{
		printf("%d ", arr[i]);
	}
}

void bubble_sort(int arr[], int sz)
{
	int i = 0;
	for (i = 0;i < sz - 1;i++)
	{
		int j = 0;
		for (j = 0;j < sz - 1 - i;j++)
		{
			if (arr[j] > arr[j + 1])
			{
				int tmp = arr[j + 1];
				arr[j + 1] = arr[j];
				arr[j] = tmp;
			}
		}
	}
}

int main()
{
	int arr[10] = { 2,3,1,5,7,10,4,8,9,6 };
	int sz = sizeof(arr) / sizeof(arr[0]);
	bubble_sort(arr, sz);
	print(arr, sz);
	return 0;
}

当然，我们发现两两元素比较都是要直到结束，这相当耗费时间，因此这段代码还可以进行优化。

优化冒泡排序
void bubble_sort(int arr[], int sz)
{
	int i = 0;
	int flag = 1;
	for (i = 0;i < sz - 1;i++)
	{
		int j = 0;
		for (j = 0;j < sz - 1 - i;j++)
		{
			if (arr[j] > arr[j + 1])
			{
				int tmp = arr[j];
				arr[j] = arr[j + 1];
				arr[j + 1] = tmp;
				flag = 0;
			}
		}
	}
}
...

当然，学了qsort之后能极大简化上面的代码(之后会详细讲解)。

---

4.指针数组

char* arr3[10]; //存放字符指针的数组
int *arr4[7]; //存放整形指针的数组

那指针数组呢？是存放指针的还是存放数组的呢？

是存放指针的数组。

---

指针数组模拟二维数组

二维数组的表示

#include<stdio.h>

int main()
{
	int arr[3][5] = { {1,2,3,4,5},{2,3,4,5,6},{3,4,5,6,7} };
	int i = 0;
	for (i = 0;i < 3;i++)
	{
		int j = 0;
		for (j = 0;j < 5;j++)
		{
			printf("%d ", arr[i][j]);
		}
		printf("\n");
	}
	return 0;
}

指针数组模拟二维数组

int main()
{
	int arr1[] = { 1,2,3,4,5 };
	int arr2[] = { 2,3,4,5,6 };
	int arr3[] = { 3,4,5,6,7 };

	int* arr[] = { arr1,arr2,arr3 };
	int i = 0;
	for (i = 0;i < 3;i++)
	{
		int j = 0;
		for (j = 0;j < 5;j++)
		{
			printf("%d ", arr[i][j]);
		}
		printf("\n");
	}

	return 0;
}

因此，我们对二维数组又多了一种写法，是不是逐渐发现指针的重要性了。