目录
1.数组名的理解
对于数组名,我们通常是认为数组名是地址,并且是数组首元素的地址,所以我们这里来做一个测试,来验证一下,这句话对不对。
int main()
{
int arr[10] = { 1,2,3,4,5,6,7,8,9 };
printf("&arr[0]=%p\n", &arr[0]);
printf("&arr=%p", &arr);
return 0;
}
运行结果
这样,我们发现数组名和数组首元素的地址打印出来是一样的结果,那么我们就可以得出结论,数组名就是数组首元素(第一个元素)的地址.
但是,数组名如果是数组首元素的地址,那下面的代码应该怎么理解呢?
int main()
{
int arr[10] = { 1,2,3,4,5,6,7,8,9 };
printf("%d\n", sizeof(arr));
return 0;
}
输出的结果是: 40 ,如果arr是数组首元素的地址,那输出应该是4 或者 8 才对啊。
这时我们再尝试一下这个代码
int main()
{
int arr[10] = { 1,2,3,4,5,6,7,8,9 };
printf("%d\n", sizeof(arr[0]));
return 0;
}
输出结果是: 4,
其实数组名就是数组首元素(第一个元素)的地址是对的,但是有两个例外:
- sizeof(数组名), sizeof 中单独放数组名,这里的数组名表示整个数组,计算的是整个数组的大小,单位是字节。
- &数组名,这里的数组名表示整个数组,取出的是整个数组的地址(虽然输出出来和数组首元素地址是相同的,但是两者是有本质的区别的)
除此之外,任何地方使用数组名,数组名都表示首元素的地址。
这时我们测试一下代码
int main()
{
int arr[10] = { 1,2,3,4,5,6,7,8,9 };
printf("&arr[0] = %p\n", &arr[0]);
printf("arr = %p\n", arr);
printf("&arr = %p\n", &arr);
return 0;
}
就会发现他们三个的打印结果是一摸一样的,所以他们到底有什么区别呢?
我们再看一下下面这个代码,就会明白他们之间的区别
int main()
{
int arr[10] = { 1,2,3,4,5,6,7,8,9 };
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;
}
运行结果:
这里我们发现&arr[0]和&arr[0]+1相差4个字节,arr和arr+1 也相差4个字节,因为%arr[0]和arr本质上都是首元素的地址,+1就是跳过一个元素,而一个元素是int类型,也就是4个字节。
但是&arr和&arr+1却相差40个字节(0x28就是40),这是因为&arr是数组的地址,+1操作时跳过整个数组的。
所以这就是数组名的意义。
数组名是数组首元素的地址,但是有2个例外。
2.使用指针访问数组
有了前面知识的支持,再结合数组的特点,我们就可以很方便的使用指针访问数组了。
int main()
{
int arr[10] = { 1,2,3,4,5,6,7,8,9 };
int i = 0;
int sz = sizeof(arr) / sizeof(arr[0]);
int* p = arr;
for (int i = 0; i < sz; i++) printf("%d ", *(p + i));
return 0;
}
输出的地方,将*(p+i) 换成p[i]也是能够正常打印的,其实本质上p[i]是等价于*(p+i),.
数组元素的访问在编译器处理的时候,也是转换成首元素的地址+偏移量求出元素的地址,然后解引用来访问。
3.一维数组传参的本质
首先从一个问题开始,我们之前通过函数输出数组的时候,都是在函数外部计算数组个数,然后将其作为一个参数,传递给函数来进行输出数组,那么,我们可以把数组传给一个函数后,在函数内部求数组的元素个数吗?
void test(int arr[])
{
int sz2 = sizeof(arr) / sizeof(arr[0]);
printf("sz2 = %d", sz2);
}
int main()
{
int arr[10] = { 1,2,3,4,5,6,7,8,9 };
int sz = sizeof(arr) / sizeof(arr[0]);
printf("sz = %d\n", sz);
test(arr);
}
运行结果:
我们发现在函数内部是没有正确获得数组的元素个数。
这涉及到了数组传参的本质了,上一小节我们学习了:数组名是数组首元素的地址;那么在数组传参的时候,传递到的是数组名,且不涉及我们所说的两种例外,也就是说本质上数组传参本质上传递的是数组首元素的地址。
所以函数形参的部分 理论上应该使用指针变量来接受首元素的地址。那么在函数内部我们写sizeof(arr)计算的是一个地址的大小(单位,字节) 而不是数组的大小(单位,字节)。正是因为函数的参数部分本质是指针,所以在函数内部是没有办法求数组元素个数的。
void test(int arr[]) //数组形式,本质上还是指针
{
printf("%d", sizeof arr);
}
int main()
{
int arr[10] = { 1,2,3,4,5,6,7,8,9 };
test(arr);
}
void test(int* arr)
{
printf("%d", sizeof arr);
}
int main()
{
int arr[10] = { 1,2,3,4,5,6,7,8,9 };
test(arr);
}
总结: 一维数组传参,本质上传的是数组首元素地址并非整个数组的指针,类型是指针,所以形参部分可以写成数组的形式,也可以写成指针的形式。
4.冒泡排序
核心思想:两两相邻的元素进行比较。
void bubble_sort(int* arr, int sz)
{
for (int i = 0; i < sz - 1; i++) //只用执行n-1次就可以保证有序
{
int flag = 1;
int j = 0;
for (int j = 0; j < sz - 1 - i; j++)
{
if (arr[j] > arr[j + 1])
{
flag = 0;
int temp = arr[j];
arr[j] = arr[j + 1];
arr[j + 1] = temp;
}
}
if (flag) break;
//循环一遍之后,如果flag没变的话,那么说明数组中已经有序了,所以直接退出就行
}
}
int main()
{
int arr[10] = { 1,2,3,4,5,6,7,8,9 };
int sz = sizeof(arr) / sizeof(arr[0]);
bubble_sort(arr, sz);
for (int i = 0; i < sz; i++)
{
printf("%d ", *(arr + i));
}
}
5.二级指针
指针变量也是变量,是变量就有地址,那指针变量的地址放在那里?
这就是二级指针
int main()
{
int a = 10;
int* p1 = &a;
int** p2 = &p1;
printf("%p\n", p1);
printf("%p\n", p2);
printf("%p\n", &p2);
return 0;
}
对于二级指针的运算有:
- *p2 通过对p2中地址进行解引用,这样找到的是p1,* p2 其实访问的就是p1
- **p2先通过*p2找到p1,然后对p1进行解引用操作:*p1,那找到的就是a
6.指针数组
指针数组是指针还是数组?
我们类比一下,整型数组,是存放整型的数组,字符数组是存放字符的数组。
那指针数组呢? 那自然是存放指针的数组。
指针数组的每个元素都是用来存放地址(指针)的。
由于指针数组的每个元素是指针,就又可以指向一块区域。
7.指针数组模拟二维数组
int main()
{
int arr1[] = { 1,2,3,4,5 };
int arr2[] = { 2,3,4,5,6 };
int arr3[] = { 3,4,5,6,7 };
//数组名是数组首元素的地址,类型是int*,可以存放在指针数组中
int* parr[3] = { arr1,arr2,arr3 };
for (int i = 0; i < 3; i++)
{
for (int j = 0; j < 5; j++)
{
printf("%d ", parr[i][j]);
}
printf("\n");
}
return 0;
}
parr[i] 是访问parr数组的元素,parr[i]找到的数组元素指向了整型一维数组,parr[i][j]就是整型一维数组中的元素。
parr[i][j]编译后就是*(*(parr+i)+j),*(parr+i) 找到目标元素所在的一维数组(行),*(*(parr+i)+j)再解引用找到所在列
上述的代码模拟出二维数组的效果,但实际上并非完全是二维数组,因为每一行在内存中的存储并非是连续的。