前言
这不是我第一次写关于C指针的文章了,只是因为指针对于C来说太重要,而且随着自己编程经历越多,对指针的理解越多,因此有了本文。然而,想要全面理解指针,除了要对C语言有熟练的掌握外,还要有计算机硬件以及操作系统等方方面面的基本知识。所以我想通过一篇文章来尽可能的讲解指针,以对得起这个文章的标题吧。本文会持续更新。
为什么需要指针?
指针解决了一些编程中基本的问题。
- 第一,指针的使用使得不同区域的代码可以轻易的共享内存数据。当然你也可以通过数据的复制达到相同的效果,但是这样往往效率不太好,因为诸如结构体等大型数据,占用的字节数多,复制很消耗性能。但使用指针就可以很好的避免这个问题,因为任何类型的指针占用的字节数都是一样的(根据平台不同,有4字节或者8字节或者其他可能)。
- 第二,指针使得一些复杂的链接性的数据结构的构建成为可能,比如链表,链式二叉树等等。
- 第三,有些操作必须使用指针。如操作申请的堆内存。
还有一点:C语言中的一切函数调用中,实参传递给形参的机理都是“按值传递(pass by value)”
的,如果我们要在函数中修改被传递过来的对象,就必须通过这个对象的指针来完成。
指针是什么?
我们指知道:C语言中的数组是指 一类 类型,数组具体区分为 int
类型数组,double
类型数组,char
数组 等等。同样指针 这个概念也泛指 一类 数据类型,int
指针类型,double
指针类型,char
指针类型等等。通常,我们用int类型保存一些整型的数据,如 int num = 97
, 我们也会用char
来存储字符:char ch = 'a'
。我们也必须知道:任何程序数据载入内存后,在内存都有他们的地址,这就是指针。而为了保存一个数据在内存中的地址,我们就需要指针变量。因此:「指针是程序数据在内存中的地址,而指针变量是用来保存这些地址的变量。」
为什么程序中的数据会有自己的地址?
弄清这个问题我们需要从操作系统的角度去认知内存。电脑维修师傅眼中的内存是这样的:内存在物理上是由一组DRAM芯片组成的。
而作为一个程序员,我们不需要了解内存的物理结构,操作系统将DRAM等硬件和软件结合起来,给程序员提供的一种对物理内存使用的抽象。这种抽象机制使得程序使用的是虚拟存储器,而不是直接操作物理存储器。所有的虚拟地址形成的集合就是虚拟地址空间。
在程序员眼中的内存应该是下面这样的。(假设使用的是32位系统平台,虚拟存储空间为4GB
)
也就是说,虚拟存储器是一个很大的,线性的字节数组(平坦寻址)。每一个字节都是固定的大小,由8个二进制位组成。最关键的是,每一个字节都有一个唯一的编号,编号从0开始,一直到最后一个字节。如上图中,这是一个4GB
的虚拟存储器的模型,它一共有4x1024x1024x1024
个字节,那么它的虚拟地址范围就是0 ~ 4x1024x1024x1024-1
。
由于内存中的每一个字节都有一个唯一的编号,因此,在程序中使用的变量,常量,甚至数函数等数据,当他们被载入到内存中后,都有自己唯一的一个编号,这个编号就是这个数据的地址。指针就是这样形成的。
下面用代码说明
代码语言:javascript复制#include <stdio.h>
int main(void)
{
char ch = 'a';
int num = 97;
printf("ch 的地址:%pn",&ch); //ch 的地址:0028FF47
printf("num的地址:%pn",&num); //num的地址:0028FF40
return 0;
}
运行结果:
指针的值实质是内存单元(即字节)的编号,所以指针 单独从数值上看,也是整数,他们一般用16进制表示。指针的值(虚拟地址值)使用一个机器字的大小来存储,也就是说,对于一个机器字为w位的电脑而言,它的虚拟地址空间是0~2w - 1 ,程序最多能访问2w个字节。这就是为什么xp这种32位系统最大支持4GB内存的原因了。我们可以大致画出变量ch和num在内存模型中的存储。(假设 char占1个字节,int占4字节)
操作系统为什么提供虚拟地址空间给程序员用而不是让程序员直接使用物理地址空间?
本节内容属于编程思想上的内容,可以先不看,或仅作了解。
1、提高物理内存的利用效率。
你可能会困惑,这怎么就提高物理内存使用效率了呢?我这里举个共享单车的例子:假如一个国家有10个人,而只生产了2辆自行车(国家小,资源有限嘛~),这2辆车被2个人买了。把你自己想象为那8个没有自行车的人之一,你的思维是什么——"我没有自行车,我只能步行外出"。倘若是那2个有车的人呢——"我每次外出都可以骑车去,但是大部分时间,我的车是空闲的,没其他人用"。后来,这个国家回收了这仅有的2辆车,把车刷成了统一的颜色,贴上二维码,引入了共享单车系统,然后发出公告:只要车停在路边没人用,任何人都可以刷开骑走。那现在这10个人怎么想呢——“只要我看到有空闲的单车,我就可以使用它”。
2、抽象的东西更加简单稳定。
从古至今,我们对于“去饭馆吃饭”这个抽象社会行为没有太大的变化——进入饭馆,点菜,付钱,享用,走人。但是人们烹饪的方法却发生了具大的改变,烹饪的器材、食材、食谱一直都在更新改进,如果你经常烹饪,你就需要不断的学习,因为你需要掌握做一道菜的每个细节。
回到内存相关的话题来:无论机器的内存用的是ddr3还是ddr4,是4G物理内存还是8G物理内存,程序员都似乎无需太过关心,因为他们在编程时面向的是虚拟内存,而虚拟内存的模型到目前为止都是固定的。这给程序员带来非常大的便利,他们无需为快速更新的计算机设备而改变自己的编程思维。
这并不意味着抽象的东西就一定不会改变。例如从“到饭馆吃饭”到“点外卖”;从32位操作系统到64位操作系统。都属于抽象的更新换代。
3、使用虚拟地址空间更加安全。操作系统对应用程序提供操作内存的API,而不让应用程序直接操作物理内存。避免应用程序因操作不当而导致整个系统挂掉的危险情况发生。
总结(我个人认为):
- 资产有限的情况下,使用合理的资产使用管理机制,可以使有限的资产服务于更多的人。
- 抽象的事物更加简单稳定,特定的事物更加复杂易变。
- 底层通过给上层提供抽象服务来获得利益,上层通过使用底层的抽象来获得便利。
变量和内存
为了简单起见,这里就用上面例子中的 int num = 97
这个局部变量来分析变量在内存中的存储模型。
已知:num的类型是int,占用了4个字节的内存空间,其值是97,地址是0028FF40。我们从以下几个方面去分析。
1、内存的数据 内存的数据就是变量的值对应的二进制,一切都是二进制。97的二进制是 : 00000000 00000000 00000000 0110000 , 但使用的小端模式存储时,低位数据存放在低地址,所以图中画的时候是倒过来的。
2、内存数据的类型 内存的数据类型决定了这个数据占用的字节数,以及计算机将如何解释这些字节。num的类型是int,因此将被解释为 一个整数。相同的内存数据以不同的数据类型去解析的时候,会得到不同的值,所以数据的类型是非常重要的。
3、内存数据的名称 内存的名称就是变量名。实质上,内存数据都是以地址来标识的,根本没有内存的名称这个说法,这只是高级语言提供的抽象机制 ,方便我们操作内存数据。而且在C语言中,并不是所有的内存数据都有名称,例如使用malloc申请的堆内存就没有。
4、内存数据的地址 如果一个类型占用的字节数大于1,则其变量的地址就是其占用的所有字节的地址值最小的那个字节的地址。因此num的地址是 0028FF40。内存的地址用于标识这个内存块。
5、内存数据的生命周期 num是main函数中的局部变量,因此当main函数被启动时,它被分配于栈内存上,当main执行结束时,消亡。 如果一个数据一直占用着他的内存,那么我们就说他是“活着的”,如果他占用的内存被回收了,则这个数据就“消亡了”。C语言中的程序数据会按照他们定义的位置,数据的种类,修饰的关键字等因素,决定他们的生命周期特性。实质上我们程序使用的内存会被逻辑上划分为:栈区,堆区,静态数据区,代码区。不同的区域的数据有不同的生命周期和读写权限。无论以后计算机硬件如何发展,内存容量都是有限的,因此清楚理解程序中每一个程序数据的生命周期是非常重要的。我会在以后的文章中再对C语言的内存管理做出介绍,敬请期待。
指针变量 和 指向关系
用来保存 指针(地址) 的变量,就是指针变量。如果指针变量p1保存了变量 num的地址,则就说:p1指向了变量num,也可以说p1指向了num所在的内存块 ,这种指向关系,在图中一般用 箭头表示。
上图中,指针变量p1指向了num所在的内存块 ,即从地址0028FF40开始的4个byte 的内存块。
这里学2个名词,读英文资料的时候可能会用到
pointer:指针,例如上面例子中的p1 pointee:被指向的数据对象,例如上面例子中的num 所以我们可以说:a pointer stores the address of a pointee
「定义指针变量」
C语言中,定义变量时,在变量名 前 写一个 * 星号,这个变量就变成了对应变量类型的指针变量。必要时要加( ) 来避免优先级的问题。
引申:C语言中,定义变量时,在定义的最前面写上typedef ,那么这个变量名就成了一种类型,即这个类型的同义词。
代码语言:javascript复制int a ; //int类型变量 a
int* p ; //int* 变量p
int arr[3]; //arr是包含3个int元素的数组
int (* parr )[3]; //parr是一个指向【包含3个int元素的数组】的指针变量
//-----------------各种类型的指针------------------------------
int* p_int; //指向int类型变量的指针
double* p_double; //指向double类型变量的指针
struct Student *p_struct; //结构体类型的指针
int(*p_func)(int,int); //指向返回类型为int,有2个int形参的函数的指针
int(*p_arr)[3]; //指向含有3个int元素的数组的指针
int** p_pointer; //指向 一个整形变量指针的指针
「取地址」
既然有了指针变量,那就得让他保存其它变量的地址,使用& 运算符取得一个变量的地址。
代码语言:javascript复制int add(int a , int b)
{
return a b;
}
int main(void)
{
int num = 97;
float score = 10.00F;
int arr[3] = {1,2,3};
//-----------------------
int* p_num = #
float* p_score = &score;
int (*p_arr)[3] = &arr;
int (*fp_add)(int ,int ) = &add; //p_add是指向函数add的函数指针
return 0;
}
特殊的情况,他们并不一定需要使用&取地址:
- 数组名的值就是这个数组的第一个元素的地址。
- 函数名的值就是这个函数的地址。
- 字符串字面值常量作为右值时,就是这个字符串对应的字符数组的名称,也就是这个字符串在内存中的地址。
int add(int a , int b){
return a b;
}
int main(void)
{
int arr[3] = {1,2,3};
//-----------------------
int* p_first = arr;
int (*fp_add)(int ,int ) = add;
const char* msg = "Hello world";
return 0;
}
「解地址」
我们需要一个数据的指针变量干什么?当然使用通过它来操作(读/写)它指向的数据啦。对一个指针解地址,就可以取到这个内存数据,解地址 的写法,就是在指针的前面加一个*号。解指针的实质是:从指针指向的内存块中取出这个内存数据。
代码语言:javascript复制int main(void)
{
int age = 19;
int*p_age = &age;
*p_age = 20; //通过指针修改指向的内存数据
printf("age = %dn",*p_age); //通过指针读取指向的内存数据
printf("age = %dn",age);
return 0;
}
「指针之间的赋值」
指针赋值和int变量赋值一样,就是将地址的值拷贝给另外一个。指针之间的赋值是一种浅拷贝,是在多个编程单元之间共享内存数据的高效的方法。
代码语言:javascript复制int* p1 = & num;
int* p3 = p1;
//通过指针 p1 、 p3 都可以对内存数据 num 进行读写,如果2个函数分别使用了p1 和p3,那么这2个函数就共享了数据num。
「空指针」
指向空,或者说不指向任何东西。在C语言中,我们让指针变量赋值为NULL表示一个空指针,而C语言中,NULL实质是 ((void*)0) , 在C 中,NULL实质是0。换种说法:任何程序数据都不会存储在地址为0的内存块中,它是被操作系统预留的内存块。
下面代码摘自 stddef.h
代码语言:javascript复制int main(void)
{
int num = 97;
int *p1 = #
char* p2 = (char*)(&num);
printf("%dn",*p1); //输出 97
putchar(*p2); //输出 a
return 0;
}
指针的值:很好理解,如上面的num 变量 ,其地址的值就是0028FF40 ,因此 p1的值就是0028FF40。数据的地址用于在内存中定位和标识这个数据,因为任何2个内存不重叠的不同数据的地址都是不同的。指针的类型:指针的类型决定了这个指针指向的内存的字节数并如何解释这些字节信息。一般指针变量的类型要和它指向的数据的类型匹配。
由于num的地址是0028FF40,因此p1 和 p2的值都是0028FF40 *p1 : 将从地址0028FF40 开始解析,因为p1是int类型指针,int占4字节,因此向后连续取4个字节,并将这4个字节的二进制数据解析为一个整数 97。*p2 : 将从地址0028FF40 开始解析,因为p2是char类型指针,char占1字节,因此向后连续取1个字节,并将这1个字节的二进制数据解析为一个字符,即'a'。
同样的地址,因为指针的类型不同,对它指向的内存的解释就不同,得到的就是不同的数据。
void*类型指针
由于void是空类型,因此void*
类型的指针只保存了指针的值,而丢失了类型信息,我们不知道他指向的数据是什么类型的,只知道这个数据在内存中的起始地址,如果想要完整的提取指向的数据,程序员就必须对这个指针做出正确的类型转换,然后再解指针。前面已经提到过,数据的类型是正确解析出内存数据的关键,相同的内存数据以不同的数据类型去解析的时候,会得到不同的值。程序需要得到什么数据,不光要知道其地址,还要明确其类型,因此编译器不允许直接对void*
类型的指针做解指针操作。
结构体和指针
结构体指针有特殊的语法: -> 符号 , 如果p是一个结构体指针,则可以使用 p ->【成员】 的方法访问结构体的成员。p->member 等价于 (*p).member。
代码语言:javascript复制typedef struct
{
char name[31];
int age;
float score;
}Student;
int main(void)
{
Student stu = {"Bob" , 19, 98.0};
Student*ps = &stu;
ps->age = 20;
ps->score = 99.0;
printf("name:%s age:%dn",ps->name,ps->age);
return 0;
}
由于篇幅原因,下一篇介绍:
- 数组和指针
- 函数和指针
- const 和 指针
- 深拷贝和浅拷贝
- 附加知识