前言:
本篇是指针的进阶,在前面的文章中,我们已经对指针有了一个基础的了解,但并没有对其进行一个深入的了解,所以我们这一篇进入进阶指针,深入了解指针和其他知识的联系。
![](https://i-blog.csdnimg.cn/blog_migrate/69e171ff698cbf56ab476ea1c96875f2.png)
如果还没有看过指针篇的同学可以点下方链接先进行学习:
【C语言】从入门到入土(指针篇)
这一篇章我们理解到:
- 指针就是个变量,用来存放地址,是地址唯一标识一块内存空间。
- 指针的大小是固定的4/8个字节(32位平台/64位平台)。
- 指针是有类型,指针的类型决定了指针的±整数的步长,指针解引用操作的时候的权限。
- 指针的各类运算是如何进行的还有其意义。
接下来让我们了了解指针和其他知识更深层次更细密的联系:
一. 字符指针
在指针的类型中我们知道有一种指针类型为字符指针 ,char * a
创建的a就是一个字符指针变量,而char *
就是字符指针的类型。
我们先来回温一下:
int main()
{
char ch = 'w';//创建一个字符变量ch,存的是w。
char* p1 = &ch;//把ch的地址存进p1里面。
char* p2 = "hello";
//这里是p2指向存储hello的地址?
printf("%c\n", *p);
return 0;
}
前面的两行代码估计大家都清楚是什么意思,那第三行代码真的是往p2里面存储几个字符的地址吗?答案是:不能的。
这里的意思其实是:"hello"
其实是一个常量字符串,而表达式的作用是把这个常量字符串的第一个字符"h"
的地址赋值给p,因为对p
解引用也只能访问一个字节。也就是说p指针是指向字符串的,但只存了h的地址,*p
得到的是h。
因为这个字符串是连续的,当找到第一个字符就可以找到下一个字符,当你需要打印字符串的时候,可以写printf("%s\n",p)
,只需要p提供字符串首字符就可以打印字符串了
![](https://i-blog.csdnimg.cn/blog_migrate/cbbaadadf9c6c3a4fef4d25ee0a82676.png)
![](https://i-blog.csdnimg.cn/blog_migrate/fe769d1568297eb52b9c390259093f66.png)
也就是说,字符指针既可以指向一个字符,也可以指向字符串,但存的是字符串的首字符地址。但由于字符指针指向的是常量字符串,常量字符串存放在内存中的常量区,是不能修改的,我们可以在此字符指针前加上const
加以保护。
int main()
{
char* p = "hello";
*p = 'a';//禁止修改
//const char* p = "hello";
//加上const 限定一个变量不允许被改变。
return 0;
引发异常:
直接报错,不让你运行:
这样子我们再来看一段代码:
int main()
{
char str1[] = "hello world.";
char str2[] = "hello world.";
const char* str3 = "hello world.";
const char* str4 = "hello world.";
if (str1 == str2)
printf("str1 and str2 are same\n");
else
printf("str1 and str2 are not same\n");
if (str3 == str4)
printf("str3 and str4 are same\n");
else
printf("str3 and str4 are not same\n");
return 0;
}
这段代码是让我们更清晰的理解字符的存储和字符指针的存储的区别。首先我们先看一下运行结果:
![](https://i-blog.csdnimg.cn/blog_migrate/2eff1a68e8d4faf8041b9a759a61adb6.png)
这段代码的意思是对比两个字符数组和对比两个字符指针他们在存储的时候的不同点,比较的是两个数组或指针的地址。运行结果是一不等于二,三等于四。
我们先看一和二:一和二都是一个字符数组,我们比较的时候使用的是数组名,我们知道数组名表示的就是首元素的地址。所以这里的str1
表示他存储的hello world
的h的地址,str2
表示他存储的hello world
的h的地址。但是,数组在创建的时候都是独立开辟空间的,所以这两个h的地址是不一样的!
然后看三和四:三和四都是字符指针,上面我们说到字符指针指向的是字符串,存储的是首字符的地址,而字符串是常量字符串(常量不能修改)。首先是创建了str3
指针指向这个常量字符串,然后创建str4
指针指向这个常量字符串。因为字符串已经在常量区有了,所以不会重新创建。所以这两个'h'
是同一个地址的'h'
。
所以总结来说就是:
C/C++会把常量字符串存储到单独的一个内存区域,当几个指针。指向同一个字符串的时候,他们实际会指向同一块内存。但是用相同的常量字符串去初始化不同的数组的时候就会开辟出不同的内存块。
二. 指针数组
我们先回忆一下指针数组:
int main()
{
int arr1[10];
//存放整形变量的数组叫整形数组
char arr2[10];
//存放字符变量的数组叫字符数组
int* arr3[10];
//所以存放指针的数组叫指针数组
return 0;
}
所以:
指针数组是一个存放指针的数组。
然后指针数组有什么用的地方呢?我们可以想一下,指针数组可以存储多个地址,那不就是也可以理解为存多个值吗,我们来试一下:
int main()
{
int a = 10;
int b = 20;
int c = 30;
int d = 40;
int * arr[] = { &a,&b,&c,&d };
int i = 0
for (i = 0; i < 4; i++)
{
printf("%d ", *(arr[i]));
}
//打印结果10 20 30 40
return 0;
}
这段代码先将abcd四个变量的地址存储起来,然后打印的时候将指针数组解引用就可以得到变量的值了。相比之下字符串打印就简单多了,因为字符串能通过首字符接连找到后面的字符直接打印整个字符串,而整形数组则需要找到每一个的地址。
我们再举一个例子,如果我想打印多个数组呢,我们知道,数组名就是首元素地址,而数组存储起来时可以依靠数组名找到这个数组,那我们用上指针数组试试看:
int main()
{
int arr1[] = { 1,2,3,4,5 };
int arr2[] = { 2,3,4,5,6 };
int arr3[] = { 3,4,5,6,7 };
int* p[] = { arr1, arr2, arr3 };
int i = 0;
for (i = 0; i < 3; i++)
{
int j = 0;
for (j = 0; j < 5; j++)
{
printf("%d ", p[i][j]);
}
printf("\n");
}
return 0;
}
在这里,我们先创建三个数组,然后创建一个指针数组存储这三个数组的数组名,也就是三个数组的首元素地址。然后打印的时候利用数组名是首元素的地址,找到这个数组打印。
那为什么p[i][j]
这个表示形式可以打印出这几个数组呢?其实,我们之前学过说数组和数组的下标的组成,其实就是数组+下标的解引用,也就是数组首元素往前移动了下标个单位。 比如说:
![](https://i-blog.csdnimg.cn/blog_migrate/84718d176b3790cdc9316b01221d0835.png)
所以就是像上面的p[i]
就可以看作*(p+i)
,而 p[i][j]
就可以看作*(p[i]+j)
,所以加上序数就可以得到这个数组往后的元素了。
再者我们可以把前面的结合起来:
int main()
{
const char* arr[5] = {"abcdef", "bcdefg", "cdefg", "dhijk", "efijk"};
int i = 0;
for (i = 0; i < 5; i++)
{
printf("%s\n", arr[i]);
}
return 0;
}
字符指针和指针数组梦幻联动,用字符指针数组去存储多个字符串,然后当需要打印的时候,因为字符指针存储了字符串第一个字符的地址,然后当我们用%s
打印字符串的时候,当用到\0
才会停止,所以我们打印的时候,由指针找到字符串第一个的地址,然后连着打印直到遇到\0
,这就把字符串打印完了,其他几个字符串也是一样。
三. 数组指针
1.数组指针的定义
① 数组指针是指针?还是数组?
答案是:指针。
上面我们学习了指针数组,说存放指针的数组叫指针数组,那我们同理推理一下,其实数组指针就是指向数组的指针:
int main()
{
int * p1;
//整形指针 -> 指向整形的指针
char * p2;
//字符指针 -> 指向字符的指针
int (*p3)[10];
//所以数组指针 —> 指向数组的指针
return 0;
}
我们来判断一下,下面哪一个才是指针数组呢:
int *p1 [10];
int (*p2) [10];
答案肯定是第二个吧?第一个就在上面有写,他就是指针数组啊,那剩下的就是指数组指针了。解释如下:
p2先和*结合,说明p2是一个指针变量,然后指着指向的是一个大小为10个整型的数组。所以p2是一个指针,指向一个数组,叫数组指针。
我们再来深刻的了解一下:
int main()
{
int a=0;
int * pa=&a;//整形地址存放在整形指针中
char b=0;
char * pb=&b;//字符地址存放在字符指针中
int arr[10] = {0};//创建数组
int* p = arr;//整形指针指向数组首元素地址
int (* parr)[10] = &arr;
//数组地址存放到数组指针中。
//* parr是指针变量,指向后面的[10]整形数组,合起来就是数组指针了。
//注意:[]的优先级要高于*号的,所以必须加上()来保证parr先和*结合。
return 0;
}
前几个指针我们就不说了。最后一个parr,首先和*结合,所以他是指针,而后面接着指向一个数组,所以这个指针是指向数组的,就是数组指针。而且,既然是变量那就有类型吧,像int * pa
的类型是去掉pa也就是int *
,所以类比出int (* parr)[10]
数组指针的类型是int (* )[10]
。
2.&数组名VS数组名
Q: arr 和 &arr 分别是啥?
int main()
{
int arr[10] = {0};
printf("%p\n",arr);
printf("%p\n",&arr[0]);
printf("%p\n", &arr);
return 0;
}
我们知道数组名是数组首元素的地址,那取地址数组名又是什么呢?所以我们来研究一下,打印出来的到底是个什么家伙:
![](https://i-blog.csdnimg.cn/blog_migrate/0746d066696d49f993a98c1d3d67eef1.png)
好家伙,三个元素打印出来同一个地址,这可如何区分呢,我们可以试一下让他们都加一去辨别他们后面的区别,我们知道,一个变量±跳过的大小取决于其变量类型,这样子我们就可以判断出这三者的区别了。
int main()
{
int arr[10] = {0};
printf("%p -> %p (arr加1后)\n",arr,arr+1);
printf("%p -> %p (&arr[0]加1后)\n",&arr[0],&arr[0]+1);
printf("%p -> %p (&arr加1后)\n",&arr,&arr+1);
return 0;
}
打印结果:
从打印结果来观察,我们的arr+1
和&arr[0]+1
跳过一个数组元素大小,所以数组名是数组首元素地址,他们两者可以理解是相同的,类型是int *
类型。然后&arr+1
跳过了一个数组大小,所以&arr
存的应该是数组的地址,而且其类型也就是存储数组地址的类型:int * [10]
。
但是!Q:数组名是首元素地址这句话是完全正确的吗?
那上面的&arr就已经不正确了,所以我们只能说数组名可以理解为首元素地址,而不是数组名一定是首元素地址,除非不是以下两种情况:
1.不是 &数组名。
2.不是 sizeof(数组名)。
第一个我们上面已经了解理解了:这里的数组名表示整个数组,取出的是首元素地址。
我们看看第二个情况,比如这个代码:
{
int arr[10] = { 0 };
printf("%d", sizeof(arr));
//打印结果:40
return 0;
}
注意:sizeof(arr)这里的数组名表示整个数组,计算的是整个数组的大小,单位是字节。所以sizeof(arr)的时候也不能把数组名直接当作首元素地址。
那如果是存储
int * arr[10]
也就是指针数组的指针是什么样子的呢?
int main()
{
int* a;
int* (*pa)=&a;
int* arr[10];
int* (*parr)[10] = &arr;
return 0;
}
在这里,数组的地址是不是一个放进一个数组指针里面,然后再看他的类型,是int *
,所以首先我们要储存地址就是 * parr
,然后储存的是指向数组的地址,而且是10个元素,所以是* parr[10]
,然后这个变量的类型是整形指针,所以是int * (*parr)[10]
。
理解了概念之后,我们比较一下下面的代码:
//代码一
int fun_1(int arr[], int sz)
{
int i = 0;
for (i = 0; i < sz; i++)
{
printf("%d\n", arr[i]);
}
}
int main()
{
int arr[10] = { 0,1,2,3,4,5,6,7,8,9 };
int sz = sizeof(arr) / sizeof(arr[0]);
fun_1(arr, sz);
return 0;
}
//代码二
int fun_2(int * arr, int sz)
{
int i = 0;
for (i = 0; i < sz; i++)
{
printf("%d\n", *(arr+i));
}
}
int main()
{
int arr[10] = { 0,1,2,3,4,5,6,7,8,9 };
int sz = sizeof(arr) / sizeof(arr[0]);
fun_2(arr, sz);
return 0;
}
其实两者的结果是一样的,而且两者的含义也是一样的,代码一是我们比较常见容易理解的代码形式,代码二才是代码一真正的意义。
我们再看这个代码:
int fun_3(int (*arr)[10], int sz)
{
//arr[0] = *(arr+0)
int i = 0;
for (i = 0; i < sz; i++)
{
//arr[0][i] = (*(arr + 0))[i] = (*arr)[i]
printf("%d\n", (*arr)[i]);
}
}
int main()
{
int arr[10] = { 0,1,2,3,4,5,6,7,8,9 };
int sz = sizeof(arr) / sizeof(arr[0]);
fun_3(&arr, sz);
return 0;
}
这个代码打印结果和前两个也是一样的,但是略有不同的是这个代码中有数组指针,我们先把整个数组的地址传了过去储存在数组指针里,然后我们可以将arr这个数组看为二级指针(arr[]
一级,int *
一级),然后通过我们之前学习中知道的化简得到(*arr)[i]
。
这时候我们发现,他和第一个代码中的arr[i]
表达的意思是一样的。这里充分说明了:一个指向数组的指针解引用就是找到数组,也就是相当于得到数组名,数组名又是首元素地址,所以最后就相当于首元素地址+i,就是取数组往后的元素了。
3.正确使用数组指针
上面虽然使用到了数组指针,但是只是为了说明这几者的关系和转变,但上面的几种代码,还是前面的比较容易一点,那么数组指针会用在什么地方呢,我们来看一下:
//二维数组传参
void print1(int arr[3][5], int r, int c)
{
int i = 0;
for (i = 0; i < r; i++)
{
int j = 0;
for (j = 0; j < c; j++)
{
printf("%d ", arr[i][j]);
}
printf("\n");
}
}
int main()
{
int arr[3][5] = { 1,2,3,4,5, 2,3,4,5,6,3,4,5,6,7 };
print1(arr, 3, 5);//arr 是数组名,数组名是首元素地址
return 0;
}
在这里,我们想要调用函数打印二维数组,当我们函数调用的时候,传参时二维数组数组名传过去的依然是首元素地址,那二维数组的首元素地址是什么呢?我们可以把二维数组想象成一维数组,每一行是一个元素,三行所以就是三个元素,那我们传过去的就是第一行的数组元素了。所以我们的数组指针版方法就来了:
//数组指针
void print2( int(*p)[5], int r, int c)
{
int i = 0;
for (i = 0; i < r; i++)
{
int j = 0;
for (j = 0; j < c; j++)
{
//printf("%d ", *(*(p + i) + j));
printf("%d ", p[i][j]);
}
printf("\n");
}
}
int main()
{
int arr[3][5] = { 1,2,3,4,5, 2,3,4,5,6,3,4,5,6,7 };
print2(arr, 3, 5);//arr 是数组名,数组名是首元素地址
return 0;
}
当我们把二维数组想象成一维数组,传过去的是第一行数组的时候,就要用到数组指针来接收,然后就可以正常的运行了,当我们去取二维数组的元素的时候,*(p+i)
实际上就是第i
行数组,因为我们的p
指向的是第一行数组,然后再加j
就是这一个数组里面的第j个元素了。
总结一下数组和指针这种纠缠的关系:
int arr[5];
//整形数组
int* parr1[10];
//parr[10]是数组,元素类型为int *,是指针数组
int(*parr2)[10];
//parr2是指针指向数组,是数组指针,指针指向数组10个元素
int(*parr3[10])[5];
//parr[10]是数组,数组有10个元素,而int (*)[5]是数组指针的类型
//每个元素是数组指针,指向一个有5个元素的数组。
放上图让大家更好的理解哈:
![](https://i-blog.csdnimg.cn/blog_migrate/44ead06367b0af61ab5776affdf1def2.png)
其实就是一个数组里面存放的是数组指针的元素,数组指针指向的就是有5个元素的数组。
好啦,本篇的内容就到这里,进阶指针还有后续博客,也请继续关注哦。关注一波,互相学习,共同进步。
还有一件事: