C/C++中取地址符&的语义[转]
这篇文章是我偶然看到觉得不错转来的,原文地址http://blog.csdn.net/zenny_chen/article/details/2512056
如果想膜拜原作者,请去上述链接。。。。
------------------------------------------------------------>
在C语言中,&符号大家一定很熟悉吧。
它除了可以作为按位运算“与”之外还有更常用的功能——取变量地址。
我们首先看下面一个简单的例子:
#include <stdio.h> int main(void) { int a = 0; int *p = &a; printf("The value is: %d/n", *p); return 0; }
上面代码中,指针p指向变量a的地址。在C/C++中,每个变量都有其相应的地址,通过在变量标识符前加&符号即可获得变量的地址。
那么我们这么写可以吗?int *p = &0x01000;
这显然不行。因为对于一个数值常量,它是没有地址的。而变量之所以有地址就是因为要有一个存储单元对变量进行标识(当然,变量也可以直接映射到某个寄存器)。
我们再看下面的代码:
#include "stdio.h" int main(void) { int a = 0; // &a = 0x0012ff60 int *p = &*(int*)0x0012ff60; printf("The value is: %d/n", *p); return 0; }
上面代码又是怎么回事呢?
先前已经调查过变量a的地址——0x0012ff60,那么这里的指针p实际上也是指向变量a的地址。
首先,将0x0012ff60作为int*,这时它与&a是等价的。
然后*(int*)0x0012ff60表示取变量a的内容。
最后,&*(int*)0x0012ff60表示再脱去*(int*)0x0012ff60的解引用,相当于又变为(int*)&a。
因此,这里的&与第一个例子中的&是不同的语义。这里的&不是取地址,因为一个*(int*)0x0012ff60不是变量,它是没有地址的。每一个变量标识符在编译期间,编译器会为它们创建一个符号表,其中存放着变量标识符相应的各种属性,如类型、地址标识等。地址标识在连接后即可确定逻辑地址值。简而言之,&作为取地址操作,当且仅当&后面跟着的是变量或函数标识符。所以这里的&表示脱去解引用。
由此我们可以得出:&作为取地址操作时,其行为结果是在编译时就被确定的;而*,解引用操作(或取内容)操作,其行为结果只能在运行时才可被确定。
再看下面的例子,加深印象:
#include "stdio.h" int main(void) { int a = 0; int *p = &*&*&a; printf("The value is: %d/n", *p); return 0; }
不过,&符号不象解引用*能用多次,它只能放在变量标识符或一次解引用前。下面举一个例子:
int main(void) { int a = 100; int *p = &a; int **pp = &p; int **qq = &*&*pp; // OK int **rr = *&*&pp; // OK int **ss = &&**pp; // ERROR }
错误原因:由于经过一次&来脱去解引用之后,当前表达式就不为左值。而&必须放在一个左值前,因为只有左值才能确保引用是有效的。
#include "iostream" using namespace std; int main(void) { int a = 0; int &r = a; cout << "The value is: " << r << endl; return 0; }
在C++中,&还可以表示引用,这个就不多说了。