本篇博客并不对指针的基本概念进行讲述,而是针对指针常出现的一些理解误区进行解析。
一、基本指针含义
1.1 int *p;
一个指向整型数据的指针。
1.2 int **p;
一个指针的指针,它指向的指针指向一个整型数据。**p 是 int 类型,所以 *p 是int *类型,即*p是一个指向int的指针,所以p是一个指向int的指针的指针。
1.3 int *p[10];
一个有10个指针的数组,该指针指向整型数据。p[10] 的类型是 int *,所以 用type 替换 int *,也就是 type p[10],即p中每个元素都是type类型。
1.4 int (*p)[10];
一个指向有十个整型数据数组的指针。()是为了当一个整体看待,所以用val替换(*p),上式变为int val[10],所以*p 相当于数组名(即数组的首地址),所以p是一个指向数组(该数组包含10个Int数字)的指针。
1.5 int * p(int);
就一个函数(不是函数指针),该函数有一个整型参数,返回值为一个指向整型的指针
1.6 int (*p[10])(int);
一个有十个指针的数组,该数组中的指针指向一个函数,该函数有一个整型参数并返回一个整型数。根据6,p[10]是一个函数指针,所以p中每个元素都是一个函数指针。
1.7 int (*p)(int);
定义了一个参数为int,返回值为int的函数指针,函数指针名是p。如果初始化了 p , 则可以通过 p( int ) 调用函数。
1.8 typedef int (*p)(int);
定义函数类型,p为类型名,该函数是接受一个int参数,返回一个int。注意与7.的区别。
1.9 解析 ( *(void (*)())0)() 的含义:
有些微处理器从0地址启动,有时为了模拟开机时的情形,需要设计一条C 语句,去执行0地址的内容,于是就有了(*(void (*)())0)() 这条语句。
void (*)()是一个函数类型的指针,假设别名为Func,所以上式变为 (* (Func)0 )(),首先对0进行强制类型转换,转换为函数地址类型,再通过解引用,获得函数实体,最后是函数调用。所以整个功能是 调用了 函数地址是0x00的函数。
二、指针对于内存的意义
根据如下代码,引出问题:
const int c = 5;
int * p = (int *)(&c);
*p = 6;
cout << c << endl;
cout << &c << endl;
cout << *p << endl;
cout << p << endl;
结果如下:
为什么输出的c是5,而*p是6呢,从地址上看,&c和p是一样的。
解析:
首先需要明确的是,c的值其实已经变为6了。但是为什么cout << c << endl;
的时候,输出的还是5呢?
- 原因在于 缓存。 因为第一次定义c的时候,首先是在内存中找到一块4bytes的区域,并赋值为5;但是cpu为了优化执行效率,并不会每次读取c的值时,都从内存中读取,而是为了访问方便和加快访问速度,将c的值缓存到L1 cache或者L2 cache,这样做的话,当以后再需要访问c的时候,就可以从L1 cache/ L2 cache中读取(访问L1的速度是访问内存的200倍左右,参考:http://www.cnblogs.com/liqiu/p/3211746.html),这样做的话是能够提升效率的。
- 所以,当通过强制类型转换,将c所对应的对象由原来不可以被修改 变为 可以被修改。并且通过
*p = 6
,修改c对象在内存中的值,使得在内存中 c==6。 但是正如上面讨论的那样,因为c之前已经缓存到了cache中,所以当cout << c
的时候,输出的是c在cache中缓存的值,但是cout << *p
的时候,是根据p所记录的地址值去内存中找,所以输出的是6。 - 那么如何让
cout << c
输出的也是6呢?更改c的定义即可,如:volatile const int c = 5
,volatile规定每次读取c的值时,都去内存中找。
三、引用是指针吗?
代码如下:
struct Ac
{
Ac():a(c)
{
c = 10;
}
int c;
int& a;
};
sizeof(ac); //等于8
经过测试,sizeof(ac) == 8;
按照C++语法,引用是对一块内存的别名,即引用不占用内存。但是这里不占内存的意思是,不占对象空间,也就是不会申请另外一块内存用于存储10,然后让a跟这块内存关联。这里8字节是因为有4字节的int与4字节的地址空间。因为标准并未明确表示怎么实现引用,一般编译器的做法就是储存地址值,同指针的“实现”一样。而指针一般是由4个字节来存储(这与编译器和操作系统相关,测试用的是VS2013;linux环境是用8bytes存储地址)。
为了进一步验证上述的讨论,代码修改如下:
struct Ac
{
Ac():a(c)
{
c = 10;
}
double c;
double& a;
};
sizeof(ac);
按照上述讨论,sizeof(ac) == 16;(c占用8bytes,a占用4bytes,还有4个字节是因为内存对齐原则,补上的)。
以下是测试结果:
(PS : 可以通过在项目属性中添加 命令行编译选项/d1 reportSingleClassLayoutAc ,使得在编译期间显示类的内存布局图)。
小结 :
对于如下代码:
double a = 10;
double & b = a;
这段代码,在32bit系统中,内存中将会消耗12个bytes的内存,其中8bytes用于存储a的值(10),4个bytes用于存储b的值(a的地址),64bit系统中地址用8个字节表示;尽管有如上特性,但是sizeof(b)的时候,编译器将翻译为求a对象所对应内存的大小。所以,一般情况下,引用只需要理解为是一个对象名称的别名(就当它是个名字而已),但是,切记引用也会消耗内存的,它所消耗的内存是用来存储地址。
而真正意义上,引用就是指针。
3.1 再说引用
以下代码,来自 VS 2013,以下讨论也是基于此编译器。
int d = 10;
00417213 mov dword ptr [d],0Ah
int & c = d;
0041721A lea eax,[d] //取d的地址,赋给寄存器eax
0041721D mov dword ptr [c],eax //
从上面代码,我们可以清楚的发现,所谓引用,就是存储一个”被引用对象”的地址值。
我们再结合引用的性质,来看看:
引用只能在定义时被初始化一次,之后不可变。
这怎么做呢?
int * const c = &d;
, 所以可以猜测,引用就是一个常指针。指针值不可变,但是指向的变量可变。引用不能为空。
const 指针必须初始化。
没有引用的引用。