const常量折叠的一些问题

（2）强行取常量地址确实会导致内存分配。事实上，即使不取地址，内存也不一定不分配，这跟编译器的优化策略有关。换句话说，是不是“常量折叠后，只要不取地址，就一定不分配内存？”，语言标准当然没有明确规定，一切由编译器作者自己看着办。别忘了，C++语言中，常量是左值，所以即使统统分配内存，也没啥不好。最后，分配内存跟常量折叠本身不矛盾，这完全是两回事，即有内存分配并不表明不能被折叠，“折叠”说的是常量被使用的地方，而内存分配说的是变量被定义的地方。
004114F2 push ecx
004114F3 call std::operator < < <std::char_traits <char> > (411159h)
004114F8 add esp,8
004114FB mov ecx,eax
（2）我要强行取这个变量的地址的时候，比如：
const int *pi = &i;
const int * pj = &j;
这时i和j应该都会被分配内存吧？
那么i分配的内存是在数据段，J被分配的内存是在栈中，这对吗？
（3）我就知道c语言的const常量是要分配内存的。如果在c语言中同样有上面这么一段程序，那么i,j分别在哪里分配内存？
{
const int a=10;
int * p = (int*)&a;//为了能尝试通过*p修改常量a的值,用了强制转换
cout < <"a = " < < a < <endl; //输出 a = 10
cout < <"*p= " < <*p < <endl; //输出 *p = 10
}
结果是
0012ff7c
0012ff7c
0
1
2.为什么地址一样，而值不一样呢？
简单的说，在编译的时候遇到i编译器做简单的处理，将变成0。
当有去地址的时候，编译器为其分配一个内存地址。
当时其本身并不在分配的地址储存其自身的数据
虽然编译器为常量分配了地址,但是在使用常量的时,常量并不是存储在为它分配的地址上的,而是一个立即数
00411514 call @ILT+410(__RTC_CheckEsp) (41119Fh)
（1）运行时的“符号表”跟编译时的“符号表”不完全是一回事；常量被折叠后，不“存在”于任何段中，只是作为立即数了。比如：
const int M = 5;
int i = M;
常量被折叠后，就跟int i = 5;没有任何区别。
常量如果分配内存，应该是在常量区。大多数运行时环境中，常量区跟栈不是一个区。
; Line 11
lea eax, DWORD PTR _e$[ebp]
mov DWORD PTR _w$[ebp], eax
; Line 12
mov ecx, DWORD PTR _w$[ebp]
mov DWORD PTR [ecx], 6
004114FD call dword ptr [__imp_std::basic_ostream <char,std::char_traits <char> >::operator < < (41A34Ch)]
00411503 cmp edi,esp
00411505 call @ILT+410(__RTC_CheckEsp) (41119Fh)
}
以下是 cout < <"a = " < < a < <endl;
这一句在DEBUG时的汇编代码:
004114DB mov esi,esp
004114DD mov eax,dword ptr [__imp_std::endl (41A344h)]
004114E2 push eax
mov ecx, 19 ; 00000013H
mov eax, -858993460 ; ccccccccH
rep stosd
; Line 9
mov DWORD PTR _e$[ebp], 3
3.网上的一些内容（1）
正在看的C语言教程是:从一段代码看常量折叠。。#include "stdafx.h"
int main(int argc, char* argv[])
{
const int e = 3;
//! int* v = &e;
int* w = (int*)&e;
下面是一个cpp文件：
#include 。。。。
const int i =1；
int main()
{
const int j = 2;
printf("%d,%d",i,j);
return 1;
}
那么：
（1）符号表本身是存在哪里的？是数据段里吧？
1.看一段程序
int main(int argc, char* argv[])
{
const int i=0;
int *j = (int *) &i;
*j=1;
cout<<&i<<endl
cout<<j<<endl;
cout<<i<<endl;
cout<<*j<<endl;
return 0;
（4）c语言有“常量折叠”这样的优化吗？
（5）如果有，进行常量折叠优化时，这个const常量的值是放在寄存器中，每次都从寄存器中取其值？
还是跟c++一样，将其放在符号表中，编译器在编译时进行“替换”优化？
发表于：2007-10-16 14:09:481楼 得分:0
发表于：2007-10-16 14:12:012楼 得分:0
1）这种变量放在全局变量区
2）会分配地址 pi,pj在全局变量区还是栈，要看他们在那里定义
3）4) c语言的不清楚
5）常量折叠优化？我不清楚这个概念，全局变量i或者j在编译的时候就可以直接将他们的地址传给用的地方
寄存器一般用于需要优化程序速度的时候，可以直接来赋值，不需要通过赋值给某个内存地址对应的空间
endif
PUBLIC _main
; COMDAT _main
_TEXT SEGMENT
_e$ = -4
_w$ = -8
_a$ = -12
_main PROC NEAR ; COMDAT
; File E:\code\th_in_c++\const_point\const_point.cpp
*p=100; //试图修改a的值
cout < <"a = " < < a < <endl; //仍然输出: a = 10
cout < <"*p= " < <*p < <endl; //这里却输出: *p = 100
system("pause");
004114E3 mov edi,esp
004114E5 push 0Ah ;;;;;;;注意这里是个10,是个立即数
004114E7 push offset string "*p=" (417704h)
004114EC mov ecx,dword ptr [__imp_std::cout (41A348h)]
*w = 6;
int a;
a = e;
return 0;
}
*w的值与a的值是否相同？
答案为：*w 为6 ； 而a 的值为3。
察看生成的asm文件：
_TEXT ENDS
FLAT GROUP _DATA, CONST, _BSS
ASSUME CS: FLAT, DS: FLAT, SS: FLAT
0041150A mov ecx,eax
0041150C call dword ptr [__imp_std::basic_ostream <char,std::char_traits <char> >::operator < < (41A32Ch)]
00411512 cmp esi,esp
ret 0
_main ENDP
_TEXT ENDS
END
存储在w所指的地址上的数据的确变成了6，但是赋给a的不是存储在w所指的地址上的数据，而是3，即：编译器在处理e时，将e简单的换成了3，进行了常量折叠。。。
++里的常量折叠（或者常量替换)是将const常量放在符号表中，而并不给其分配内存。编译器直接进行替换优化。
; Line 8
push ebp
mov ebp, esp
sub esp, 76 ; 0000004cH
push ebx
push esi
push edi
lea edi, DWORD PTR [ebp-76]
; Line 14
mov DWORD PTR _a$[ebp], 3
; Line 15
xor eax, eax
; Line 16
pop edi
pop esi