[C] 指针专项训练详解

默认运行环境为32位操作系统，占存大小单位为字节。

一维数组

	int a[] = { 1,2,3,4 };

代码	运行结果	与数组类型是否相关	解析
sizeof(a);	16	有	int类型占 4 个字节，4*4 = 16，表示整个数组的大小
sizeof(a + 0);	4	无	数组名进行加减运算，会隐式转换为指针，“+0”表示指向偏移量为 0
sizeof(*a);	4	有	对指针进行解引用，得到一个int类型数组首元素，大小为4
sizeof(a + 1);	4	无	指针相对于首元素偏移量为 1 ，仍是指针类型，大小为4
sizeof(a[1]);	4	有	通过下标访问元素，得到了第二个元素2，类型为整型，大小为4
sizeof(&a);	4	无	对数组名取地址，得到一个数组指针。它自身大小为4，所指向的数组大小为16
sizeof(*&a);	16	有	*与&两操作符相抵消，得到的还是原数组，总体之和为16
sizeof(&a+1);	16	无	数组指针加1还是一个数组指针，指针占存大小固定为4
sizeof(&a[0]);	4	无	a[0]取到数组元素1，对它进行取地址得到一个int*的整形指针
sizeof(&a[0]+1);	4	无	在取到数组元素地址的情况下向后偏移一个单位，仍是一个指针，大小固定

字符数组

	char arr[] = { 'a','b','c','d','e','f' };

代码	运行结果	与数组类型是否相关	解析
sizeof(arr);	6	有	字符数组区别于字符串的特点就是没有占存一个字节大小的\0结束符。数组大小为整体元素之和，所以为6
sizeof(arr + 0);	4	无	表示一个相对于数组首元素地址偏移量为 0 的指针，固定大小
sizeof(*arr);	1	有	对指向数组首元素的指针进行解引用，得到数组首元素，大小为1
sizeof(arr[1]);	1	有	得到数组元素b，char类型数据占存大小为1
sizeof(&arr);	4	无	对数组名取地址得到数组指针，大小固定
sizeof(&arr+1);	4	无	数组指针类型，占存大小固定
sizeof(&arr[0]+1);	4	无	得到char*类型的指针，大小固定为4

代码	运行结果	与数组类型是否相关	解析
strlen(arr);	错误	~	未定义行为，strlen函数无法找到终止符\0，无法正确返回
strlen(arr + 0);	错误	~	未定义行为
strlen(*arr);	错误	~	未定义行为，char*与char类型不符合
strlen(arr[1]);	错误	~	未定义行为，char*与char类型不符合
strlen(&arr);	错误	~	未定义行为
strlen(&arr+1);	错误	~	未定义行为
strlen(&arr[0]+1);	错误	~	未定义行为，找不到结束符而下标越界

• 小结：
  对于字符数组，如果存放的不是C风格字符串(以\0作为结束符)，那么使用strlen函数就会发生错误，strlen函数需要传递char*参数进行字符检索与字数统计，但是必须要有结束符来正常返回以合理使用，否则都是未定义行为，或闪退、或输出栈上残留元素，结果不可预期。

所以在使用strlen 函数前一定要确保字符数组中存在字符串结束符\0。

---

	char arr[] = "abcdef";

代码	运行结果	与数组类型是否相关	解析
sizeof(arr);	7	有	C风格字符串以\0结尾，\0也会占存一个字节，所以总计占存7个字节
sizeof(arr + 0);	4	无	指针固定大小
sizeof(*arr);	1	有	数组首元素大小
sizeof(arr[1]);	1	有	数组第二个元素大小
sizeof(&arr);	4	无	数组指针大小
sizeof(&arr+1);	4	无	数组指针大小
sizeof(&arr[0]+1);	4	无	char*类型指针大小

代码	运行结果	与数组类型是否相关	解析
strlen(arr);	6	~	从0号下标计算字符数，总计为6
strlen(arr + 0);	6	~	同上，首指针没有偏移，计数大小不变
strlen(*arr);	错误	~	*arr取到一个数组元素，char类型与strlen要求的char*类型不符，无法进行正确计算
strlen(arr[1]);	错误	~	同上，类型不符
strlen(&arr);	错误	~	得到一个数组指针，与数组首元素地址相同，向后检索会跳过整个字符数组(包括\0)，所以无法找到结束符而报错。
strlen(&arr+1);	错误	~	数组指针加1，跳过了整个数组，无法正确找到\0结束符，属于未定义行为
strlen(&arr[0]+1);	5	~	char*类型指针相对于首元素地址的偏移量为1，所以向后计数得到个数为5

---

	char *p = "abcdef";

代码	运行结果	与数组类型是否相关	解析
sizeof(p);	4	否	因为变量p为指针变量，所以大小固定为4字节
sizeof(p + 1);	4	否	数组名进行加减运算隐式转换为指针，大小4个字节
sizeof(*p);	1	是	指针解引用得到数组首元素字符a，大小为1个字节
sizeof(p[0]);	1	是	同上，首元素大小为1个字节
sizeof(&p);	4	否	二级指针本质也是指针，指针大小4个字节
sizeof(&p+1);	4	否	二级指针
sizeof(&p[0]+1);	1	是	此时指针指向了数组元素b，其本质还是指针，大小固定

二维数组

	int a[3][4] = { 0 };

代码	运行结果	与数组类型是否相关	解析
sizeof(a);	48	是	对整个数组元素进行sizeof操作，占存共计(3×4)*4=48个字节
sizeof(a[0][0]);	4	是	取到数组中的0行0列的元素，一个int类型数据占存4个字节
sizeof(a[0]);	16	是	此时取到数组第0行的数据，共4个整型数据，共计16字节
★sizeof(a[0]+1);	4	否	a[0]取到数组第0行的数据，是一个数组，对数组再进行+1操作变成一个指针，大小为4字节
★sizeof(*(a[0]+1));	4	是	*(a[0]+1)相当于a[0][1]，一个整型元素的占存大小为4字节
sizeof(a+1);	4	否	此时数据为一个指针
sizeof(*(a+1));	16	是	*(a+1)等价于a[1]，数据为一个数组，大小共计4×4=16个字节
sizeof(&a[0]+1);	4	否	此时是一个数组指针，指针占存大小固定
sizeof(*(&a[0]+1));	16	是	a[0]得到一个数组，后进行&取地址变成一个数组指针，加上数字1指向数组下一行，再进行提领得到数组本体，共计4×4=16个字节
sizeof(*a);	16	是	*a等价于a[0]，数组占存共计16字节
sizeof(a[3]);	16	是	此时还是得到一个4个整型元素的数组，大小共16字节

• 注：
  下标越界并非未定义行为，之前所说的下标越界即未定义行为不太严谨。实际上是运行过程中访问了一个非法的内存。
  sizeof操作在编译过程中进行计算，只与变量类型有关。

所以运行时才有访问内存的操作，编译时还没有运行，所以也就没有“访问内存”了，不会造成未定义行为。