【C】 9_ const 和 volatile

const 只读变量

---

• const 修饰的变量是只读的，本质还是变量
• const 修饰的局部局部变量在栈上分配空间
• const 修饰的全局变量在全局数据区分配空间【标准C】
• const 只在编译期有用（只能出现在赋值符号左边），在运行期无用

const 全局变量的分歧

---

• 在现代C语言编译器中，具有全局生命周期的 const 变量将被存储于只读存储区，修改将导致程序崩溃【GCC，VC】
• 在标准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;    // oops!
    
    printf("g_cc = %d\n", g_cc);
    
    return 0;  
}

输出：【GCC 编译无警告】
cc = 1
cc = 3
g_cc = 2
段错误

const 的本质

---

• C语言中的 const 使得变量具有只读属性
• 现代C编译器中将 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;                  // int const ==> const int
    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]);
}

输出：
i = 1
j = 0
array[0] = 3
g_array[0] = 0

const 修饰函数参数和返回值

---

• const 修饰函数参数表示在函数体内不希望改变参数的值
• const 修饰函数返回值表示返回值不可改变，多用于返回值指针的情形

小贴士 ： C语言中的字符串字面量存储于只读存储区中，在程序中需要使用const char* 指针
const char* s = "D.T.Software"

实例分析： const 修饰函数参数与返回值

#include <stdio.h>

const char* f(const int i)
{
    // i = 5;              // waring
    
    return "D.T.Software";
}

int main()
{
    // char* pc = f(0);  // waring
    
    const char* pc = f(0);
    
    printf("%s\n", pc);    
    
    return 0;
}

输出：
D.T.Software

深藏不露的 volatile

---

• volatile 可立即为 编译器警告指示字，禁止编译器的优化
• volatile 告诉编译器必须每次去内存中取变量值
• volatile 主要修饰可能被多个线程访问的变量或者被中断处理函数访问的变量
• volatile 也可以修饰被未知因数改变的变量

void code()
{
    int obj = 100;
    
    int a = 0;
    int b = 0;
    
    a = obj;
    sleep(100);
    b = obj;
}

编译器做了什么？

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

有趣的问题

const volatile int i = 0;

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

答： i 为只读变量，不能出现在赋值符号的左边，同时，每次操作，都需要到内存中取值

小结

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

以上内容参考狄泰软件学院系列课程，请大家保护原创！