#include <iostream>
using namespace std;
int main(int argc, char *argv[]){
const int a = 10;
int *p = (int *) &a;//让p指向与a相同的内存空间
cout << *p << " " << a << endl;
cout << p << " " << &p << endl;
cout << *p << " " << a << endl;
// 这个"常量折叠"就是在编译器进行语法分析的时候,将常量表达式计算求值,
// 并用求得的值来替换表达式,放入常量表。可以算作一种编译优化。
// 我只是改了这个地址内容,但是a还是,
// 因为编译器在优化的过程中,会把碰见的const全部以内容替换掉
// (跟宏似的: #define PI 3.1415,用到PI时就用.1415代替),
// 这个出现在预编译阶段;但是在运行阶段,它的内存里存的东西确实改变了!(下面演示)
return 0;}
输出结果:
为了验证在运行阶段,a所在地址的内容确实被*p = 20改变了,我们单步调试如下:
Reading symbols from /home/beijibing/zixue/unp2/svshm/test...done.
(gdb) b 9
Breakpoint 1 at 0x80487e7: file test.c, line 9.
(gdb) run
Starting program: /home/beijibing/zixue/unp2/svshm/test
10 10
0xbffff39c 0xbffff398 // 前两个cout输出后,我们知道了存a和p的堆栈地址。
Breakpoint 1, main (argc=1, argv=0xbffff454) at test.c:9
9 *p = 20; //在这里设了断点,先暂停查看现在堆栈内容
(gdb) x/2x 0xbffff398 //从低地址查看2个字的内容
0xbffff398:0xbffff39c0x0000000a //可以看出0xbffff398中存放的是a的地址0xbffff39c,而0xbffff39c中存放的是0xa(10进制为10)
(gdb) n
11 cout << *p << " " << a << endl;
(gdb) x/2x 0xbffff398
0xbffff398:0xbffff39c0x00000014 //单步执行后在查看,发现0xbffff39c中的值被改为0x14(20),正如上面所述
(gdb) n
20 10
12 cout << p << " " << &p << endl;
(gdb) n
0xbffff39c 0xbffff398
19 return 0;
(gdb)
总结:编译器会为常量分配了地址,但是在使用常量的时候,常量会被一立即数替换(保护常量,防止被破坏性修改)
在C++中对于基本类型的常量,编绎器并不为其分配存储空间,编译器会把它放到符号表,当取符号常量的地址等操作时,将强迫编译器为这些常量分配存储空间,编译器会重新在内存中创建一个它的拷贝,通过地址访问到的就是这个拷贝而非原始的符号常量。
和C语言中const常量对比:
#include <stdio.h>
int main()
{
const int a = 10;
int *p = (int *) &a;
printf("%d, %d\n",*p,a) ;
printf("%x, %x\n",p,&p) ;
*p = 20;
// a = 30; //常量是不能修改的,error: assignment of read-only variable 'a’
printf("%d, %d\n",*p,a) ;
printf("%x, %x\n",p,&p) ;
return 0;
}
编译运行结果:
10, 10
bfea80fc, bfea80f8
20, 20
bfea80fc, bfea80f8
可以查看二进制文件,发现a并没有在链接的时候占用.rodata空间。