const 变量存储

以下结论(只在Windows msvc编译器验证得出)

const 局部变量

代码

int main()
{
	const int MAX_PERSON_NUMBER = 100;
	auto personNumberMaxPtr = (int*)&MAX_PERSON_NUMBER;
	*personNumberMaxPtr = 2;
}

汇编代码分析

 1. 通过ebp(指向栈底，0x0039f7bc)和esp(指向栈顶, 0x0039f6e0)寄存器可以看出MAX_PERSON_NUMBER局部变量(0x0039f7d4)是位于栈存储区域。栈区域是有读写权限的，所以对其地址修改也是没问题的。

const 全局变量

代码

const int MAX_PERSON_NUMBER_GLOBAL = 100;

int main()
{
	int personNumberMaxG = MAX_PERSON_NUMBER_GLOBAL;
	auto personNumberMaxPtrG = (int *)& MAX_PERSON_NUMBER_GLOBAL;
	*personNumberMaxPtrG = 2;
}

汇编代码分析

 先说结论：

1. 当作立即数，存储在代码段 .text

2. 存储在只读数据段 .rdata

注：如果是字符串等非立即数的const 全局变量，是直接存储在只读数据段。

分析：

从标号1处，可以看出，MAX_PERSON_NUMBER_GLOBAL 被替换成了立即数本身, 第二处取地址的时候，才会有相应的存储地址(0x0a29bech)，这个是只读数据段.rdata的地址区域，怎么看呢？ 这里通过寄存器看不出来，可以通过Windbg来看，具体不在这里详细说了。当对地址操作时，引发了异常，没有写入权限，也侧面验证这是只读区域。

其它：

1. const 常量必须初始化，编译器层面限制了。

2. 思考这段代码还会报错么？

#pragma data_seg(".data")
__declspec(allocate(".data")) const int MAX_PERSON_NUMBER_GLOBAL = 100;
#pragma data_seg()

int main()
{
	int personNumberMaxG = MAX_PERSON_NUMBER_GLOBAL;
	auto personNumberMaxPtrG = (int *)& MAX_PERSON_NUMBER_GLOBAL;
	*personNumberMaxPtrG = 2;
}