C指针深度解析

1)指针的概念

指针是一种数据类型,而内存地址是这种数据类型具体的值(注意区分两者的概念)。先说一下什么是内存地址:假设CPU的寻址方式是以字节寻址的,即每一个字节对应一个地址编号(则机器字长、存储字长和数据字长都是字节的整数倍,所有的数据类型占据的空间大小都是字节的整数倍)。对于32位操作系统,地址码最长可达32位,则可以寻址的最大数目为:2^{32}=4G,由于最小单位是字节,因此可寻址的最大内存为4GB。64位操作系统,则为2^{64}B。因此,在32位操作系统中,地址(指针值)是一个32位的二进制数:0~2^{32}-1,因此指针变量(地址值)在32位操作系统中占据的空间大小为4bytes(32位),由于地址值用32位二进制数表示不方便,因此用8位16进制数表示(0x00000000~0xFFFFFFFF)。指针变量跟其余任何变量一样,都是一个值,且都要占据地址空间。指针是指本身的地址值,与指针的地址不同(两者不一定相等)。指针:计算机内一块内存来存放另一块内存的地址(注意是首地址)。所以,对一个指针取地址,无非就是对一块内存取地址,跟对一个整数取地址,对一个浮点数取地址,对一个数组取地址,对一个函数取地址,没有任何区别:char c[5]="abc"; // 内存c的地址是:&c    void f(int size, float length); // 内存f的地址是:&f    int *p = &a; // 内存p的地址是:&p  一般情况下:字节占据1个字节,int为4个字节,指针跟操作系统位数相关。

int *p1; int **p2; int (*p3)[5];   int (**p4)[5];   int (*p5)[5][5];  p1~p5都是指针,p1为一级指针;p2为二重指针(二级指针或指针的指针),即p2所指的地址的内容依然是地址,而该地址所指的地址的内容为int类型;p3为指针,其类型为int (*)[5],所指地址存储的内容为整型数组(5个元素);p4为二级指针,其最终存储的内容为整型数组(5个元素);p5为指针,其类型为int (*)[5][5],所指地址存储的内容为整型二维数组(25个元素)。

指针的步长。每个指针都是有步长的,这与指针的计算有着密切关系。指针的步长就是指针(地址)所指的内容的大小(占据的字节数)。如 int *p,则p的步长为4bytes,p+1则是p地址的基础上移动4个bytes。int (*p3)[5]; p3的步长就是20bytes。

*[ ]对指针的作用。*(p+i)是取出指针p+i所指向的内容,如*p1是取出的整形数值int;*p3是取出的整个一维数组(5个元素)。int a[6][7]; *a取出的是a[0]这个一维数组;*(a+1)取出的是a[1]这个一维数组;*a[0]取出的是a[0][0]。*(p+i)=p[i],两者作用一样,即p[i]则是指将指针p移动i个步长后所指向的内容。

二级指针步长分析(二级指针的内存分布)。例如:int **p; p是一个地址,由于p地址的内容依然是地址,因此p指针的步长为指针的字节数(8个字节,以32位为例)。因此所有二级指针的步长都是一样的,都是8bytes。而*p依然是指针,即存储的内容为int数值,因此*p的步长为4bytes。因此,当用二级指针p来表示一个二维数组时,其每一个元素(int)在内存中的分布并不向二维数组int a[i][j]那样都是连续的,它们的分布不一样的。*p表示二维数组中的每一个元素a[i](一维数组)的首地址,而p则是将所有*p作为一维数组的首地址。因此,在用指针p表示二维数组时,只有二维数组中的每一个元素(一位数组)内部分布是连续的,至于元素与元素之间的分布不一定是连续的,取决于*p与*(p+1)的值。综上,二级指针p与二维数组a之间不能相互传递参数,因为它们在内存中的分布是不一样的,否则会引发段错误(SIGSEGV)。如果p=a;则p的步长为8bytes,则*p或p[0]就会把数组a的前两个元素a[0][0]和a[0][1]合并在一起8个字节当成一个地址,紧接着*(*p)或p[0][0]就是前一个地址所指向的前4个bytes的内容,但是*p这个地址是用户未定义的,因此属于非法访问内存,因此会引发段错误。所以,一定要注意,两者之间不能直接传递参数。可以将二维数组重新用二级指针表示(后面会介绍方法),然后就可以用二级指针p来访问二维数组了,其访问方法为:p[i][j]或*(*(p+i)+j),即:先将指针p移动i个步长取出地址值,然后再移动j个步长的地址的内容就是p[i][j]元素,对应的就是a[i][j]。

对于一维数组int a[10];与int *p;p与a之间可以直接传递,因为内存分布一样,具体分析同前面。p=a,则*(p+i)=p[i]=a[i]。对于char *argv[10]; char **p;  p与argv之间也可以直接传递数据,因为两者内存分布一样:*(p+i)=p[i]=argv[i],都是char *类型的指针,它们存储的内容都是char,步长都为1bytes,因此都可以表示一个字符串,所以在命令行参数和环境变量中可以使用char **p二级指针来传递形参。

二维数组int b[i][j];用二级指针int **p;来表示:int *a[i];a[i]=b[i];p=a;则有:*(p+i)=p[i]=a[i],*(*(p+i)+j)=p[i][j]=a[i][j]=b[i][j]。因此,b与p之间要传递参数时,可以用a来搭桥。

2)指针与数组的关系举例分析

探究数组名与指针的关系:将a[3][5]全部元素初始化为0

//ex1.c

#include <stdio.h>int main(void)
{int a[10]={0};int *p;p=a;printf("a[1]=%d, &p=%#x, p=%#x\n",p[1],&p,p);return 0;
}
[root@localhost 01_pthread_test]# ./ex1
a[1]=0, &p=0xff875cc4, p=0xff875cc8

//ex.c

#include <stdio.h>int main(void)
{int **p;int a[3][5]={0};p=a;printf("&a=%#x, a=%#x, a[0]=%#x, *a=%#x, a+1=%#x, a[0]+1=%#x, a[1]=%#x, &a[0][0]=%#x\n",&a, a,a[0],*a,a+1,a[0]+1,a[1],&a[0][0]);printf("*(&a[0][0])=%#x\n",*(&a[0][0]));printf("*(*a)=%#x\n",*(*a));printf("a=%#x\n",a);printf("&p=%#x, p=%#x, *p=%#x\n",&p,p,*p); printf("*(*p)=%d\n",*(*p));   //该句出现段错误return 0;
}
[root@localhost 01_pthread_test]# ./ex
&a=0xff83a4d0, a=0xff83a4d0, a[0]=0xff83a4d0, *a=0xff83a4d0, a+1=0xff83a4e4, a[0]+1=0xff83a4d4, a[1]=0xff83a4e4, &a[0][0]=0xff83a4d0
*(&a[0][0])=0
*(*a)=0
a=0xff83a4d0
&p=0xff83a50c, p=0xff83a4d0, *p=0
Segmentation fault (core dumped)

//ex2.c(二维数组用二级指针的另一种表示方法)

#include <stdio.h>
#include <stdlib.h>
#include <stddef.h>int main(void)
{int **p;int i, j;p=(int **)malloc( sizeof(int *)*3 );for(i=0;i<3;i++){p[i]=(int *)malloc( sizeof(int)*5 );}for(i=0;i<3;i++)for(j=0;j<5;j++){p[i][j]=3;}printf("p[2][3]=%d\n",p[2][3]);return 0;
}
[root@localhost 01_pthread_test]# ./ex2
p[2][3]=3

分析:

强调一点:数组名、函数名等类似的东西都不是指针!!!只是在使用的时候它们被隐式转换为了指针。一维数组:int a[10]; sizeof(a)中,a就没有转换为指针,a指的就是数组本身 ,sizeof(a)的结果为40(40bytes)。如果对a的操作中涉及元素的操作时,由于仅仅指出a系统并不清楚要具体取哪一个元素,因此直接返回给数组的首地址,即a被隐式转换为数组的第一个元素的地址&a[0]。二维数组:int a[10][9]; 其本质就是一个一维数组(数组的数组),在内存中的分布是一维的,一行紧接着一行连续分布:即a[0][8]的后面紧接着就是a[1][0]。a[10][9]可以看成是a[0]、a[1]、······、a[9]这十个元素构成的数组,其中a[0]是二维数组的首元素;而a[0]、a[1]、······、a[9]这十个元素中每一个元素又是一个数组(类型为int [9]),即a[0]代表:a[0][0]~a[0][8]。因此在隐式转换时:a被隐式转换为二维数组第一个元素的首地址,即a=&a[0],a的步长为36bytes,指向的是a[0]这个数组(这一行);而a[0]如果进行隐式转换,则转换为a[0]这个一维数组的首地址,即&a[0][0]。注意,a与a[0]隐式转换后值是相等的,但是步长不一样,a[0]转换后,所指向的内容是a[0][0],即int类型,因此步长为4bytes。因此a与a[0]的指针值虽然是相等的,但是步长不一样,即:a+1与a[0]+1不相等。a+1指向的是a[1][0],a[0]+1指向的是a[0][1]。

在上面程序ex.c中。p&a、a、a[0]、*a、a+1、a[0]+1、a[1]、&a[0][0]、*(&a[0][0])、*(*a)。p是一个二级指针,最终地址内容为int型数值;&a为int (*)[3][5]类型,即指向整个二维数组;a是整个数组,隐式转换为指向a[0]的指针,int (*)[5]类型;a[0]是一维数组,隐式转换为指向a[0][0]的指针,int *类型;*a经历了两次隐式转换,第一次a被转换,第二次*a被转换,最终为指向a[0][0]的指针,为int *类型;a+1,int (*)[5]类型;a[0]+1,int *类型;a[1],int *类型;&a[0][0],int *类型。根据上面程序输出结果可以判断。若p=a,则&p,int ***类型;p,int **类型;*p为int*内容;此时程序可以输出结果(不会发生错误),但是结果毫无意义。*(*p)则会发生段错误,因此*p地址的内容用户未定义,非法访问内存。

程序ex2.c描述了另一种方法将二级指针表示二维数组。

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.mzph.cn/news/385300.shtml

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

1007. 素数对猜想

让我们定义 dn 为&#xff1a;dn pn1 - pn&#xff0c;其中 pi 是第i个素数。显然有 d11 且对于n>1有 dn 是偶数。“素数对猜想”认为“存在无穷多对相邻且差为2的素数”。 现给定任意正整数N (< 105)&#xff0c;请计算不超过N的满足猜想的素数对的个数。 输入格式&…

线程共享全局变量(.data和.bbs)

线程默认共享数据段、代码段等地址空间&#xff0c;常用的是全局变量。而进程不共享全局变量&#xff0c;只能借助mmap。 //代码示例 #include <string.h> #include <stdio.h> #include <pthread.h> #include <stdlib.h> #include <string.h> …

1008 数组元素循环右移问题 (20)

一个数组A中存有N&#xff08;N&gt0&#xff09;个整数&#xff0c;在不允许使用另外数组的前提下&#xff0c;将每个整数循环向右移M&#xff08;M>0&#xff09;个位置&#xff0c;即将A中的数据由&#xff08;A~0~ A~1~……A~N-1~&#xff09;变换为&#xff08;A~N-…

C++设计模式之策略模式(Strategy)

Strategy策略模式作用&#xff1a;定义了算法家族&#xff0c;分别封装起来&#xff0c;让他们之间可以互相替换&#xff0c;此模式让算法的变化&#xff0c;不会影响到使用算法的客户。 UML图&#xff1a; 代码实现 #include <iostream> using namespace std;class St…

pthread_exit函数

void pthread_exit(void *retval); 参数&#xff1a;retval表示线程退出状态&#xff0c;通常传NULL。 作用&#xff1a;将单个线程退出。 注意几点&#xff1a; return的作用是返回到函数的调用点&#xff0c;如果是main函数中的return&#xff0c;则代表该进程结束&#x…

C++面试常见问题

背景色yellow 1 1. c如何防止一个类被其他类继承 >- 如果是仅仅为了达到这个目的可以直接把这个类的构造函数设置成私有的&#xff0c;这样就杜绝了其他类的继承。也相当于毁掉了这个类&#xff08;无法再创造出自己的对象&#xff09;。 那么怎么样既要保证这个类的完整性…

pthread_join函数

int pthread_join(pthread_t thread, void **retval); 作用&#xff1a;阻塞等待线程退出&#xff0c;获取线程退出状态。其作用对应进程中 waitpid() 函数。 成功&#xff1a;0&#xff1b;失败&#xff1a;错误号 strerror函数 参数&#xff1a;thread&#xff1a;线程I…

【C++ Priemr | 15】派生类向基类转换的可访问性

1. 只有当D公有继承B时&#xff0c;用户代码才能使用派生类向基类的转换&#xff1b;如果D私有继承B的方式是受保护的或者私有的&#xff0c;则用户代码不能使用该转换。 class A {}&#xff1b; class B : public A {}void function(const A&) {}int main() {B b;functio…

pthread_detach函数

int pthread_detach(pthread_t thread); 成功&#xff1a;0&#xff1b;失败&#xff1a;错误号 作用&#xff1a;从状态上实现线程分离&#xff0c;注意不是指该线程独自占用地址空间。 线程分离状态&#xff1a;指定该状态&#xff0c;线程主动与主控线程断开关系。线程…

【C++ Primer | 15】面试问题

在成员函数中调用虚函数 #include <iostream> using namespace std; class CBase { public:void func1(){func2();}virtual void func2() {cout << "CBase::func2()" << endl;} }; class CDerived:public CBase { public:virtual void func2() {…

pthread_cancel、pthread_equal函数

&#xff08;1&#xff09;pthread_cancel函数 int pthread_cancel(pthread_t thread); 成功&#xff1a;0&#xff1b;失败&#xff1a;错误号 作用&#xff1a;杀死(取消)线程&#xff0c;其作用对应进程中 kill() 函数。 注意&#xff1a;线程的取消并不是实时的&…

STL源码剖析面试问题

当vector的内存用完了&#xff0c;它是如何动态扩展内存的&#xff1f;它是怎么释放内存的&#xff1f;用clear可以释放掉内存吗&#xff1f;是不是线程安全的&#xff1f; vector内存用完了&#xff0c;会以当前size大小重新申请2* size的内存&#xff0c;然后把原来的元素复制…

线程与进程的控制原语对比

线程与进程的控制原语对比 fork pthead_create exit( int ) pthead_exit(void *); wait(int *) pthread_join&#xff08; ,void **&#xff09; 阻塞 ;分离 22 &#xff1b;cancel -1 kill() pthread_cancel(); 取消点(检查点)&#xff1a;系统调用 getpid() pthrea…

ptmalloc堆内存管理机制(主要讨论Linux x86下32位系统)

bin&#xff08;chunk容器&#xff09; ptmalloc将相似大小的 chunk 用双向链表链接起来&#xff0c;这样的一个链表被称为一个 bin。 Ptmalloc 一共维护了 128 个 bin&#xff0c;并使用一个数组来存储这些 bin&#xff0c;这个数组被成为bin数组。 bin数组结构如下&#xf…

线程属性的修改

&#xff08;1&#xff09;线程属性 Linux下线程的属性是可以根据实际项目需要&#xff0c;进行设置&#xff0c;之前我们讨论的线程都是采用线程的默认属性&#xff0c;默认属性已经可以解决绝大多数开发时遇到的问题。如我们对程序的性能提出更高的要求那么需要设置线程属性…

NPTL(Native POSIX Thread Library)

1.NPTL&#xff08;Native POSIX Thread Library&#xff09;为POSIX标准线程库&#xff0c;查看当前Linux系统的pthread库&#xff08;线程库&#xff09;版本的命令为&#xff1a;getconf GNU_LIBPTHREAD_VERSION。 [rootlocalhost 01_pthread_test]# getconf GNU_LIBPTHREA…

线程使用注意事项

1.主线程退出其他线程不退出&#xff0c;主线程应调用pthread_exit&#xff1b; 2.避免僵尸线程&#xff1a;pthread_join、pthread_detach、pthread_create指定分离属性。被join线程可能在join函数返回前就释放完自己的所有内存资源&#xff0c;所以不应当返回被回收线程栈中…

线程同步的概念

所谓同步&#xff0c;即同时起步&#xff0c;协调一致。不同的对象&#xff0c;对“同步”的理解方式略有不同。如&#xff0c;设备同步&#xff0c;是指在两个设备之间规定一个共同的时间参考&#xff1b;数据库同步&#xff0c;是指让两个或多个数据库内容保持一致&#xff0…

互斥量(mutex)

Linux中提供一把互斥锁mutex&#xff08;也称之为互斥量&#xff09;。每个线程在对资源操作前都尝试先加锁&#xff0c;成功加锁才能操作&#xff0c;操作结束解锁。资源还是共享的&#xff0c;线程间也还是竞争的&#xff0c;但通过“锁”就将资源的访问变成互斥操作&#xf…

洗牌算法

参考资料&#xff1a; 1. 洗牌算法汇总以及测试洗牌程序的正确性 2. 三种洗牌算法shuffle