第9课 const和volatile分析

时间：2018-08-25 17:08:04 阅读：211 评论：0 收藏：0 [点我收藏+]

const只读变量：

技术分享图片

const全局变量的分歧：

技术分享图片

测试程序与运行结果如下：

技术分享图片

通过指针修改const全局变量的例子：

技术分享图片

结果如下：

技术分享图片

可见修改const的全局变量会导致程序崩溃。

原因是const全局变量被存储于只读存储区了。

上图是gcc的结果。

但是这个程序在bcc编译器下可以正常运行。

技术分享图片

bcc是一款较早的编译器，这说明并没有编译进入只读存储区。

VC编译器也会运行崩溃，说明也是存到了只读存储区。

const的本质：

技术分享图片

由上面的实验可知，现代编译器进行编译时，const修饰的全局变量会进入只读存储区，static变量也在全局存储区，因此const修饰的static变量也会放到只读存储区。

const的本质分析示例程序：

 1 #include <stdio.h>
 2 
 3 const int g_array[5] = {0};
 4 
 5 void modify(int* p, int v)
 6 {
 7     *p = v;
 8 }
 9 
10 int main()
11 {
12     int const i = 0;
13     const static int j = 0;
14     int const array[5] = {0};
15     
16     modify((int*)&i, 1);           // ok
17     modify((int*)&j, 2);           // error
18     modify((int*)&array[0], 3);    // ok
19     modify((int*)&g_array[0], 4);  // error
20     
21     printf("i = %d\n", i);
22     printf("j = %d\n", j);
23     printf("array[0] = %d\n", array[0]);
24     printf("g_array[0] = %d\n", g_array[0]);
25     
26     return 0;
27 }

17与19行会产生运行时错误。

去掉引起崩溃的行，运行结果如下：

技术分享图片

bcc编译器编译的可执行程序不会引起崩溃，结果如下：

技术分享图片

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

技术分享图片

字符串字面量存储于只读存储区。

const修饰返回值一般用于返回指针的情形。

示例程序如下：

 1 #include <stdio.h>
 2 
 3 const char* f(const int i)
 4 {
 5     i = 5;
 6     
 7     return "Delphi Tang";
 8 }
 9 
10 int main()
11 {
12     char* pc = f(0);
13     
14     printf("%s\n", pc);
15     
16     pc[6] = ‘_‘;
17     
18     printf("%s\n", pc);
19     
20     return 0;
21 }