C语言进阶第9式：const 和 volatile 分析

问题1：const有什么作用？

问题2：volatile 有什么作用？

const只读变量

1、const修饰的变量是只读的，本质还是变量；

2、const修饰的局部变量在栈上分配空间；

3、const修饰的全局变量在全局数据区分配空间；

4、const只在编译期有用，在运行期无用；

5、const修饰的变量不是真的常量，它只是告诉编译期该变量不能出现在赋值符号的左边。

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

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

例子：const变量本质

#include <stdio.h>

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("g_cc = %d\n", g_cc);
    
    *p = 4;
    
    printf("g_cc = %d\n", g_cc);
    
    return 0;
}

const的本质

1、C语言中的const使得变量具有只读属性；

2、现代C编译器中的const将具有全局生命周期的变量存储于只读存储区；

const不能定义真正意义上的常量；

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

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

例子：const的本质分析

#include <stdio.h>

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);           // ok
    modify((int*)&j, 2);           // error
    modify((int*)&array[0], 3);    // ok
    modify((int*)&g_array[0], 4);  // error
    
    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;
}

注意：C语言中的字符串字面量存储于只读存储区中，在程序中需要使用const char * 指针

#include <stdio.h>
int main()
{
    const char * s = "Hello World!";    //字符串字面量
    return 0;
}

例子：const修饰函数参数与返回值

#include <stdio.h>

const char* f(const int i)
{
    i = 5;
    
    return "Delphi Tang";
}

int main()
{
    char* pc = f(0);
    
    printf("%s\n", pc);
    
    pc[6] = '_';
    
    printf("%s\n", pc);
    
    return 0;
}

深藏不露的volatile

1、volatile可理解为“编译器警告指示字”；

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

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

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

int obj = 10；
int a = 0;
int b = 0;

a = obj;
sleep(100);
b = obj;

编译器在编译的时候发现obj没有被当做左值使用，因此会“聪明”的直接将obj替换成10，而把a和b都赋值为10；

总结：

1、const使得变量具有只读属性；

2、const不能定义真正意义上的常量；

3、const将具有全局生命期的变量存储于只读存储区；

4、volatile强制编译器减少优化，必须每次从内存中取值；