const和volatile

const是只读变量

• const修饰的变量是只读的，其本质还是变量
• const修饰的局部变量在栈上分配空间
• const修饰的全局变量在全局数据区分配空间
• const只在编译期有用，在运行期无用

const全局变量的分歧

在现代C语言编译器中，修改全局变量将导致程序崩溃。

注意：

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

例子1：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("cc = %d\n",cc);
	*p = 4;
	printf("c = %d\n",cc):
}

在标准c编译器中，不会出错，在现代C语言编译器中会出错。

C语言中的const是的变量具有只读属性，现代编译器中的const将具有全局生命周期变量存储于只读存储区，const不能定义真正意义上的常量(针对C语言)

const 修饰函数参数和返回值

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

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

例子2：

#include<stdio.h>

const char* f(const int i)
{
	// i = 5; // error
	return "test";
}

int main()
{
	const char* pc = f(0);
	printf("%s\n",pc);
	// pc[6] = '_'; // error
	printf("%s\n",pc);
	return 0;
}

例子3：

#include<stdio.h>
const int g_array[5] ={0};
void modify(int* p,int v)
{
	*P = v;
}
int main()
{
	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],1);
	modify((int*)&g_array[0],1);

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

有关volatile

volatile可以理解为“编译器警告提示符”

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

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

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

一个有趣的问题

const volatile int i = 0；

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

答：每次用i都会到内存取i的值，i不能出现在赋值符号的左边

小结

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