C语言中const与volatile分析

--事物的难度远远低于对事物的恐惧！  

    今天来分析下const与volatile两个关键字，好了，下边直接进入主题：

    const只读变量：

        -const修饰的变量是只读的，本质还是变量

        -const修饰的局部变量在栈上分配空间

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

        -const只在编译期有用，在运行期无用

        const修饰的变量不是真正的常量，只是告诉编译器变量不能出现在赋值符号的左边；在现代C语言编译器中，将const修饰的变量存储于只读存储区，修改const全局变量将导致程序奔溃，而标准C语言编译器不会将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;    //执行成功，即可以说明const修饰的变量并不是真正意义上的常量

    printf("cc = %d\n", cc);

    p = (int*)&g_cc;

    printf("g_cc = %d\n", g_cc);

    *p = 4;    //编译器为VS2010，试图修改const全局变量(存储于只读存储区)，导致程序奔溃。(现代的编译器会导致程序奔溃，而早期的编译器则不会)

    printf("g_cc = %d\n", g_cc);

    return 0;
}

    运行结果如下：

    const的本质：

    -C语言中的const使变量具有只读属性

    -现代C编译器中的const将具有全局生命周期的变量存储于只读存储区(即在局部作用域中 const static int i = 10；i也存储于只读存储区，不可改变)

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

#include <stdio.h>

const int g_array[5] = {0};    //全局作用域的const变量，存储于只读存储区，不可修改

void modify(int* p, int v)    //用V修改指针p指向的地址处的值
{
    *p = v;
}

int main()
{
    int const i = 0;
    const static int j = 0;    //因为static修饰，j生命周期为程序的生命周期，所以用const修饰具有全局生命周期的变量存储在只读存储区，不可修改
    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;
}

编译执行结果如下：

    

const修饰函数的参数和返回值：

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

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

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

#include <stdio.h>

const char* f(const int i)
{
    i = 5;    //error,const变量不能作为左值
    
    return "Hello World";    //返回指向只读存储区的指针
}

int main()
{
    char* pc = f(0); //waring
    
    printf("%s\n", pc);
    
    pc[6] = '_';    //error,不能修改只读存储区的内容
    
    printf("%s\n", pc);
    
    return 0;
}

编译结果如下：

 

分析完了const，再来分析volatile关键字：

    -volatile可理解为"编译器警告指示字"

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

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

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

可以看如下这张图：

上图中的变量obj，假如在其他线程被修改为11，那么此处的a与b可能还是被赋值为10。

小问题：const volatile int i= 0 该如何理解？

    首先volatile关键字说明每次取值都要去内存中取，而const则表示该值不能被改变，所以综合起来就是：i的值不可改变，同时每次使用时都要到内存中去取。

总结：

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

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

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

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