#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; *p = 20;// 照里说a的值也应该改变,实际却没有,这就是常量折叠. cout << *p << " " << a << endl; cout << p << " " << &p << endl; // 这个"常量折叠"就是在编译器进行语法分析的时候,将常量表达式计算求值, // 并用求得的值来替换表达式,放入常量表。可以算作一种编译优化。 // 我只是改了这个地址内容,但是a还是, // 因为编译器在优化的过程中,会把碰见的const全部以内容替换掉 // (跟宏似的: #define PI 3.1415,用到PI时就用.1415代替), // 这个出现在预编译阶段;但是在运行阶段,它的内存里存的东西确实改变了!(下面演示) return 0;} 输出结果: 10 10 0xbfda9ccc 0xbfda9cc8 20 10 0xbfda9ccc 0xbfda9cc8 为了验证在运行阶段,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: 0xbffff39c 0x0000000a //可以看出0xbffff398中存放的是a的地址0xbffff39c,而0xbffff39c中存放的是0xa(10进制为10) (gdb) n 11 cout << *p << " " << a << endl; (gdb) x/2x 0xbffff398 0xbffff398: 0xbffff39c 0x00000014 //单步执行后在查看,发现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空间。 注意:可以看出a被修改了,a是在栈上分配的常量,a本身不能修改,但是可以用指针p指向a,然后修改p指向的内容,这样就可以修改常量a的内容了。
|
|