C指针之const关键字与指针

const关键字与指针

const修饰指针的4种形式

• const关键字，在C语言中用来修饰变量，表示这个变量是常量。
• const修饰指针有4种形式，区分清楚这4种即可全部理解const和指针。
  • 第一种：const int *p;
  • 第二种：int const *p;
  • 第三种：int * const p;
  • 第四种：const int * const p;

// 第一种
const int *p1;		// p本身不是cosnt的，而p指向的变量是const的
// 第二种
int const *p2;		// p本身不是cosnt的，而p指向的变量是const的
	
// 第三种
int * const p3;		// p本身是cosnt的，p指向的变量不是const的
// 第四种
const int * const p4;// p本身是cosnt的，p指向的变量也是const的

*p1  = 3;		// error: assignment of read-only location ‘*p1’
p1 = &a;		// 编译无错误无警告
	
*p2 = 5;		// error: assignment of read-only location ‘*p2’
p2 = &a;		// 编译无错误无警告
	
*p3 = 5;		// 编译无错误无警告
p3 = &a;		// error: assignment of read-only variable ‘p3’
	
p4 = &a;		// error: assignment of read-only variable ‘p4’
*p4 = 5;		// error: assignment of read-only location ‘*p4’

• 关于指针变量的理解，主要涉及到2个变量：
  • 第一个是指针变量p本身，第二个是p指向的那个变量(*p)。
  • 一个const关键字只能修饰一个变量，所以弄清楚这4个表达式的关键就是搞清楚const放在某个位置是修饰谁的

const修饰的变量真的不能改吗？

const int a = 5;
//a = 6;				// error: assignment of read-only variable ‘a’
int *p;
p = (int *)&a;			// 这里报警告可以通过强制类型转换来消除
*p = 6;
printf("a = %d.\n", a);	// a = 6,结果证明const类型的变量被改了

• const修饰的变量其实是可以改的（前提是gcc环境下）。
• 在某些单片机环境下，const修饰的变量是不可以改的。const修饰的变量到底能不能真的被修改，取决于具体的环境，C语言本身并没有完全严格一致的要求。
• 在gcc中，const是通过编译器在编译的时候执行检查来确保实现的（也就是说const类型的变量不能改是编译错误，不是运行时错误。）所以我们只要想办法骗过编译器，就可以修改const定义的常量，而运行时不会报错。
• 更深入一层的原因，是因为gcc把const类型的常量也放在了data段，其实和普通的全局变量放在data段是一样实现的，只是通过编译器认定这个变量是const的，运行时并没有标记const标志，所以只要骗过编译器就可以修改了。

const究竟应该怎么用

• const是在编译器中实现的，编译时检查，并非不能骗过。所以在C语言中使用const，就好象是 一种道德约束而非法律约束
• 所以大家使用const时更多是传递一种信息，就是告诉编译器、也告诉读程序的人，这个变量是不应该也不必被修改的。