C语言中局部const变量的处理及与普通局部变量的差异

除了最明显的初始化后不可修改之外，两者还有这些关键区别：

1. 存储位置并非都固定在栈上 #

你的猜测不完全准确：

• 普通局部变量（非static）通常分配在栈上，但编译器也可能根据使用场景将其优化到寄存器中。
• 局部const变量如果是编译期可确定的常量（比如const int x = 10;），编译器可能直接将其放入程序的只读数据段（.rodata），而非栈上；如果是运行时初始化的（比如const int x = get_runtime_val();），则仍会分配在栈上，只是被标记为只读属性。

2. 编译器优化空间不同 #

编译器对const变量的优化自由度更高：

• 对于编译期常量的局部const变量，编译器会直接把值替换到所有引用位置（类似宏替换），比如const int MAX = 10; int arr[MAX];在C99及以后是合法的，因为MAX被当作常量表达式；而普通变量int MAX =10; int arr[MAX];仅能在支持变长数组的环境下通过，本质是运行时确定数组大小。
• 编译器会假设const变量的值不会被意外修改（尽管通过指针强制转换能绕过，但属于未定义行为），因此会做更多优化，比如消除冗余计算、提前预计算结果等。

3. 指针操作的限制与未定义行为 #

• 普通局部变量可通过指针直接修改：int a = 5; int *p = &a; *p = 10;这是完全合法的操作。
• 局部const变量若尝试通过指针修改，比如const int a =5; int *p = (int*)&a; *p=10;，属于未定义行为——编译器可能直接忽略修改操作、导致程序崩溃，或者出现其他不可预料的结果，因为变量可能已被放入只读段，或被编译器优化移除。

4. 类型属性差异 #

两者作用域均为当前代码块、链接属性均为无链接（no linkage），但const int与int是不同类型：比如函数参数匹配时，void func(int*)不能直接接收const int类型的变量地址，必须进行强制转换。

内容的提问来源于stack exchange，提问作者tim p