const是只读变量

• const修饰的变量是只读的，其本质还是变量
• const修饰的局部变量在栈上分配空间
• const修饰的全局变量在全局数据区分配空间
• const只在编译期有用，在运行期无用

const全局变量的分歧

在现代C语言编译器中，修改全局变量将导致程序崩溃。

注意：

标准C语言编译器不会将const修饰的全局变量存储在只读存储区中，而是存储在可修改的全局数据区，其值依然可以改变。

例子1：const变量的本质

#include
    
     const int g_cc = 2;int main(){    const int cc = 1;    int *p = (int*)&cc;    printf("cc = %d\n",cc);    *p = 3;    printf("cc = %d\n",cc);    p = (int*)&g_cc;    printf("cc = %d\n",cc);    *p = 4;    printf("c = %d\n",cc):}
    

在标准c编译器中，不会出错，在现代C语言编译器中会出错。

C语言中的const是的变量具有只读属性，现代编译器中的const将具有全局生命周期变量存储于只读存储区，const不能定义真正意义上的常量(针对C语言)

const 修饰函数参数和返回值

const修饰函数参数表示在函数体内不希望改变参数的值

const修饰函数返回值表示返回值不可改变，多用于返回指针的情形

例子2：

#include
    
     const char* f(const int i){    // i = 5; // error    return "test";}int main(){    const char* pc = f(0);    printf("%s\n",pc);    // pc[6] = '_'; // error    printf("%s\n",pc);    return 0;}
    

例子3：

#include
    
     const int g_array[5] ={0};void modify(int* p,int v){    *P = v; }int main(){    int const i = 0;    const static int j = 0;    int const array[5] = {0};        modify((int*)&i,1);    modify((int*)&j,2);    modify((int*)&array[0],1);    modify((int*)&g_array[0],1);        printf("i = %d\n",i);    printf("j = %d\n",j);    printf("array[0] = %d\n",array[0]);    printf("g_array[0] = %d\n",g_array[0]);    return 0;}
    

有关volatile

volatile可以理解为“编译器警告提示符”

volatile告诉编译器必须每次去内存中取变量值

volatile主要修饰可能被多个线程访问的变量

volatile可以修饰可能被未知因数更改的变量

一个有趣的问题

const volatile int i = 0；

• 变量i具有什么样的特性
• 编译器如何处理这个变量

答：每次用i都会到内存取i的值，i不能出现在赋值符号的左边

小结

• const使得变量具有可读属性
• const 不能定义真正意义上的常量
• const将具有全局生命周期的变量存储在只读存储区
• volatile强制编译器减少优化，必须每次到内存中取值