c语言const 和 volatile 分析

1.const只读变量
（1）const修饰的变量是只读的，本质还是变量。

（2）const修饰的局部变量在栈上分配空间。

（3）const修饰的全局变量在全局数据区分配空间。

（4）const只在编译器有用，在运行期无用。

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

2.const全局变量的分歧
（1）在现代C语言编辑器中，修改const全局变量将导致程序崩溃。

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

例程：
#include <stdio.h>
const int g_cc = 2;//存储于只读存储区，不可通过地址修改。

int main(void)
{
const int cc = 1;//存储于栈上，可通过地址修改。

int* p = (int*)&cc;
printf("cc = %d\n", cc);
printf("&cc = %p\n", p);
*p = 3;
printf("cc = %d\n", cc);
printf("\n");
p = (int*)&g_cc;
printf("g_cc = %d\n", g_cc); printf("&g_cc = %p\n", p); *p = 4;
printf("g_cc = %d\n", g_cc);
return 0;
}
输出：
cc = 1
&cc = 0x7ffd706394cc
cc = 3
g_cc = 2
&g_cc = 0x400744
Segmentation fault (core dumped)
3.const的本质
（1）C语言中的const使得变量具有只读属性。

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

（3）const不能定义真正意义上的常量。

例程：
#include <stdio.h>
const int g_array[5] = {0};
void modify(int* p, int v)
{
*p = v;
}
int main(void)
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], 3);
// modify((int*)&g_array[0], 4);
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;
}
输出：
i = 1
j = 0
array[0] = 3
g_array[0] = 0
4.const修饰函数参数和返回值
（1）const修饰函数参数表示在函数体内不希望改变参数的值。

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

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

例程：
#include <stdio.h>
const char* f(const int i)
{
// i = 5;
return "Zhong Yang";
}
int main(void)
{
const char* pc = f(0);
printf("%s\n", pc);
pc[6] = '_';
printf("%s\n", pc);
return 0;
}
报错：
test.c: In function ‘main’:
test.c:16:9: error: assignment of read-only location ‘*(pc + 6u)’
pc[6] = '_';
^
5.深不可藏的volatile
（1）volatile可理解为“编译器警告提示字”。

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

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

（4）volatile也可以修饰可能被未知因数更改的变量。

6.小结
（1）const使得变量具有只读属性。

（2）const不能定义真正意义上的常量。

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

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