C09(const 和 volatile 分析)

1. const 只读变量

1.1 标准C语言

• const 修饰的变量是只读的，本质还是变量
• const 修饰的局部变量在栈上分配空间
• const 修饰的全局变量在全局数据区分配空间
• const 只在编译期间有效，在运行期间无效
• const 修饰的变量不是真的常量，它只是告诉编译器该变量不能出现在赋值符号的左边

1.2 现代编译器

• 对于局部变量，现代编译器遵循标准C语言的标准
• 对于具有全局生命周期的变量，如果被const修饰，那么这个变量被放在只读存储区，所以被const修饰的具有全局生命周期的变量是一个真正意义上的常量

1.3 编程实验

EG：

#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;
}

• 对于上面的代码，如果使用bcc编译器那么运行是没有问题的，如果在高版本的gcc编译器(在标准C语言上做了一定的优化)，那么21行的赋值语句是有问题的

2. const 修饰函数参数和返回值

• const 修饰函数参数表示在函数体内不希望改变参数的值
• const 修饰函数返回值表示返回值不可以改变，多用于返回指针的情形
• C语言中的字符串字面量存储于只读存储区中，在程序中需要使用 const char* 指针指向

3. volatile关键字

• volatile 可理解为编译器警告指示字
• volatile 告诉编译器必须每次去内存中取变量值
• volatile 主要修饰可能被多个线程访问的变量
• volatile 也可以修饰可能被未知因数更改的变量

EG：

int obj  = 10;

int a = 0;
int b = 0;

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

//代码分析：编译器在编译的时候发现obj没有被当作左值使用，因此会将obj替换成10，而把a和b都赋值为10，但是如果在某些嵌入式设备或者读线程编程中，那么在sleep的时候，obj的值可能被改变，所以如果obj的值可能在此期间发生改变，那么应该使用volatile修饰它，但是这是我们高级工程师的主观意愿，滥用volatile关键字会导致程序运行效率低下

4. 总结

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